About the Execution of ITS-LoLa for GPPP-PT-C0100N0000001000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15789.730 | 3600000.00 | 3524378.00 | 50941.50 | FTT?TTTT?FFTF?TF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r170-smll-158987816000508.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is GPPP-PT-C0100N0000001000, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987816000508
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.0K Apr 4 20:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 4 20:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 4 09:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 4 09:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 8 14:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 21:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 3 13:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 17 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1 Mar 24 05:37 large_marking
-rw-r--r-- 1 mcc users 21K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-00
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-01
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-02
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-03
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-04
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-05
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-06
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-07
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-08
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-09
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-10
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-11
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-12
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-13
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-14
FORMULA_NAME GPPP-PT-C0100N0000001000-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591475150655
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 20:25:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 20:25:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 20:25:53] [INFO ] Load time of PNML (sax parser for PT used): 41 ms
[2020-06-06 20:25:53] [INFO ] Transformed 33 places.
[2020-06-06 20:25:53] [INFO ] Transformed 22 transitions.
[2020-06-06 20:25:53] [INFO ] Parsed PT model containing 33 places and 22 transitions in 97 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 20 ms.
Incomplete random walk after 100128 steps, including 34 resets, run finished after 91 ms. (steps per millisecond=1100 ) properties seen :[1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 22 rows 33 cols
[2020-06-06 20:25:53] [INFO ] Computed 12 place invariants in 6 ms
[2020-06-06 20:25:54] [INFO ] [Real]Absence check using 6 positive place invariants in 17 ms returned sat
[2020-06-06 20:25:54] [INFO ] [Real]Absence check using 6 positive and 6 generalized place invariants in 5 ms returned sat
[2020-06-06 20:25:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 20:25:54] [INFO ] [Real]Absence check using state equation in 41 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-06 20:25:54] [INFO ] Flatten gal took : 43 ms
[2020-06-06 20:25:54] [INFO ] Flatten gal took : 12 ms
[2020-06-06 20:25:54] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 4 ms.
[2020-06-06 20:25:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ GPPP-PT-C0100N0000001000 @ 3570 seconds
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0100N0000001000-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ GPPP-PT-C0100N0000001000
{
"exit":
{
"memory": 11620880,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "no yes yes unknown yes yes yes yes unknown no no yes no unknown yes no "
},
"task":
{
"compoundnumber": 16,
"type": "boolean"
}
}
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: 55/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 22 transitions, 21 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 CTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (700 <= p1)
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (1 <= p6)
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (1 <= p6)
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: E (G ((((p7 <= 1) AND NOT(E (F (((1 <= p3) AND (1 <= p23)))))) AND ((p9 <= 0) OR (p13 <= 0))))) : A (X (((A (F ((1 <= p12))) AND E (F (((1 <= p0) AND (1 <= p2) AND (1 <= p12) AND (1 <= p32))))) AND ((p14 <= 0) OR (p15 <= 0) OR (p27 <= 299) OR ((700 <= p25) AND (1 <= p26)))))) : E (F (((1 <= p19) AND (1 <= p22) AND ((p9 <= 0) OR (p10 <= 0))))) : (E (F ((A (G (((1 <= p14)))) AND (((1 <= p9) AND (1 <= p10)) OR ((1 <= p9) AND (1 <= p10) AND (1 <= p15) AND (300 <= p27)))))) OR A (G ((A (X (((1 <= p5)))) OR E (X (((1 <= p19) AND (1 <= p22)))))))) : A (F ((((1 <= p14)) OR ((1 <= p16) AND ((p4 <= 1) OR (p15 <= 0) OR (p28 <= 0) OR (p17 <= 0)))))) : E (F (E ((((1 <= p8) AND (1 <= p30)) U ((1 <= p3) AND (1 <= p23)))))) : A (X (E (X (E (F (((1 <= p3) AND (1 <= p23)))))))) : E (F (((1 <= p19) AND (1 <= p22)))) : E ((NOT(A (F (((1 <= p18) AND (1 <= p19))))) U ((A (G ((1 <= p16))) AND ((p8 <= 0) OR (p29 <= 199))) AND ((2 <= p7) OR (1 <= p12))))) : A (F (A (G (E (F ((1 <= p17))))))) : E ((((1 <= p20) OR A (F (((1 <= p15) AND (300 <= p27))))) U ((1 <= p8) AND (200 <= p29)))) : ((E (F (E (X (((1 <= p0) AND (1 <= p2) AND (1 <= p12) AND (1 <= p32) AND (1 <= p19) AND (1 <= p22)))))) OR (1 <= p20)) OR ((1 <= p5) AND (1 <= p18) AND (1 <= p19) AND ((p26 <= 0)) AND ((p15 <= 0) OR (p27 <= 299) OR (p3 <= 0) OR (p23 <= 0)))) : A (G (((p3 <= 0) OR (p23 <= 0)))) : A (G (NOT(A (G (((1 <= p9) AND (1 <= p13) AND (2 <= p7))))))) : NOT(E (G (A (G ((((1 <= p26)) OR (1 <= p24))))))) : NOT(E ((((1 <= p3) AND (1 <= p23) AND ((1 <= p21) OR ((2 <= p4) AND (1 <= p15) AND (1 <= p28)))) U A (F (((1 <= p14)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:446
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:464
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:476
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 207 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (A (F ((1 <= p12))))) AND (A (X (E (F (((1 <= p0) AND (1 <= p2) AND (1 <= p12) AND (1 <= p32)))))) AND A (X (((p14 <= 0) OR (p15 <= 0) OR (p27 <= 299) OR ((700 <= p25) AND (1 <= p26)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 207 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F ((1 <= p12)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:754
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p12 <= 0)
lola: processed formula length: 10
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p12)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEG
lola: The predicate eventually occurs from all successors.
lola: 6267 markings, 6763 edges
lola: ========================================
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((p14 <= 0) OR (p15 <= 0) OR (p27 <= 299) OR ((700 <= p25) AND (1 <= p26)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(((p14 <= 0) OR (p15 <= 0) OR (p27 <= 299) OR ((700 <= p25) AND (1 <= p26))))
lola: processed formula length: 82
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (F (((1 <= p0) AND (1 <= p2) AND (1 <= p12) AND (1 <= p32))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(EF(((1 <= p0) AND (1 <= p2) AND (1 <= p12) AND (1 <= p32))))
lola: processed formula length: 63
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 411 markings, 410 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((A (G (((1 <= p14)))) AND (((1 <= p9) AND (1 <= p10)) OR ((1 <= p9) AND (1 <= p10) AND (1 <= p15) AND (300 <= p27)))))) OR A (G ((A (X (((1 <= p5)))) OR E (X (((1 <= p19) AND (1 <= p22))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G (((1 <= p14)))) AND (((1 <= p9) AND (1 <= p10)) OR ((1 <= p9) AND (1 <= p10) AND (1 <= p15) AND (300 <= p27))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG(((1 <= p14))) AND (((1 <= p9) AND (1 <= p10)) OR ((1 <= p9) AND (1 <= p10) AND (1 <= p15) AND (300 <= p27)))))
lola: processed formula length: 118
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 782636 markings, 5971834 edges, 156527 markings/sec, 0 secs
lola: 1547405 markings, 12001130 edges, 152954 markings/sec, 5 secs
lola: 2289045 markings, 17926129 edges, 148328 markings/sec, 10 secs
lola: 3011700 markings, 23767791 edges, 144531 markings/sec, 15 secs
lola: 3744395 markings, 29633316 edges, 146539 markings/sec, 20 secs
lola: 4460511 markings, 35420863 edges, 143223 markings/sec, 25 secs
lola: 5177251 markings, 41219712 edges, 143348 markings/sec, 30 secs
lola: 5891990 markings, 47005237 edges, 142948 markings/sec, 35 secs
lola: 6607960 markings, 52792902 edges, 143194 markings/sec, 40 secs
lola: 7318329 markings, 58539400 edges, 142074 markings/sec, 45 secs
lola: 8026248 markings, 64274151 edges, 141584 markings/sec, 50 secs
lola: 8735871 markings, 70012146 edges, 141925 markings/sec, 55 secs
lola: 9449344 markings, 75780829 edges, 142695 markings/sec, 60 secs
lola: 10158978 markings, 81520724 edges, 141927 markings/sec, 65 secs
lola: 10867733 markings, 87256924 edges, 141751 markings/sec, 70 secs
lola: 11556624 markings, 92901848 edges, 137778 markings/sec, 75 secs
lola: 12264903 markings, 98631719 edges, 141656 markings/sec, 80 secs
lola: 12971588 markings, 104351197 edges, 141337 markings/sec, 85 secs
lola: 13670687 markings, 110050936 edges, 139820 markings/sec, 90 secs
lola: 14362725 markings, 115676409 edges, 138408 markings/sec, 95 secs
lola: 15068930 markings, 121390349 edges, 141241 markings/sec, 100 secs
lola: 15759121 markings, 127050052 edges, 138038 markings/sec, 105 secs
lola: 16460317 markings, 132721555 edges, 140239 markings/sec, 110 secs
lola: 17168905 markings, 138451824 edges, 141718 markings/sec, 115 secs
lola: 17824199 markings, 143826837 edges, 131059 markings/sec, 120 secs
lola: 18530420 markings, 149539019 edges, 141244 markings/sec, 125 secs
lola: 19220640 markings, 155200768 edges, 138044 markings/sec, 130 secs
lola: 19920408 markings, 160861718 edges, 139954 markings/sec, 135 secs
lola: 20630581 markings, 166603670 edges, 142035 markings/sec, 140 secs
lola: 21310228 markings, 172178120 edges, 135929 markings/sec, 145 secs
lola: 22021063 markings, 177932424 edges, 142167 markings/sec, 150 secs
lola: 22702332 markings, 183511227 edges, 136254 markings/sec, 155 secs
lola: 23408907 markings, 189227694 edges, 141315 markings/sec, 160 secs
lola: 24088445 markings, 194804364 edges, 135908 markings/sec, 165 secs
lola: 24792867 markings, 200500407 edges, 140884 markings/sec, 170 secs
lola: 25472446 markings, 206070134 edges, 135916 markings/sec, 175 secs
lola: 26176364 markings, 211763388 edges, 140784 markings/sec, 180 secs
lola: 26851594 markings, 217307770 edges, 135046 markings/sec, 185 secs
lola: 27558418 markings, 223021013 edges, 141365 markings/sec, 190 secs
lola: 28233412 markings, 228552769 edges, 134999 markings/sec, 195 secs
lola: 28938213 markings, 234252904 edges, 140960 markings/sec, 200 secs
lola: 29610232 markings, 239766760 edges, 134404 markings/sec, 205 secs
lola: 30297393 markings, 245399172 edges, 137432 markings/sec, 210 secs
lola: 30989485 markings, 250997853 edges, 138418 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2322436 KB
lola: time consumption: 472 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2322436 KB
lola: time consumption: 472 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (X (E (F (((1 <= p3) AND (1 <= p23))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(EX(EF(((1 <= p3) AND (1 <= p23)))))
lola: processed formula length: 38
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 2813 markings, 2814 edges
lola: ========================================
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (E (F (((1 <= p0) AND (1 <= p2) AND (1 <= p12) AND (1 <= p32) AND (1 <= p19) AND (1 <= p22)))))) OR ((1 <= p20) OR ((1 <= p5) AND (1 <= p18) AND (1 <= p19) AND ((p26 <= 0)) AND ((p15 <= 0) OR (p27 <= 299) OR (p3 <= 0) OR (p23 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p20) OR ((1 <= p5) AND (1 <= p18) AND (1 <= p19) AND ((p26 <= 0)) AND ((p15 <= 0) OR (p27 <= 299) OR (p3 <= 0) OR (p23 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: ((1 <= p20) OR ((1 <= p5) AND (1 <= p18) AND (1 <= p19) AND ((p26 <= 0)) AND ((p15 <= 0) OR (p27 <= 299) OR (p3 <= 0) OR (p23 <= 0))))
lola: processed formula length: 137
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 9 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (((1 <= p0) AND (1 <= p2) AND (1 <= p12) AND (1 <= p32) AND (1 <= p19) AND (1 <= p22))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:623
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: processed formula: ((1 <= p0) AND (1 <= p2) AND (1 <= p12) AND (1 <= p32) AND (1 <= p19) AND (1 <= p22))
lola: processed formula length: 85
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p0) AND (1 <= p2) AND (1 <= p12) AND (1 <= p32) AND (1 <= p19) AND (1 <= p22))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 18 markings, 17 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 4 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p19) AND (1 <= p22))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p19) AND (1 <= p22))))
lola: processed formula length: 35
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p19) AND (1 <= p22))
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 18 markings, 17 edges
lola: ========================================
lola: subprocess 5 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p3) AND (1 <= p23))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p3) AND (1 <= p23))))
lola: processed formula length: 34
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p3) AND (1 <= p23))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 19 markings, 18 edges
lola: ========================================
lola: subprocess 6 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p3 <= 0) OR (p23 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p3 <= 0) OR (p23 <= 0))))
lola: processed formula length: 34
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p3) AND (1 <= p23))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 19 markings, 18 edges
lola: state equation: write sara problem file to CTLFireability-6-0.sara
lola: subprocess 7 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p26 <= 0)) AND (p24 <= 0))))
lola: ========================================
lola: lola: SUBTASK
========================================
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((p26 <= 0)) AND (p24 <= 0))))
lola: processed formula length: 37
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: lola: state equation: calling and running sara
state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p26 <= 0)) AND (p24 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 402 markings, 401 edges
lola: ========================================
sara: try reading problem file CTLFireability-6-0.sara.
lola: subprocess 8 will run for 387 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p19) AND (1 <= p22) AND ((p9 <= 0) OR (p10 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p19) AND (1 <= p22) AND ((p9 <= 0) OR (p10 <= 0)))))
lola: processed formula length: 66
sara: lola: place or transition ordering is non-deterministic
29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 18 markings, 17 edges
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p19) AND (1 <= p22) AND ((p9 <= 0) OR (p10 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: ========================================
lola: subprocess 9 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((1 <= p17)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (1 <= p17)
lola: processed formula length: 10
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p17 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (1 <= p17)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-9-0.sara
lola: state equation: write sara problem file to CTLFireability-9-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 2917 markings, 2951 edges
sara: try reading problem file CTLFireability-9-0.sara.
lola: ========================================
lola: subprocess 10 will run for 516 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((p9 <= 0) OR (p13 <= 0) OR (p7 <= 1))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
sara: lola: place or transition ordering is non-deterministic
rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((p9 <= 0) OR (p13 <= 0) OR (p7 <= 1))
lola: processed formula length: 40
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola:
formula 0: ((1 <= p9) AND (1 <= p13) AND (2 <= p7))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p9 <= 0) OR (p13 <= 0) OR (p7 <= 1))
lola: state equation task get result unparse finished id 1
lola: state equation: write sara problem file to CTLFireability-10-0.sara
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-10-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-10-0.sara.
sara: try reading problem file CTLFireability-10-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 957736 markings, 6097150 edges, 191547 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1878660 markings, 12234217 edges, 184185 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2772346 markings, 18261061 edges, 178737 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 3603642 markings, 23854756 edges, 166259 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 4461070 markings, 29707961 edges, 171486 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 5344775 markings, 35664695 edges, 176741 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 6213126 markings, 41592275 edges, 173670 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 7072409 markings, 47459004 edges, 171857 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 7931548 markings, 53323932 edges, 171828 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 8765747 markings, 59019494 edges, 166840 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 9611172 markings, 64786247 edges, 169085 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 10464381 markings, 70610124 edges, 170642 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 11319142 markings, 76445117 edges, 170952 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 12141804 markings, 82056420 edges, 164532 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 12996348 markings, 87890366 edges, 170909 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 13822087 markings, 93525998 edges, 165148 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 14638198 markings, 99169299 edges, 163222 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 15481771 markings, 104926250 edges, 168715 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 16329884 markings, 110718072 edges, 169623 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 17184576 markings, 116553609 edges, 170938 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 18013490 markings, 122282316 edges, 165783 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 18856241 markings, 128037179 edges, 168550 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 19653956 markings, 133473036 edges, 159543 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 20481220 markings, 139196048 edges, 165453 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 21317849 markings, 144908523 edges, 167326 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 22173600 markings, 150751776 edges, 171150 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 22997820 markings, 156449051 edges, 164844 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 23836340 markings, 162172855 edges, 167704 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 24652014 markings, 167735073 edges, 163135 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 25470213 markings, 173394761 edges, 163640 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 26316194 markings, 179167703 edges, 169196 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 27131101 markings, 184804796 edges, 162981 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 27968436 markings, 190521099 edges, 167467 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 28791013 markings, 196210988 edges, 164515 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 29621801 markings, 201878477 edges, 166158 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 30469445 markings, 207666968 edges, 169529 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 31271695 markings, 213213222 edges, 160450 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 32107001 markings, 218916544 edges, 167061 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 32910851 markings, 224472503 edges, 160770 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 33762865 markings, 230288779 edges, 170403 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 34579403 markings, 235935978 edges, 163308 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 35423727 markings, 241701570 edges, 168865 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 36229707 markings, 247276113 edges, 161196 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 37074859 markings, 253042314 edges, 169030 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 37873035 markings, 258567176 edges, 159635 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 38717797 markings, 264328521 edges, 168952 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 39513037 markings, 269834337 edges, 159048 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 40341335 markings, 275511047 edges, 165660 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 41153414 markings, 281099901 edges, 162416 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 41964894 markings, 286715370 edges, 162296 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 42792315 markings, 292357569 edges, 165484 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 43601409 markings, 297957420 edges, 161819 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 44431969 markings, 303620371 edges, 166112 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 45233579 markings, 309167010 edges, 160322 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 46082648 markings, 314960998 edges, 169814 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 46879996 markings, 320478710 edges, 159470 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 47692721 markings, 326101815 edges, 162545 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 48515348 markings, 331714683 edges, 164525 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 49321014 markings, 337285255 edges, 161133 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 50156560 markings, 342985319 edges, 167109 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 50953930 markings, 348500837 edges, 159474 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 51784637 markings, 354172576 edges, 166141 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 52592348 markings, 359757487 edges, 161542 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 53400381 markings, 365344719 edges, 161607 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 54234363 markings, 371036899 edges, 166796 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 55030600 markings, 376543280 edges, 159247 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 55871713 markings, 382285245 edges, 168223 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 56676502 markings, 387851075 edges, 160958 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 57479927 markings, 393409658 edges, 160685 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 58324125 markings, 399170652 edges, 168840 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 59115632 markings, 404646771 edges, 158301 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 59928171 markings, 410268925 edges, 162508 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 60762538 markings, 415957497 edges, 166873 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 61560606 markings, 421480608 edges, 159614 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 62401149 markings, 427214459 edges, 168109 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 63203423 markings, 432769357 edges, 160455 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 64006707 markings, 438321070 edges, 160657 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 64847712 markings, 444060780 edges, 168201 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 65646973 markings, 449591387 edges, 159852 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 66450282 markings, 455145759 edges, 160662 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 67293223 markings, 460902645 edges, 168588 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 68086182 markings, 466383503 edges, 158592 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 68899334 markings, 472009008 edges, 162630 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 69733612 markings, 477700822 edges, 166856 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 70528656 markings, 483205846 edges, 159009 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 71365533 markings, 488912059 edges, 167375 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 72177802 markings, 494529886 edges, 162454 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 72969381 markings, 500005874 edges, 158316 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 73810105 markings, 505743283 edges, 168145 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 74617878 markings, 511334439 edges, 161555 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 75411862 markings, 516822637 edges, 158797 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 76252110 markings, 522558702 edges, 168050 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 77060347 markings, 528147534 edges, 161647 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 77851941 markings, 533627075 edges, 158319 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 78692712 markings, 539361420 edges, 168154 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 79503163 markings, 544966851 edges, 162090 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 80272123 markings, 550290844 edges, 153792 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 81075516 markings, 555781198 edges, 160679 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 81879748 markings, 561328486 edges, 160846 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 82653441 markings, 566680694 edges, 154739 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 83429264 markings, 572050051 edges, 155165 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 84245285 markings, 577617860 edges, 163204 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 85032533 markings, 583059011 edges, 157450 markings/sec, 510 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown yes yes yes unknown no unknown yes no unknown yes unknown
lola: memory consumption: 3300616 KB
lola: time consumption: 988 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 516 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p14)) OR ((1 <= p16) AND ((p4 <= 1) OR (p15 <= 0) OR (p28 <= 0) OR (p17 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((p14 <= 0)) AND ((p16 <= 0) OR ((2 <= p4) AND (1 <= p15) AND (1 <= p28) AND (1 <= p17))))
lola: processed formula length: 92
lola: 31 rewrites
lola: closed formula file CTLFireability.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p14)) OR ((1 <= p16) AND ((p4 <= 1) OR (p15 <= 0) OR (p28 <= 0) OR (p17 <= 0))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 9 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-11-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 402 markings, 401 edges
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 12 will run for 645 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p7 <= 1) AND (A (G (((p3 <= 0) OR (p23 <= 0)))) AND ((p9 <= 0) OR (p13 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(((p7 <= 1) AND (AG(((p3 <= 0) OR (p23 <= 0))) AND ((p9 <= 0) OR (p13 <= 0)))))
lola: processed formula length: 83
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
sara: try reading problem file CTLFireability-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 2815 markings, 2817 edges
lola: ========================================
lola: subprocess 13 will run for 860 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((1 <= p20) OR A (F (((1 <= p15) AND (300 <= p27))))) U ((1 <= p8) AND (200 <= p29))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(((1 <= p20) OR AF(((1 <= p15) AND (300 <= p27)))) U ((1 <= p8) AND (200 <= p29)))
lola: processed formula length: 83
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 569849 markings, 571052 edges
lola: ========================================
lola: subprocess 14 will run for 1290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((p3 <= 0) OR (p23 <= 0) OR ((p21 <= 0) AND ((p4 <= 1) OR (p15 <= 0) OR (p28 <= 0)))) R E (G (((p14 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: processed formula: A(((p3 <= 0) OR (p23 <= 0) OR ((p21 <= 0) AND ((p4 <= 1) OR (p15 <= 0) OR (p28 <= 0)))) R EG(((p14 <= 0))))
lola: processed formula length: 111
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 802 markings, 802 edges
lola: ========================================
lola: subprocess 15 will run for 2581 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G (((p18 <= 0) OR (p19 <= 0)))) U (A (G ((1 <= p16))) AND (((p8 <= 0) OR (p29 <= 199)) AND ((2 <= p7) OR (1 <= p12))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EG(((p18 <= 0) OR (p19 <= 0))) U (AG((1 <= p16)) AND (((p8 <= 0) OR (p29 <= 199)) AND ((2 <= p7) OR (1 <= p12)))))
lola: processed formula length: 119
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1374530 markings, 4497864 edges, 274906 markings/sec, 0 secs
lola: 2719913 markings, 8906926 edges, 269077 markings/sec, 5 secs
lola: 4074314 markings, 13346820 edges, 270880 markings/sec, 10 secs
lola: 5345701 markings, 17515493 edges, 254277 markings/sec, 15 secs
lola: 6674342 markings, 21872158 edges, 265728 markings/sec, 20 secs
lola: 7939213 markings, 26252581 edges, 252974 markings/sec, 25 secs
lola: 9163688 markings, 30557740 edges, 244895 markings/sec, 30 secs
lola: 10389106 markings, 34867973 edges, 245084 markings/sec, 35 secs
lola: 11613219 markings, 39174330 edges, 244823 markings/sec, 40 secs
lola: 12825150 markings, 43438183 edges, 242386 markings/sec, 45 secs
lola: 14049731 markings, 47742107 edges, 244916 markings/sec, 50 secs
lola: 15270337 markings, 52030451 edges, 244121 markings/sec, 55 secs
lola: 16468537 markings, 56243979 edges, 239640 markings/sec, 60 secs
lola: 17654853 markings, 60416787 edges, 237263 markings/sec, 65 secs
lola: 18838891 markings, 64582478 edges, 236808 markings/sec, 70 secs
lola: 20020667 markings, 68740204 edges, 236355 markings/sec, 75 secs
lola: 21244388 markings, 73038004 edges, 244744 markings/sec, 80 secs
lola: 22471069 markings, 77349986 edges, 245336 markings/sec, 85 secs
lola: 23688470 markings, 81631469 edges, 243480 markings/sec, 90 secs
lola: 24904995 markings, 85910861 edges, 243305 markings/sec, 95 secs
lola: 26113573 markings, 90163088 edges, 241716 markings/sec, 100 secs
lola: 27328036 markings, 94435961 edges, 242893 markings/sec, 105 secs
lola: 28490315 markings, 98739493 edges, 232456 markings/sec, 110 secs
lola: 29621052 markings, 102985858 edges, 226147 markings/sec, 115 secs
lola: 30731771 markings, 107158242 edges, 222144 markings/sec, 120 secs
lola: 31840671 markings, 111324423 edges, 221780 markings/sec, 125 secs
lola: 32944163 markings, 115470919 edges, 220698 markings/sec, 130 secs
lola: 34057501 markings, 119654635 edges, 222668 markings/sec, 135 secs
lola: 35265614 markings, 123963944 edges, 241623 markings/sec, 140 secs
lola: 36457374 markings, 128153840 edges, 238352 markings/sec, 145 secs
lola: 37620024 markings, 132243176 edges, 232530 markings/sec, 150 secs
lola: 38760804 markings, 136256333 edges, 228156 markings/sec, 155 secs
lola: 39918005 markings, 140327550 edges, 231440 markings/sec, 160 secs
lola: 41074764 markings, 144394439 edges, 231352 markings/sec, 165 secs
lola: 42309885 markings, 148732461 edges, 247024 markings/sec, 170 secs
lola: 43487491 markings, 152873401 edges, 235521 markings/sec, 175 secs
lola: 44693247 markings, 157114453 edges, 241151 markings/sec, 180 secs
lola: 45895376 markings, 161343612 edges, 240426 markings/sec, 185 secs
lola: 47095136 markings, 165565111 edges, 239952 markings/sec, 190 secs
lola: 48292554 markings, 169863197 edges, 239484 markings/sec, 195 secs
lola: 49426625 markings, 174120004 edges, 226814 markings/sec, 200 secs
lola: 50538956 markings, 178298003 edges, 222466 markings/sec, 205 secs
lola: 51651752 markings, 182478556 edges, 222559 markings/sec, 210 secs
lola: 52679750 markings, 186341234 edges, 205600 markings/sec, 215 secs
lola: 53764751 markings, 190418542 edges, 217000 markings/sec, 220 secs
lola: 54871748 markings, 194574099 edges, 221399 markings/sec, 225 secs
lola: 55985558 markings, 198753333 edges, 222762 markings/sec, 230 secs
lola: 57075596 markings, 202847274 edges, 218008 markings/sec, 235 secs
lola: 58156807 markings, 206909200 edges, 216242 markings/sec, 240 secs
lola: 59225631 markings, 210925031 edges, 213765 markings/sec, 245 secs
lola: 60301075 markings, 214966248 edges, 215089 markings/sec, 250 secs
lola: 61397367 markings, 219069840 edges, 219258 markings/sec, 255 secs
lola: 62623521 markings, 223375720 edges, 245231 markings/sec, 260 secs
lola: 63804778 markings, 227529467 edges, 236251 markings/sec, 265 secs
lola: 64988554 markings, 231693264 edges, 236755 markings/sec, 270 secs
lola: 66157225 markings, 235804823 edges, 233734 markings/sec, 275 secs
lola: 67331492 markings, 239936229 edges, 234853 markings/sec, 280 secs
lola: 68548784 markings, 244210694 edges, 243458 markings/sec, 285 secs
lola: 69761920 markings, 248475272 edges, 242627 markings/sec, 290 secs
lola: 70968670 markings, 252719563 edges, 241350 markings/sec, 295 secs
lola: 72168295 markings, 256939428 edges, 239925 markings/sec, 300 secs
lola: 73367879 markings, 261159854 edges, 239917 markings/sec, 305 secs
lola: 74561551 markings, 265359642 edges, 238734 markings/sec, 310 secs
lola: 75585640 markings, 269148706 edges, 204818 markings/sec, 315 secs
lola: 76564638 markings, 272824515 edges, 195800 markings/sec, 320 secs
lola: 77642341 markings, 276872752 edges, 215541 markings/sec, 325 secs
lola: 78712527 markings, 280893578 edges, 214037 markings/sec, 330 secs
lola: 79779446 markings, 284902449 edges, 213384 markings/sec, 335 secs
lola: 80861832 markings, 288969756 edges, 216477 markings/sec, 340 secs
lola: 81972435 markings, 293136814 edges, 222121 markings/sec, 345 secs
lola: 83082129 markings, 297302284 edges, 221939 markings/sec, 350 secs
lola: 84173423 markings, 301401075 edges, 218259 markings/sec, 355 secs
lola: 85257700 markings, 305474519 edges, 216855 markings/sec, 360 secs
lola: 86332238 markings, 309512163 edges, 214908 markings/sec, 365 secs
lola: 87404924 markings, 313542959 edges, 214537 markings/sec, 370 secs
lola: 88513429 markings, 317702928 edges, 221701 markings/sec, 375 secs
lola: 89635357 markings, 321913732 edges, 224386 markings/sec, 380 secs
lola: 90731555 markings, 326030888 edges, 219240 markings/sec, 385 secs
lola: 91773394 markings, 329945051 edges, 208368 markings/sec, 390 secs
lola: 92854786 markings, 334008220 edges, 216278 markings/sec, 395 secs
lola: 93935697 markings, 338070014 edges, 216182 markings/sec, 400 secs
lola: 95078260 markings, 342269583 edges, 228513 markings/sec, 405 secs
lola: 96271015 markings, 346461124 edges, 238551 markings/sec, 410 secs
lola: 97449477 markings, 350605409 edges, 235692 markings/sec, 415 secs
lola: 98625698 markings, 354742769 edges, 235244 markings/sec, 420 secs
lola: 99797366 markings, 358864827 edges, 234334 markings/sec, 425 secs
lola: 100966278 markings, 362977690 edges, 233782 markings/sec, 430 secs
lola: 102190593 markings, 367275192 edges, 244863 markings/sec, 435 secs
lola: 103385102 markings, 371475260 edges, 238902 markings/sec, 440 secs
lola: 104572540 markings, 375651775 edges, 237488 markings/sec, 445 secs
lola: 105762295 markings, 379837166 edges, 237951 markings/sec, 450 secs
lola: 106953423 markings, 384028102 edges, 238226 markings/sec, 455 secs
lola: 108146940 markings, 388256400 edges, 238703 markings/sec, 460 secs
lola: 109262005 markings, 392439958 edges, 223013 markings/sec, 465 secs
lola: 110351100 markings, 396530269 edges, 217819 markings/sec, 470 secs
lola: 111426837 markings, 400571623 edges, 215147 markings/sec, 475 secs
lola: 112499778 markings, 404602874 edges, 214588 markings/sec, 480 secs
lola: 113543320 markings, 408524311 edges, 208708 markings/sec, 485 secs
lola: 114622576 markings, 412579888 edges, 215851 markings/sec, 490 secs
lola: 115739976 markings, 416769601 edges, 223480 markings/sec, 495 secs
lola: 116818007 markings, 420817773 edges, 215606 markings/sec, 500 secs
lola: 117888427 markings, 424838717 edges, 214084 markings/sec, 505 secs
lola: 118954683 markings, 428844768 edges, 213251 markings/sec, 510 secs
lola: 120017748 markings, 432839524 edges, 212613 markings/sec, 515 secs
lola: 121071970 markings, 436800896 edges, 210844 markings/sec, 520 secs
lola: 122184908 markings, 440974783 edges, 222588 markings/sec, 525 secs
lola: 123286499 markings, 445110889 edges, 220318 markings/sec, 530 secs
lola: 124380746 markings, 449221329 edges, 218849 markings/sec, 535 secs
lola: 125465389 markings, 453296532 edges, 216929 markings/sec, 540 secs
lola: 126557225 markings, 457399029 edges, 218367 markings/sec, 545 secs
lola: 127648260 markings, 461498887 edges, 218207 markings/sec, 550 secs
lola: 128766495 markings, 465692194 edges, 223647 markings/sec, 555 secs
lola: 129858379 markings, 469792100 edges, 218377 markings/sec, 560 secs
lola: 130938930 markings, 473851109 edges, 216110 markings/sec, 565 secs
lola: 132018531 markings, 477907180 edges, 215920 markings/sec, 570 secs
lola: 133098377 markings, 481964740 edges, 215969 markings/sec, 575 secs
lola: 134178249 markings, 486022687 edges, 215974 markings/sec, 580 secs
lola: 135388241 markings, 490304782 edges, 241998 markings/sec, 585 secs
lola: 136591690 markings, 494536192 edges, 240690 markings/sec, 590 secs
lola: 137784538 markings, 498731946 edges, 238570 markings/sec, 595 secs
lola: 138971490 markings, 502907404 edges, 237390 markings/sec, 600 secs
lola: 140151983 markings, 507060686 edges, 236099 markings/sec, 605 secs
lola: 141375941 markings, 511358179 edges, 244792 markings/sec, 610 secs
lola: 142586783 markings, 515615023 edges, 242168 markings/sec, 615 secs
lola: 143782789 markings, 519821550 edges, 239201 markings/sec, 620 secs
lola: 144968852 markings, 523993991 edges, 237213 markings/sec, 625 secs
lola: 146156701 markings, 528173148 edges, 237570 markings/sec, 630 secs
lola: 147357429 markings, 532397998 edges, 240146 markings/sec, 635 secs
lola: 148483616 markings, 536589283 edges, 225237 markings/sec, 640 secs
lola: 149556810 markings, 540619310 edges, 214639 markings/sec, 645 secs
lola: 150620870 markings, 544616464 edges, 212812 markings/sec, 650 secs
lola: 151677351 markings, 548585898 edges, 211296 markings/sec, 655 secs
lola: 152732429 markings, 552550390 edges, 211016 markings/sec, 660 secs
lola: 153788512 markings, 556518835 edges, 211217 markings/sec, 665 secs
lola: 154891031 markings, 560654333 edges, 220504 markings/sec, 670 secs
lola: 155969439 markings, 564703066 edges, 215682 markings/sec, 675 secs
lola: 157032184 markings, 568694889 edges, 212549 markings/sec, 680 secs
lola: 158091797 markings, 572675870 edges, 211923 markings/sec, 685 secs
lola: 159148644 markings, 576646891 edges, 211369 markings/sec, 690 secs
lola: 160205797 markings, 580619406 edges, 211431 markings/sec, 695 secs
lola: 161293507 markings, 584700662 edges, 217542 markings/sec, 700 secs
lola: 162382458 markings, 588787936 edges, 217790 markings/sec, 705 secs
lola: 163446958 markings, 592786007 edges, 212900 markings/sec, 710 secs
lola: 164516789 markings, 596805179 edges, 213966 markings/sec, 715 secs
lola: 165576444 markings, 600786829 edges, 211931 markings/sec, 720 secs
lola: 166632865 markings, 604756345 edges, 211284 markings/sec, 725 secs
lola: 167719209 markings, 608833276 edges, 217269 markings/sec, 730 secs
lola: 168815591 markings, 612948039 edges, 219276 markings/sec, 735 secs
lola: 169887008 markings, 616972220 edges, 214283 markings/sec, 740 secs
lola: 170958849 markings, 620998835 edges, 214368 markings/sec, 745 secs
lola: 172028007 markings, 625016010 edges, 213832 markings/sec, 750 secs
lola: 173085357 markings, 628989492 edges, 211470 markings/sec, 755 secs
lola: 174193467 markings, 633146989 edges, 221622 markings/sec, 760 secs
lola: 175318482 markings, 637369735 edges, 225003 markings/sec, 765 secs
lola: 176431723 markings, 641551181 edges, 222648 markings/sec, 770 secs
lola: 177539787 markings, 645713958 edges, 221613 markings/sec, 775 secs
lola: 178647594 markings, 649876442 edges, 221561 markings/sec, 780 secs
lola: 179750674 markings, 654021584 edges, 220616 markings/sec, 785 secs
lola: 180950816 markings, 658304323 edges, 240028 markings/sec, 790 secs
lola: 182144875 markings, 662502299 edges, 238812 markings/sec, 795 secs
lola: 183325227 markings, 666653807 edges, 236070 markings/sec, 800 secs
lola: 184506740 markings, 670810281 edges, 236303 markings/sec, 805 secs
lola: 185683317 markings, 674949611 edges, 235315 markings/sec, 810 secs
lola: 186904260 markings, 679236831 edges, 244189 markings/sec, 815 secs
lola: 188114299 markings, 683490682 edges, 242008 markings/sec, 820 secs
lola: 189316954 markings, 687720497 edges, 240531 markings/sec, 825 secs
lola: 190514049 markings, 691931634 edges, 239419 markings/sec, 830 secs
lola: 191702905 markings, 696114289 edges, 237771 markings/sec, 835 secs
lola: 192897191 markings, 700316412 edges, 238857 markings/sec, 840 secs
lola: 194036436 markings, 704546210 edges, 227849 markings/sec, 845 secs
lola: 195112893 markings, 708588420 edges, 215291 markings/sec, 850 secs
lola: 196184897 markings, 712615361 edges, 214401 markings/sec, 855 secs
lola: 197250739 markings, 716619863 edges, 213168 markings/sec, 860 secs
lola: 198314571 markings, 720617487 edges, 212766 markings/sec, 865 secs
lola: 199381991 markings, 724628961 edges, 213484 markings/sec, 870 secs
lola: 200482408 markings, 728755987 edges, 220083 markings/sec, 875 secs
lola: 201550726 markings, 732766892 edges, 213664 markings/sec, 880 secs
lola: 202601948 markings, 736715354 edges, 210244 markings/sec, 885 secs
lola: 203651209 markings, 740657439 edges, 209852 markings/sec, 890 secs
lola: 204697211 markings, 744587664 edges, 209200 markings/sec, 895 secs
lola: 205729068 markings, 748465265 edges, 206371 markings/sec, 900 secs
lola: 206806717 markings, 752509271 edges, 215530 markings/sec, 905 secs
lola: 207889907 markings, 756574483 edges, 216638 markings/sec, 910 secs
lola: 208948391 markings, 760549937 edges, 211697 markings/sec, 915 secs
lola: 210004502 markings, 764517446 edges, 211222 markings/sec, 920 secs
lola: 211048353 markings, 768439727 edges, 208770 markings/sec, 925 secs
lola: 212077573 markings, 772307760 edges, 205844 markings/sec, 930 secs
lola: 213106417 markings, 776170430 edges, 205769 markings/sec, 935 secs
lola: 214118955 markings, 779968389 edges, 202508 markings/sec, 940 secs
lola: 214936810 markings, 783039602 edges, 163571 markings/sec, 945 secs
lola: 215919076 markings, 786729381 edges, 196453 markings/sec, 950 secs
lola: 216951850 markings, 790609559 edges, 206555 markings/sec, 955 secs
lola: 217978785 markings, 794468135 edges, 205387 markings/sec, 960 secs
lola: 219009123 markings, 798340157 edges, 206068 markings/sec, 965 secs
lola: 220104323 markings, 802447320 edges, 219040 markings/sec, 970 secs
lola: 221199223 markings, 806558292 edges, 218980 markings/sec, 975 secs
lola: 222280203 markings, 810618870 edges, 216196 markings/sec, 980 secs
lola: 223355408 markings, 814658473 edges, 215041 markings/sec, 985 secs
lola: 224429688 markings, 818695102 edges, 214856 markings/sec, 990 secs
lola: 225506928 markings, 822743165 edges, 215448 markings/sec, 995 secs
lola: 226606863 markings, 826866789 edges, 219987 markings/sec, 1000 secs
lola: 227683948 markings, 830911572 edges, 215417 markings/sec, 1005 secs
lola: 228747224 markings, 834905826 edges, 212655 markings/sec, 1010 secs
lola: 229812004 markings, 838906400 edges, 212956 markings/sec, 1015 secs
lola: 230883423 markings, 842932194 edges, 214284 markings/sec, 1020 secs
lola: 231981351 markings, 846993354 edges, 219586 markings/sec, 1025 secs
lola: 233127483 markings, 851020215 edges, 229226 markings/sec, 1030 secs
lola: 234346440 markings, 855306645 edges, 243791 markings/sec, 1035 secs
lola: 235488100 markings, 859322352 edges, 228332 markings/sec, 1040 secs
lola: 236783228 markings, 863878859 edges, 259026 markings/sec, 1045 secs
lola: 237763952 markings, 867327035 edges, 196145 markings/sec, 1050 secs
lola: 238143291 markings, 868657226 edges, 75868 markings/sec, 1055 secs
lola: 238563736 markings, 870134184 edges, 84089 markings/sec, 1060 secs
lola: 238965235 markings, 871545378 edges, 80300 markings/sec, 1065 secs
lola: 239372409 markings, 872976922 edges, 81435 markings/sec, 1070 secs
lola: 239800864 markings, 874483601 edges, 85691 markings/sec, 1075 secs
lola: 240200804 markings, 875889991 edges, 79988 markings/sec, 1080 secs
lola: 240591721 markings, 877264955 edges, 78183 markings/sec, 1085 secs
lola: 241001777 markings, 878707336 edges, 82011 markings/sec, 1090 secs
lola: 241399540 markings, 880106530 edges, 79553 markings/sec, 1095 secs
lola: 241853568 markings, 881703831 edges, 90806 markings/sec, 1100 secs
lola: 242259000 markings, 883130112 edges, 81086 markings/sec, 1105 secs
lola: 242667222 markings, 884566276 edges, 81644 markings/sec, 1110 secs
lola: 243095177 markings, 886071997 edges, 85591 markings/sec, 1115 secs
lola: 243513050 markings, 887542315 edges, 83575 markings/sec, 1120 secs
lola: 243904432 markings, 888919378 edges, 78276 markings/sec, 1125 secs
lola: 244471798 markings, 890915543 edges, 113473 markings/sec, 1130 secs
lola: 245034641 markings, 892985446 edges, 112569 markings/sec, 1135 secs
lola: 245474749 markings, 894636909 edges, 88022 markings/sec, 1140 secs
lola: 245921732 markings, 896314930 edges, 89397 markings/sec, 1145 secs
lola: 246386102 markings, 898058746 edges, 92874 markings/sec, 1150 secs
lola: 246842341 markings, 899772479 edges, 91248 markings/sec, 1155 secs
lola: 247276474 markings, 901403275 edges, 86827 markings/sec, 1160 secs
lola: 247710208 markings, 903032672 edges, 86747 markings/sec, 1165 secs
lola: 248148293 markings, 904678545 edges, 87617 markings/sec, 1170 secs
lola: 248583493 markings, 906313593 edges, 87040 markings/sec, 1175 secs
lola: 249018888 markings, 907949510 edges, 87079 markings/sec, 1180 secs
lola: 249441783 markings, 909538791 edges, 84579 markings/sec, 1185 secs
lola: 249867477 markings, 911138283 edges, 85139 markings/sec, 1190 secs
lola: 250280716 markings, 912691010 edges, 82648 markings/sec, 1195 secs
lola: 250766921 markings, 914518267 edges, 97241 markings/sec, 1200 secs
lola: 251275678 markings, 916429880 edges, 101751 markings/sec, 1205 secs
lola: 251667341 markings, 917896761 edges, 78333 markings/sec, 1210 secs
lola: 252074301 markings, 919423142 edges, 81392 markings/sec, 1215 secs
lola: 252307216 markings, 920297308 edges, 46583 markings/sec, 1220 secs
lola: 252524502 markings, 921113113 edges, 43457 markings/sec, 1225 secs
lola: 252754430 markings, 921976284 edges, 45986 markings/sec, 1230 secs
lola: 252985519 markings, 922844086 edges, 46218 markings/sec, 1235 secs
lola: 253231769 markings, 923768897 edges, 49250 markings/sec, 1240 secs
lola: 253393278 markings, 924375421 edges, 32302 markings/sec, 1245 secs
lola: 253670040 markings, 925415110 edges, 55352 markings/sec, 1250 secs
lola: 253911426 markings, 926321861 edges, 48277 markings/sec, 1255 secs
lola: 254206266 markings, 927429267 edges, 58968 markings/sec, 1260 secs
lola: 254535008 markings, 928664536 edges, 65748 markings/sec, 1265 secs
lola: 254946401 markings, 930210485 edges, 82279 markings/sec, 1270 secs
lola: 255417948 markings, 931981656 edges, 94309 markings/sec, 1275 secs
lola: 255890359 markings, 933756826 edges, 94482 markings/sec, 1280 secs
lola: 256320201 markings, 935371809 edges, 85968 markings/sec, 1285 secs
lola: 256807034 markings, 937201270 edges, 97367 markings/sec, 1290 secs
lola: 257282194 markings, 938986934 edges, 95032 markings/sec, 1295 secs
lola: 257774520 markings, 940836824 edges, 98465 markings/sec, 1300 secs
lola: 258288635 markings, 942764023 edges, 102823 markings/sec, 1305 secs
lola: 258676828 markings, 944219867 edges, 77639 markings/sec, 1310 secs
lola: 259025437 markings, 945528309 edges, 69722 markings/sec, 1315 secs
lola: 259417269 markings, 946999345 edges, 78366 markings/sec, 1320 secs
lola: 259800849 markings, 948439886 edges, 76716 markings/sec, 1325 secs
lola: 260273239 markings, 950214277 edges, 94478 markings/sec, 1330 secs
lola: 260635748 markings, 951575786 edges, 72502 markings/sec, 1335 secs
lola: 260985356 markings, 952889167 edges, 69922 markings/sec, 1340 secs
lola: 261347188 markings, 954248578 edges, 72366 markings/sec, 1345 secs
lola: 261713677 markings, 955625435 edges, 73298 markings/sec, 1350 secs
lola: 262025709 markings, 956797807 edges, 62406 markings/sec, 1355 secs
lola: 262354590 markings, 958033523 edges, 65776 markings/sec, 1360 secs
lola: 262712861 markings, 959379871 edges, 71654 markings/sec, 1365 secs
lola: 263014242 markings, 960512627 edges, 60276 markings/sec, 1370 secs
lola: 263328993 markings, 961694946 edges, 62950 markings/sec, 1375 secs
lola: 263724928 markings, 963183040 edges, 79187 markings/sec, 1380 secs
lola: 264115661 markings, 964651380 edges, 78147 markings/sec, 1385 secs
lola: 264518666 markings, 966165814 edges, 80601 markings/sec, 1390 secs
lola: 264865161 markings, 967462150 edges, 69299 markings/sec, 1395 secs
lola: 264865196 markings, 967462257 edges, 7 markings/sec, 1400 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (E (F ((A (G (((1 <= p14)))) AND (((1 <= p9) AND (1 <= p10)) OR ((1 <= p9) AND (1 <= p10) AND (1 <= p15) AND (300 <= p27)))))) OR A (G ((A (X (((1 <= p5)))) OR E (X (((1 <= p19) AND (1 <= p22))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: E (F ((A (G (((1 <= p14)))) AND (((1 <= p9) AND (1 <= p10)) OR ((1 <= p9) AND (1 <= p10) AND (1 <= p15) AND (300 <= p27))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG(((1 <= p14))) AND (((1 <= p9) AND (1 <= p10)) OR ((1 <= p9) AND (1 <= p10) AND (1 <= p15) AND (300 <= p27)))))
lola: processed formula length: 118
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 674152 markings, 5077436 edges, 134830 markings/sec, 0 secs
lola: 1435978 markings, 11096572 edges, 152365 markings/sec, 5 secs
lola: 2176940 markings, 17016380 edges, 148192 markings/sec, 10 secs
lola: 2899215 markings, 22852091 edges, 144455 markings/sec, 15 secs
lola: 3633704 markings, 28720715 edges, 146898 markings/sec, 20 secs
lola: 4348930 markings, 34503578 edges, 143045 markings/sec, 25 secs
lola: 5062382 markings, 40280756 edges, 142690 markings/sec, 30 secs
lola: 5775906 markings, 46052878 edges, 142705 markings/sec, 35 secs
lola: 6487405 markings, 51806698 edges, 142300 markings/sec, 40 secs
lola: 7196019 markings, 57536722 edges, 141723 markings/sec, 45 secs
lola: 7904606 markings, 63270591 edges, 141717 markings/sec, 50 secs
lola: 8611354 markings, 68995011 edges, 141350 markings/sec, 55 secs
lola: 9318670 markings, 74714050 edges, 141463 markings/sec, 60 secs
lola: 10026294 markings, 80435409 edges, 141525 markings/sec, 65 secs
lola: 10715021 markings, 86087283 edges, 137745 markings/sec, 70 secs
lola: 11415886 markings, 91755146 edges, 140173 markings/sec, 75 secs
lola: 12122036 markings, 97468541 edges, 141230 markings/sec, 80 secs
lola: 12827902 markings, 103174781 edges, 141173 markings/sec, 85 secs
lola: 13511148 markings, 108772794 edges, 136649 markings/sec, 90 secs
lola: 14212085 markings, 114442650 edges, 140187 markings/sec, 95 secs
lola: 14916875 markings, 120142363 edges, 140958 markings/sec, 100 secs
lola: 15599323 markings, 125741248 edges, 136490 markings/sec, 105 secs
lola: 16302271 markings, 131425808 edges, 140590 markings/sec, 110 secs
lola: 17007862 markings, 137133703 edges, 141118 markings/sec, 115 secs
lola: 17687729 markings, 142711516 edges, 135973 markings/sec, 120 secs
lola: 18393195 markings, 148422208 edges, 141093 markings/sec, 125 secs
lola: 19075287 markings, 154007084 edges, 136418 markings/sec, 130 secs
lola: 19775735 markings, 159672509 edges, 140090 markings/sec, 135 secs
lola: 20459276 markings, 165285886 edges, 136708 markings/sec, 140 secs
lola: 21154698 markings, 170903398 edges, 139084 markings/sec, 145 secs
lola: 21848885 markings, 176567606 edges, 138837 markings/sec, 150 secs
lola: 22534252 markings, 182136998 edges, 137073 markings/sec, 155 secs
lola: 23237711 markings, 187825979 edges, 140692 markings/sec, 160 secs
lola: 23909426 markings, 193330982 edges, 134343 markings/sec, 165 secs
lola: 24612577 markings, 199018640 edges, 140630 markings/sec, 170 secs
lola: 25284014 markings, 204526669 edges, 134287 markings/sec, 175 secs
lola: 25985838 markings, 210210705 edges, 140365 markings/sec, 180 secs
lola: 26659687 markings, 215731529 edges, 134770 markings/sec, 185 secs
lola: 27346551 markings, 221357813 edges, 137373 markings/sec, 190 secs
lola: 28035504 markings, 226931440 edges, 137791 markings/sec, 195 secs
lola: 28717080 markings, 232525523 edges, 136315 markings/sec, 200 secs
lola: 29411256 markings, 238131178 edges, 138835 markings/sec, 205 secs
lola: 30087679 markings, 243684362 edges, 135285 markings/sec, 210 secs
lola: 30783120 markings, 249311467 edges, 139088 markings/sec, 215 secs
lola: 31458885 markings, 254846296 edges, 135153 markings/sec, 220 secs
lola: 32158769 markings, 260507514 edges, 139977 markings/sec, 225 secs
lola: 32827438 markings, 265988569 edges, 133734 markings/sec, 230 secs
lola: 33511788 markings, 271607668 edges, 136870 markings/sec, 235 secs
lola: 34196237 markings, 277132054 edges, 136890 markings/sec, 240 secs
lola: 34872673 markings, 282685365 edges, 135287 markings/sec, 245 secs
lola: 35565442 markings, 288282283 edges, 138554 markings/sec, 250 secs
lola: 36233018 markings, 293756847 edges, 133515 markings/sec, 255 secs
lola: 36933523 markings, 299421306 edges, 140101 markings/sec, 260 secs
lola: 37596483 markings, 304858238 edges, 132592 markings/sec, 265 secs
lola: 38273498 markings, 310412387 edges, 135403 markings/sec, 270 secs
lola: 38969907 markings, 316048222 edges, 139282 markings/sec, 275 secs
lola: 39634203 markings, 321493484 edges, 132859 markings/sec, 280 secs
lola: 40324002 markings, 327114121 edges, 137960 markings/sec, 285 secs
lola: 41003551 markings, 332640402 edges, 135910 markings/sec, 290 secs
lola: 41678344 markings, 338169866 edges, 134959 markings/sec, 295 secs
lola: 42376742 markings, 343819966 edges, 139680 markings/sec, 300 secs
lola: 43040255 markings, 349260072 edges, 132703 markings/sec, 305 secs
lola: 43714794 markings, 354792241 edges, 134908 markings/sec, 310 secs
lola: 44410165 markings, 360414566 edges, 139074 markings/sec, 315 secs
lola: 45078570 markings, 365896486 edges, 133681 markings/sec, 320 secs
lola: 45759235 markings, 371478336 edges, 136133 markings/sec, 325 secs
lola: 46448239 markings, 377056177 edges, 137801 markings/sec, 330 secs
lola: 47120662 markings, 382563886 edges, 134485 markings/sec, 335 secs
lola: 47819532 markings, 388217614 edges, 139774 markings/sec, 340 secs
lola: 48489521 markings, 393707869 edges, 133998 markings/sec, 345 secs
lola: 49161970 markings, 399220015 edges, 134490 markings/sec, 350 secs
lola: 49856719 markings, 404840971 edges, 138950 markings/sec, 355 secs
lola: 50519439 markings, 410274538 edges, 132544 markings/sec, 360 secs
lola: 51188399 markings, 415757858 edges, 133792 markings/sec, 365 secs
lola: 51880528 markings, 421356558 edges, 138426 markings/sec, 370 secs
lola: 52545292 markings, 426808040 edges, 132953 markings/sec, 375 secs
lola: 53217021 markings, 432314876 edges, 134346 markings/sec, 380 secs
lola: 53915793 markings, 437964980 edges, 139754 markings/sec, 385 secs
lola: 54581899 markings, 443427277 edges, 133221 markings/sec, 390 secs
lola: 55245091 markings, 448865164 edges, 132638 markings/sec, 395 secs
lola: 55941638 markings, 454498116 edges, 139309 markings/sec, 400 secs
lola: 56609475 markings, 459973621 edges, 133567 markings/sec, 405 secs
lola: 57273385 markings, 465418411 edges, 132782 markings/sec, 410 secs
lola: 57968690 markings, 471040929 edges, 139061 markings/sec, 415 secs
lola: 58639628 markings, 476545490 edges, 134188 markings/sec, 420 secs
lola: 59303471 markings, 481991081 edges, 132769 markings/sec, 425 secs
lola: 59984792 markings, 487560094 edges, 136264 markings/sec, 430 secs
lola: 60671846 markings, 493137712 edges, 137411 markings/sec, 435 secs
lola: 61332656 markings, 498555365 edges, 132162 markings/sec, 440 secs
lola: 62003111 markings, 504048257 edges, 134091 markings/sec, 445 secs
lola: 62705212 markings, 509726650 edges, 140420 markings/sec, 450 secs
lola: 63362955 markings, 515123228 edges, 131549 markings/sec, 455 secs
lola: 64023155 markings, 520539002 edges, 132040 markings/sec, 460 secs
lola: 64720973 markings, 526179163 edges, 139564 markings/sec, 465 secs
lola: 65384463 markings, 531621296 edges, 132698 markings/sec, 470 secs
lola: 66046677 markings, 537050837 edges, 132443 markings/sec, 475 secs
lola: 66741450 markings, 542661089 edges, 138955 markings/sec, 480 secs
lola: 67392810 markings, 548003679 edges, 130272 markings/sec, 485 secs
lola: 68053538 markings, 553422209 edges, 132146 markings/sec, 490 secs
lola: 68719505 markings, 558880732 edges, 133193 markings/sec, 495 secs
lola: 69420555 markings, 564551521 edges, 140210 markings/sec, 500 secs
lola: 70086589 markings, 570011735 edges, 133207 markings/sec, 505 secs
lola: 70746817 markings, 575425323 edges, 132046 markings/sec, 510 secs
lola: 71446204 markings, 581083243 edges, 139877 markings/sec, 515 secs
lola: 72121011 markings, 586617447 edges, 134961 markings/sec, 520 secs
lola: 72779701 markings, 592016497 edges, 131738 markings/sec, 525 secs
lola: 73447368 markings, 597495237 edges, 133533 markings/sec, 530 secs
lola: 74147229 markings, 603153410 edges, 139972 markings/sec, 535 secs
lola: 74811861 markings, 608606224 edges, 132926 markings/sec, 540 secs
lola: 75472827 markings, 614023452 edges, 132193 markings/sec, 545 secs
lola: 76171870 markings, 619674630 edges, 139809 markings/sec, 550 secs
lola: 76849345 markings, 625234021 edges, 135495 markings/sec, 555 secs
lola: 77510101 markings, 630652523 edges, 132151 markings/sec, 560 secs
lola: 78174413 markings, 636098958 edges, 132862 markings/sec, 565 secs
lola: 78874438 markings, 641761173 edges, 140005 markings/sec, 570 secs
lola: 79546003 markings, 647263951 edges, 134313 markings/sec, 575 secs
lola: 80201403 markings, 652640293 edges, 131080 markings/sec, 580 secs
lola: 80876461 markings, 658172539 edges, 135012 markings/sec, 585 secs
lola: 81572504 markings, 663802430 edges, 139209 markings/sec, 590 secs
lola: 82239336 markings, 669270110 edges, 133366 markings/sec, 595 secs
lola: 82892535 markings, 674628072 edges, 130640 markings/sec, 600 secs
lola: 83578558 markings, 680221408 edges, 137205 markings/sec, 605 secs
lola: 84260391 markings, 685763600 edges, 136367 markings/sec, 610 secs
lola: 84924004 markings, 691205131 edges, 132723 markings/sec, 615 secs
lola: 85580729 markings, 696591782 edges, 131345 markings/sec, 620 secs
lola: 86275751 markings, 702215975 edges, 139004 markings/sec, 625 secs
lola: 86946501 markings, 707711894 edges, 134150 markings/sec, 630 secs
lola: 87605951 markings, 713119566 edges, 131890 markings/sec, 635 secs
lola: 88266332 markings, 718535841 edges, 132076 markings/sec, 640 secs
lola: 88958993 markings, 724141092 edges, 138532 markings/sec, 645 secs
lola: 89632470 markings, 729658015 edges, 134695 markings/sec, 650 secs
lola: 90289827 markings, 735051208 edges, 131471 markings/sec, 655 secs
lola: 90955632 markings, 740508360 edges, 133161 markings/sec, 660 secs
lola: 91648363 markings, 746115092 edges, 138546 markings/sec, 665 secs
lola: 92321094 markings, 751625419 edges, 134546 markings/sec, 670 secs
lola: 92981024 markings, 757038068 edges, 131986 markings/sec, 675 secs
lola: 93645669 markings, 762486343 edges, 132929 markings/sec, 680 secs
lola: 94336353 markings, 768076956 edges, 138137 markings/sec, 685 secs
lola: 95006654 markings, 773569610 edges, 134060 markings/sec, 690 secs
lola: 95665579 markings, 778975141 edges, 131785 markings/sec, 695 secs
lola: 96328847 markings, 784412696 edges, 132654 markings/sec, 700 secs
lola: 97021203 markings, 790007792 edges, 138471 markings/sec, 705 secs
lola: 97688710 markings, 795487263 edges, 133501 markings/sec, 710 secs
lola: 98350922 markings, 800917041 edges, 132442 markings/sec, 715 secs
lola: 99011597 markings, 806332479 edges, 132135 markings/sec, 720 secs
lola: 99703535 markings, 811921465 edges, 138388 markings/sec, 725 secs
lola: 100369982 markings, 817385424 edges, 133289 markings/sec, 730 secs
lola: 101035996 markings, 822851326 edges, 133203 markings/sec, 735 secs
lola: 101692510 markings, 828229409 edges, 131303 markings/sec, 740 secs
lola: 102368524 markings, 833776990 edges, 135203 markings/sec, 745 secs
lola: 103048893 markings, 839272604 edges, 136074 markings/sec, 750 secs
lola: 103718125 markings, 844760399 edges, 133846 markings/sec, 755 secs
lola: 104369732 markings, 850105231 edges, 130321 markings/sec, 760 secs
lola: 105039669 markings, 855596324 edges, 133987 markings/sec, 765 secs
lola: 105726221 markings, 861150845 edges, 137310 markings/sec, 770 secs
lola: 106397890 markings, 866656303 edges, 134334 markings/sec, 775 secs
lola: 107052370 markings, 872024326 edges, 130896 markings/sec, 780 secs
lola: 107717382 markings, 877475519 edges, 133002 markings/sec, 785 secs
lola: 108402130 markings, 883017710 edges, 136950 markings/sec, 790 secs
lola: 109067649 markings, 888477705 edges, 133104 markings/sec, 795 secs
lola: 109727577 markings, 893886920 edges, 131986 markings/sec, 800 secs
lola: 110383519 markings, 899257187 edges, 131188 markings/sec, 805 secs
lola: 111068297 markings, 904821663 edges, 136956 markings/sec, 810 secs
lola: 111735554 markings, 910266534 edges, 133451 markings/sec, 815 secs
lola: 112406734 markings, 915769133 edges, 134236 markings/sec, 820 secs
lola: 113056450 markings, 921097119 edges, 129943 markings/sec, 825 secs
lola: 113724801 markings, 926576830 edges, 133670 markings/sec, 830 secs
lola: 114410774 markings, 932127963 edges, 137195 markings/sec, 835 secs
lola: 115076310 markings, 937583086 edges, 133107 markings/sec, 840 secs
lola: 115731975 markings, 942965208 edges, 131133 markings/sec, 845 secs
lola: 116390354 markings, 948361713 edges, 131676 markings/sec, 850 secs
lola: 117081766 markings, 953946242 edges, 138282 markings/sec, 855 secs
lola: 117743758 markings, 959374150 edges, 132398 markings/sec, 860 secs
lola: 118414488 markings, 964878142 edges, 134146 markings/sec, 865 secs
lola: 119064537 markings, 970203036 edges, 130010 markings/sec, 870 secs
lola: 119729421 markings, 975654745 edges, 132977 markings/sec, 875 secs
lola: 120417006 markings, 981218182 edges, 137517 markings/sec, 880 secs
lola: 121080683 markings, 986659440 edges, 132735 markings/sec, 885 secs
lola: 121737979 markings, 992050885 edges, 131459 markings/sec, 890 secs
lola: 122394224 markings, 997437240 edges, 131249 markings/sec, 895 secs
lola: 123065448 markings, 1002934154 edges, 134245 markings/sec, 900 secs
lola: 123745288 markings, 1008428005 edges, 135968 markings/sec, 905 secs
lola: 124413158 markings, 1013905242 edges, 133574 markings/sec, 910 secs
lola: 125064599 markings, 1019244716 edges, 130288 markings/sec, 915 secs
lola: 125726545 markings, 1024672693 edges, 132389 markings/sec, 920 secs
lola: 126417746 markings, 1030265321 edges, 138240 markings/sec, 925 secs
lola: 127077654 markings, 1035676327 edges, 131982 markings/sec, 930 secs
lola: 127749805 markings, 1041185973 edges, 134430 markings/sec, 935 secs
lola: 128397489 markings, 1046502018 edges, 129537 markings/sec, 940 secs
lola: 129060994 markings, 1051941740 edges, 132701 markings/sec, 945 secs
lola: 129750568 markings, 1057511965 edges, 137915 markings/sec, 950 secs
lola: 130408596 markings, 1062907893 edges, 131606 markings/sec, 955 secs
lola: 131071876 markings, 1068345873 edges, 132656 markings/sec, 960 secs
lola: 131725433 markings, 1073705832 edges, 130711 markings/sec, 965 secs
lola: 132391375 markings, 1079164356 edges, 133188 markings/sec, 970 secs
lola: 133075467 markings, 1084701226 edges, 136818 markings/sec, 975 secs
lola: 133735256 markings, 1090113818 edges, 131958 markings/sec, 980 secs
lola: 134393099 markings, 1095508187 edges, 131569 markings/sec, 985 secs
lola: 135049720 markings, 1100884362 edges, 131324 markings/sec, 990 secs
lola: 135714636 markings, 1106339466 edges, 132983 markings/sec, 995 secs
lola: 136397422 markings, 1111857522 edges, 136557 markings/sec, 1000 secs
lola: 137058663 markings, 1117279395 edges, 132248 markings/sec, 1005 secs
lola: 137713376 markings, 1122651755 edges, 130943 markings/sec, 1010 secs
lola: 138368858 markings, 1128030307 edges, 131096 markings/sec, 1015 secs
lola: 139034916 markings, 1133490201 edges, 133212 markings/sec, 1020 secs
lola: 139716824 markings, 1138995356 edges, 136382 markings/sec, 1025 secs
lola: 140373775 markings, 1144384376 edges, 131390 markings/sec, 1030 secs
lola: 141028469 markings, 1149754000 edges, 130939 markings/sec, 1035 secs
lola: 141680346 markings, 1155104858 edges, 130375 markings/sec, 1040 secs
lola: 142342906 markings, 1160537804 edges, 132512 markings/sec, 1045 secs
lola: 143027063 markings, 1166060956 edges, 136831 markings/sec, 1050 secs
lola: 143684573 markings, 1171452802 edges, 131502 markings/sec, 1055 secs
lola: 144341243 markings, 1176838924 edges, 131334 markings/sec, 1060 secs
lola: 144992377 markings, 1182183813 edges, 130227 markings/sec, 1065 secs
lola: 145653409 markings, 1187601730 edges, 132206 markings/sec, 1070 secs
lola: 146342392 markings, 1193165900 edges, 137797 markings/sec, 1075 secs
lola: 146995028 markings, 1198518643 edges, 130527 markings/sec, 1080 secs
lola: 147651296 markings, 1203902594 edges, 131254 markings/sec, 1085 secs
lola: 148301302 markings, 1209233220 edges, 130001 markings/sec, 1090 secs
lola: 148960612 markings, 1214634887 edges, 131862 markings/sec, 1095 secs
lola: 149651876 markings, 1220224215 edges, 138253 markings/sec, 1100 secs
lola: 150303092 markings, 1225567102 edges, 130243 markings/sec, 1105 secs
lola: 150964901 markings, 1230993741 edges, 132362 markings/sec, 1110 secs
lola: 151613106 markings, 1236309726 edges, 129641 markings/sec, 1115 secs
lola: 152270770 markings, 1241697670 edges, 131533 markings/sec, 1120 secs
lola: 152959316 markings, 1247267028 edges, 137709 markings/sec, 1125 secs
lola: 153609465 markings, 1252602987 edges, 130030 markings/sec, 1130 secs
lola: 154268118 markings, 1258007185 edges, 131731 markings/sec, 1135 secs
lola: 154920679 markings, 1263347258 edges, 130512 markings/sec, 1140 secs
lola: 155575404 markings, 1268716037 edges, 130945 markings/sec, 1145 secs
lola: 156260743 markings, 1274262795 edges, 137068 markings/sec, 1150 secs
lola: 156914592 markings, 1279625540 edges, 130770 markings/sec, 1155 secs
lola: 157574568 markings, 1285033958 edges, 131995 markings/sec, 1160 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes unknown yes yes yes yes unknown no no yes no unknown yes no
lola:
preliminary result: no yes yes unknown yes yes yes yes unknown no no yes no unknown yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes unknown yes yes yes yes unknown no no yes no unknown yes no
lola: memory consumption: 11620880 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 11620880 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes unknown yes yes yes yes unknown no no yes no unknown yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes unknown yes yes yes yes unknown no no yes no unknown yes no
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="GPPP-PT-C0100N0000001000"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is GPPP-PT-C0100N0000001000, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987816000508"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPPP-PT-C0100N0000001000.tgz
mv GPPP-PT-C0100N0000001000 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;