About the Execution of ITS-LoLa for GPPP-PT-C1000N0000000010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15788.100 | 3600000.00 | 3351319.00 | 51058.30 | ?FFFFFFFFTFF?FTF | 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-158987816000530.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-C1000N0000000010, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987816000530
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.4K Apr 4 20:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 20:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 4 09:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 09:15 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 25K 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 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 3 21:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 13:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K 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-C1000N0000000010-00
FORMULA_NAME GPPP-PT-C1000N0000000010-01
FORMULA_NAME GPPP-PT-C1000N0000000010-02
FORMULA_NAME GPPP-PT-C1000N0000000010-03
FORMULA_NAME GPPP-PT-C1000N0000000010-04
FORMULA_NAME GPPP-PT-C1000N0000000010-05
FORMULA_NAME GPPP-PT-C1000N0000000010-06
FORMULA_NAME GPPP-PT-C1000N0000000010-07
FORMULA_NAME GPPP-PT-C1000N0000000010-08
FORMULA_NAME GPPP-PT-C1000N0000000010-09
FORMULA_NAME GPPP-PT-C1000N0000000010-10
FORMULA_NAME GPPP-PT-C1000N0000000010-11
FORMULA_NAME GPPP-PT-C1000N0000000010-12
FORMULA_NAME GPPP-PT-C1000N0000000010-13
FORMULA_NAME GPPP-PT-C1000N0000000010-14
FORMULA_NAME GPPP-PT-C1000N0000000010-15
=== Now, execution of the tool begins
BK_START 1591487599460
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 23:53:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 23:53:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 23:53:22] [INFO ] Load time of PNML (sax parser for PT used): 46 ms
[2020-06-06 23:53:22] [INFO ] Transformed 33 places.
[2020-06-06 23:53:22] [INFO ] Transformed 22 transitions.
[2020-06-06 23:53:22] [INFO ] Parsed PT model containing 33 places and 22 transitions in 102 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 22 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100001 steps, including 229 resets, run finished after 225 ms. (steps per millisecond=444 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 22 rows 33 cols
[2020-06-06 23:53:22] [INFO ] Invariants computation overflowed in 5 ms
[2020-06-06 23:53:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 23:53:22] [INFO ] [Real]Absence check using state equation in 46 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-06 23:53:22] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-06 23:53:22] [INFO ] Flatten gal took : 38 ms
FORMULA GPPP-PT-C1000N0000000010-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C1000N0000000010-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C1000N0000000010-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-06 23:53:22] [INFO ] Flatten gal took : 12 ms
[2020-06-06 23:53:22] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2020-06-06 23:53:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ GPPP-PT-C1000N0000000010 @ 3570 seconds
FORMULA GPPP-PT-C1000N0000000010-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C1000N0000000010-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 202
rslt: Output for LTLFireability @ GPPP-PT-C1000N0000000010
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sat Jun 6 23:53:24 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 255
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X (F ((G ((F ((1 <= p17)) AND ((1 <= p21) OR (1 <= p17)))) AND (G (((p19 <= 0) OR (p22 <= 0))) OR (p24 <= 0)))))",
"processed_size": 113,
"rewrites": 102
},
"result":
{
"edges": 301,
"markings": 301,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 279
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 279
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "F (G (((1 <= p11) AND (1 <= p12) AND (7000 <= p31))))",
"processed_size": 53,
"rewrites": 102
},
"result":
{
"edges": 283,
"markings": 282,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 307
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (F (((1 <= p9) AND (1 <= p13))))",
"processed_size": 34,
"rewrites": 102
},
"result":
{
"edges": 27731,
"markings": 15377,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 307
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F ((G (((1 <= p18) AND (1 <= p19))) OR G (((1 <= p3) AND (1 <= p23))))))",
"processed_size": 75,
"rewrites": 102
},
"result":
{
"edges": 281,
"markings": 281,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 341
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 3,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X ((((p8 <= 0) OR (p30 <= 0)) R (X (G (((p18 <= 0) OR (p19 <= 0)))) R ((p18 <= 0) OR (p19 <= 0)))))",
"processed_size": 102,
"rewrites": 102
},
"result":
{
"edges": 302,
"markings": 301,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 383
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 383
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "F (G (((2 <= p4) AND (1 <= p15) AND (1 <= p28))))",
"processed_size": 49,
"rewrites": 102
},
"result":
{
"edges": 306,
"markings": 303,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 438
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X ((G ((p20 <= 0)) AND (1 <= p20)))",
"processed_size": 35,
"rewrites": 102
},
"result":
{
"edges": 281,
"markings": 281,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 438
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 2,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G (F (((F (G (((p5 <= 0) OR (p6 <= 0)))) AND F (((p1 <= 0) OR (p14 <= 0)))) OR X (((1 <= p1) AND (1 <= p14))))))",
"processed_size": 114,
"rewrites": 102
},
"result":
{
"edges": 299,
"markings": 289,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 526
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 526
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "(F (((1 <= p1) AND (1 <= p26))) U (p24 <= 0))",
"processed_size": 45,
"rewrites": 102
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 658
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F ((F (((1 <= p5) AND (1 <= p6))) AND ((p5 <= 0) OR (p6 <= 0))))",
"processed_size": 65,
"rewrites": 102
},
"result":
{
"edges": 86,
"markings": 86,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 877
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 877
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G ((2 <= p7))",
"processed_size": 13,
"rewrites": 102
},
"result":
{
"edges": 279,
"markings": 279,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1316
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p9 <= 0) OR (p13 <= 0))",
"processed_size": 26,
"rewrites": 104
},
"result":
{
"edges": 245,
"markings": 245,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1316
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1316
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p1) AND (1 <= p14))",
"processed_size": 26,
"rewrites": 104
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 8
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2633
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G (((p4 <= 1) OR (p15 <= 0) OR (p28 <= 0)))",
"processed_size": 45,
"rewrites": 102
},
"result":
{
"edges": 279,
"markings": 279,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2633
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2633
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((2 <= p7) OR ((1 <= p5) AND (1 <= p6)))",
"processed_size": 41,
"rewrites": 104
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((2 <= p7) OR ((1 <= p5) AND (1 <= p6)))",
"processed_size": 41,
"rewrites": 104
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (F (((1 <= p18) AND (1 <= p19))))",
"processed_size": 35,
"rewrites": 102
},
"result":
{
"edges": 20,
"markings": 20,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
}
],
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3160,
"runtime": 3367.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(((X(*) R *) OR (* OR (* OR *))))) : X(F((G((F(**) AND (** OR **))) AND (G(*) OR **)))) : (G(F(**)) AND F(*)) : (X(F(**)) OR F(G(**))) : (F(**) OR G(**)) : X(F((G(**) OR G(**)))) : X((* R (X(G(*)) R *))) : F((F(**) AND **)) : (F(G(**)) OR X((G(**) AND **))) : X(G(*)) : G(F(((F(G(*)) AND F(*)) OR X(**)))) : ((F(**) U **) OR ((X(**) U **) AND X(**))) : (F(**) AND G(*))"
},
"net":
{
"arcs": 83,
"conflict_clusters": 14,
"places": 33,
"places_significant": 21,
"singleton_clusters": 0,
"transitions": 22
},
"result":
{
"preliminary_value": "unknown no no no no no no no no unknown no yes no ",
"value": "unknown no no no no no no no no unknown no yes no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 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 LTLFireability.xml
lola: G (F (X (X (NOT(X (G (((((X ((1 <= p24)) U (1 <= p24)) AND (1 <= p11)) AND (1 <= p12)) AND (7000 <= p31))))))))) : X (F ((G (((1 <= p21) U (1 <= p17))) AND (NOT(F (((1 <= p19) AND (1 <= p22)))) OR (p24 <= 0))))) : (NOT(F (NOT(F ((NOT(G (X (((1 <= p18) AND (1 <= p19))))) U ((1 <= p18) AND (1 <= p19))))))) AND NOT(G (((2 <= p7) OR ((1 <= p5) AND (1 <= p6)))))) : (X (F (((1 <= p9) AND (1 <= p13)))) OR X (F (X (F (X (G (((1 <= p11) AND (1 <= p12) AND (7000 <= p31))))))))) : (F (((((2 <= p4) AND (1 <= p15) AND (1 <= p28)) U ((1 <= p9) AND (1 <= p13))) U (F ((2 <= p7)) U ((1 <= p9) AND (1 <= p13))))) OR G ((2 <= p7))) : F (NOT(X (G ((NOT(G (((1 <= p18) AND (1 <= p19)))) AND NOT(G (((1 <= p3) AND (1 <= p23))))))))) : X (NOT((((1 <= p8) AND (1 <= p30)) U (F (X (((1 <= p18) AND (1 <= p19)))) U ((1 <= p18) AND (1 <= p19)))))) : F ((F (((1 <= p5) AND (1 <= p6))) AND ((p5 <= 0) OR (p6 <= 0)))) : (F (G (((2 <= p4) AND (1 <= p15) AND (1 <= p28)))) OR X ((G ((p20 <= 0)) AND (1 <= p20)))) : NOT(X (F (((((p24 <= 0) U ((1 <= p9) AND (1 <= p13))) OR ((1 <= p9) AND (1 <= p13))) U F ((1 <= p24)))))) : G (NOT(G (NOT(F (((NOT(G (F (((1 <= p5) AND (1 <= p6))))) AND NOT(G (((1 <= p1) AND (1 <= p14))))) OR X (((1 <= p1) AND (1 <= p14))))))))) : ((F (((1 <= p1) AND (1 <= p26))) U (p24 <= 0)) OR ((X (((1 <= p1) AND (1 <= p26))) U ((1 <= p11) AND (1 <= p12) AND (7000 <= p31))) AND X (((1 <= p1) AND (1 <= p26))))) : (F (((p1 <= 0) OR (p14 <= 0))) AND NOT(F (((2 <= p4) AND (1 <= p15) AND (1 <= p28)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((X ((p24 <= 0)) R (p24 <= 0)) OR ((p11 <= 0) OR ((p12 <= 0) OR (p31 <= 6999))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((X ((p24 <= 0)) R (p24 <= 0)) OR ((p11 <= 0) OR ((p12 <= 0) OR (p31 <= 6999))))))
lola: processed formula length: 88
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 919377 markings, 5326356 edges, 183875 markings/sec, 0 secs
lola: 1764753 markings, 10665601 edges, 169075 markings/sec, 5 secs
lola: 2571600 markings, 15841870 edges, 161369 markings/sec, 10 secs
lola: 3355358 markings, 21048681 edges, 156752 markings/sec, 15 secs
lola: 4121743 markings, 26086610 edges, 153277 markings/sec, 20 secs
lola: 4886056 markings, 31184562 edges, 152863 markings/sec, 25 secs
lola: 5585742 markings, 36056274 edges, 139937 markings/sec, 30 secs
lola: 6329362 markings, 41085932 edges, 148724 markings/sec, 35 secs
lola: 7060789 markings, 46118514 edges, 146285 markings/sec, 40 secs
lola: 7790342 markings, 51214236 edges, 145911 markings/sec, 45 secs
lola: 8544957 markings, 56384923 edges, 150923 markings/sec, 50 secs
lola: 9242308 markings, 61377510 edges, 139470 markings/sec, 55 secs
lola: 10007739 markings, 66590922 edges, 153086 markings/sec, 60 secs
lola: 10709147 markings, 71606123 edges, 140282 markings/sec, 65 secs
lola: 11456242 markings, 76772403 edges, 149419 markings/sec, 70 secs
lola: 12165479 markings, 81818876 edges, 141847 markings/sec, 75 secs
lola: 12877257 markings, 86913472 edges, 142356 markings/sec, 80 secs
lola: 13611759 markings, 92009134 edges, 146900 markings/sec, 85 secs
lola: 14307533 markings, 97058968 edges, 139155 markings/sec, 90 secs
lola: 15062259 markings, 102227054 edges, 150945 markings/sec, 95 secs
lola: 15750654 markings, 107228121 edges, 137679 markings/sec, 100 secs
lola: 16489897 markings, 112368404 edges, 147849 markings/sec, 105 secs
lola: 17194661 markings, 117402412 edges, 140953 markings/sec, 110 secs
lola: 17877305 markings, 122390416 edges, 136529 markings/sec, 115 secs
lola: 18632246 markings, 127551938 edges, 150988 markings/sec, 120 secs
lola: 19287532 markings, 132314548 edges, 131057 markings/sec, 125 secs
lola: 19989333 markings, 137332939 edges, 140360 markings/sec, 130 secs
lola: 20666171 markings, 142078531 edges, 135368 markings/sec, 135 secs
lola: 21342515 markings, 146999750 edges, 135269 markings/sec, 140 secs
lola: 22084135 markings, 152096192 edges, 148324 markings/sec, 145 secs
lola: 22759634 markings, 157025128 edges, 135100 markings/sec, 150 secs
lola: 23445621 markings, 162006897 edges, 137197 markings/sec, 155 secs
lola: 24162975 markings, 166975571 edges, 143471 markings/sec, 160 secs
lola: 24835898 markings, 171917282 edges, 134585 markings/sec, 165 secs
lola: 25576687 markings, 177033370 edges, 148158 markings/sec, 170 secs
lola: 26260828 markings, 182020561 edges, 136828 markings/sec, 175 secs
lola: 26964618 markings, 187012700 edges, 140758 markings/sec, 180 secs
lola: 27648804 markings, 191894769 edges, 136837 markings/sec, 185 secs
lola: 28313897 markings, 196785712 edges, 133019 markings/sec, 190 secs
lola: 29037717 markings, 201796984 edges, 144764 markings/sec, 195 secs
lola: 29701692 markings, 206681121 edges, 132795 markings/sec, 200 secs
lola: 30430735 markings, 211751537 edges, 145809 markings/sec, 205 secs
lola: 31106561 markings, 216720423 edges, 135165 markings/sec, 210 secs
lola: 31843545 markings, 221859047 edges, 147397 markings/sec, 215 secs
lola: 32525927 markings, 226876638 edges, 136476 markings/sec, 220 secs
lola: 33253817 markings, 231976227 edges, 145578 markings/sec, 225 secs
lola: 33956335 markings, 237070969 edges, 140504 markings/sec, 230 secs
lola: 34671086 markings, 242138540 edges, 142950 markings/sec, 235 secs
lola: 35396687 markings, 247241639 edges, 145120 markings/sec, 240 secs
lola: 36125028 markings, 252355933 edges, 145668 markings/sec, 245 secs
lola: 36846143 markings, 257454914 edges, 144223 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5229408 KB
lola: time consumption: 499 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G ((F ((1 <= p17)) AND ((1 <= p21) OR (1 <= p17)))) AND (G (((p19 <= 0) OR (p22 <= 0))) OR (p24 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G ((F ((1 <= p17)) AND ((1 <= p21) OR (1 <= p17)))) AND (G (((p19 <= 0) OR (p22 <= 0))) OR (p24 <= 0)))))
lola: processed formula length: 113
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 301 markings, 301 edges
lola: ========================================
lola: subprocess 2 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F (((1 <= p9) AND (1 <= p13)))) OR F (G (((1 <= p11) AND (1 <= p12) AND (7000 <= p31)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p11) AND (1 <= p12) AND (7000 <= p31))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((1 <= p11) AND (1 <= p12) AND (7000 <= p31))))
lola: processed formula length: 53
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: add low 1
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 282 markings, 283 edges
lola: ========================================
lola: subprocess 3 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p9) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p9) AND (1 <= p13))))
lola: processed formula length: 34
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 15377 markings, 27731 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((1 <= p18) AND (1 <= p19))) OR G (((1 <= p3) AND (1 <= p23))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((1 <= p18) AND (1 <= p19))) OR G (((1 <= p3) AND (1 <= p23))))))
lola: processed formula length: 75
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 281 markings, 281 edges
lola: ========================================
lola: subprocess 4 will run for 341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((p8 <= 0) OR (p30 <= 0)) R (X (G (((p18 <= 0) OR (p19 <= 0)))) R ((p18 <= 0) OR (p19 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((p8 <= 0) OR (p30 <= 0)) R (X (G (((p18 <= 0) OR (p19 <= 0)))) R ((p18 <= 0) OR (p19 <= 0)))))
lola: processed formula length: 102
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 301 markings, 302 edges
lola: ========================================
lola: subprocess 5 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (G (((2 <= p4) AND (1 <= p15) AND (1 <= p28)))) OR X ((G ((p20 <= 0)) AND (1 <= p20))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 383 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((2 <= p4) AND (1 <= p15) AND (1 <= p28))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((2 <= p4) AND (1 <= p15) AND (1 <= p28))))
lola: processed formula length: 49
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 303 markings, 306 edges
lola: ========================================
lola: subprocess 6 will run for 438 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G ((p20 <= 0)) AND (1 <= p20)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G ((p20 <= 0)) AND (1 <= p20)))
lola: processed formula length: 35
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 281 markings, 281 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 438 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((p24 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((p24 <= 0)))
lola: processed formula length: 18
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 923352 markings, 5354249 edges, 184670 markings/sec, 0 secs
lola: 1803502 markings, 10879832 edges, 176030 markings/sec, 5 secs
lola: 2626129 markings, 16205857 edges, 164525 markings/sec, 10 secs
lola: 3429372 markings, 21567453 edges, 160649 markings/sec, 15 secs
lola: 4216683 markings, 26762808 edges, 157462 markings/sec, 20 secs
lola: 4993602 markings, 31919384 edges, 155384 markings/sec, 25 secs
lola: 5714640 markings, 36974604 edges, 144208 markings/sec, 30 secs
lola: 6487990 markings, 42227929 edges, 154670 markings/sec, 35 secs
lola: 7266447 markings, 47502388 edges, 155691 markings/sec, 40 secs
lola: 7978250 markings, 52594590 edges, 142361 markings/sec, 45 secs
lola: 8768972 markings, 57935284 edges, 158144 markings/sec, 50 secs
lola: 9476594 markings, 63044070 edges, 141524 markings/sec, 55 secs
lola: 10258730 markings, 68343458 edges, 156427 markings/sec, 60 secs
lola: 10956265 markings, 73416783 edges, 139507 markings/sec, 65 secs
lola: 11738114 markings, 78738989 edges, 156370 markings/sec, 70 secs
lola: 12436215 markings, 83804599 edges, 139620 markings/sec, 75 secs
lola: 13208506 markings, 89101574 edges, 154458 markings/sec, 80 secs
lola: 13916743 markings, 94200413 edges, 141647 markings/sec, 85 secs
lola: 14646529 markings, 99391306 edges, 145957 markings/sec, 90 secs
lola: 15386734 markings, 104563141 edges, 148041 markings/sec, 95 secs
lola: 16083814 markings, 109657085 edges, 139416 markings/sec, 100 secs
lola: 16836630 markings, 114807794 edges, 150563 markings/sec, 105 secs
lola: 17521689 markings, 119780202 edges, 137012 markings/sec, 110 secs
lola: 18195832 markings, 124575563 edges, 134829 markings/sec, 115 secs
lola: 18872823 markings, 129306485 edges, 135398 markings/sec, 120 secs
lola: 19495973 markings, 133842514 edges, 124630 markings/sec, 125 secs
lola: 20237568 markings, 138935737 edges, 148319 markings/sec, 130 secs
lola: 20882704 markings, 143632627 edges, 129027 markings/sec, 135 secs
lola: 21542542 markings, 148458373 edges, 131968 markings/sec, 140 secs
lola: 22260108 markings, 153380893 edges, 143513 markings/sec, 145 secs
lola: 22938864 markings, 158349064 edges, 135751 markings/sec, 150 secs
lola: 23670196 markings, 163424075 edges, 146266 markings/sec, 155 secs
lola: 24357704 markings, 168409750 edges, 137502 markings/sec, 160 secs
lola: 25053319 markings, 173493502 edges, 139123 markings/sec, 165 secs
lola: 25810790 markings, 178719230 edges, 151494 markings/sec, 170 secs
lola: 26508081 markings, 183839679 edges, 139458 markings/sec, 175 secs
lola: 27261371 markings, 189071340 edges, 150658 markings/sec, 180 secs
lola: 27958862 markings, 194173663 edges, 139498 markings/sec, 185 secs
lola: 28714078 markings, 199429089 edges, 151043 markings/sec, 190 secs
lola: 29405761 markings, 204502372 edges, 138337 markings/sec, 195 secs
lola: 30143136 markings, 209701105 edges, 147475 markings/sec, 200 secs
lola: 30844516 markings, 214789972 edges, 140276 markings/sec, 205 secs
lola: 31583875 markings, 219997450 edges, 147872 markings/sec, 210 secs
lola: 32282162 markings, 225091464 edges, 139657 markings/sec, 215 secs
lola: 33022901 markings, 230283101 edges, 148148 markings/sec, 220 secs
lola: 33711123 markings, 235348120 edges, 137644 markings/sec, 225 secs
lola: 34452997 markings, 240537630 edges, 148375 markings/sec, 230 secs
lola: 35114456 markings, 245231984 edges, 132292 markings/sec, 235 secs
lola: 35820593 markings, 250341456 edges, 141227 markings/sec, 240 secs
lola: 36566591 markings, 255586951 edges, 149200 markings/sec, 245 secs
lola: 37318208 markings, 260610817 edges, 150323 markings/sec, 250 secs
lola: 37982649 markings, 265317654 edges, 132888 markings/sec, 255 secs
lola: 38616378 markings, 269997369 edges, 126746 markings/sec, 260 secs
lola: 39238999 markings, 274662375 edges, 124524 markings/sec, 265 secs
lola: 39848043 markings, 279306569 edges, 121809 markings/sec, 270 secs
lola: 40458818 markings, 283982920 edges, 122155 markings/sec, 275 secs
lola: 41063436 markings, 288624909 edges, 120924 markings/sec, 280 secs
lola: 41669677 markings, 293295516 edges, 121248 markings/sec, 285 secs
lola: 42275684 markings, 297972928 edges, 121201 markings/sec, 290 secs
lola: 42881488 markings, 302652301 edges, 121161 markings/sec, 295 secs
lola: 43486438 markings, 307329553 edges, 120990 markings/sec, 300 secs
lola: 44088450 markings, 311991585 edges, 120402 markings/sec, 305 secs
lola: 44696880 markings, 316705757 edges, 121686 markings/sec, 310 secs
lola: 45306676 markings, 321444485 edges, 121959 markings/sec, 315 secs
lola: 45918755 markings, 326195808 edges, 122416 markings/sec, 320 secs
lola: 46525591 markings, 330933079 edges, 121367 markings/sec, 325 secs
lola: 47134680 markings, 335679029 edges, 121818 markings/sec, 330 secs
lola: 47747945 markings, 340452939 edges, 122653 markings/sec, 335 secs
lola: 48362819 markings, 345256197 edges, 122975 markings/sec, 340 secs
lola: 48982878 markings, 350109816 edges, 124012 markings/sec, 345 secs
lola: 49618635 markings, 355067861 edges, 127151 markings/sec, 350 secs
lola: 50285415 markings, 359788034 edges, 133356 markings/sec, 355 secs
lola: 50958793 markings, 364695280 edges, 134676 markings/sec, 360 secs
lola: 51628858 markings, 369616816 edges, 134013 markings/sec, 365 secs
lola: 52304080 markings, 374577835 edges, 135044 markings/sec, 370 secs
lola: 53011918 markings, 379619929 edges, 141568 markings/sec, 375 secs
lola: 53702509 markings, 384670920 edges, 138118 markings/sec, 380 secs
lola: 54405368 markings, 389766177 edges, 140572 markings/sec, 385 secs
lola: 55089678 markings, 394843211 edges, 136862 markings/sec, 390 secs
lola: 55810981 markings, 399629135 edges, 144261 markings/sec, 395 secs
lola: 56442736 markings, 404155857 edges, 126351 markings/sec, 400 secs
lola: 57056715 markings, 408672255 edges, 122796 markings/sec, 405 secs
lola: 57652232 markings, 413156956 edges, 119103 markings/sec, 410 secs
lola: 58236123 markings, 417613454 edges, 116778 markings/sec, 415 secs
lola: 58819562 markings, 422077997 edges, 116688 markings/sec, 420 secs
lola: 59401470 markings, 426550246 edges, 116382 markings/sec, 425 secs
lola: 59984201 markings, 431031049 edges, 116546 markings/sec, 430 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown no no unknown no unknown unknown unknown unknown
lola: memory consumption: 8558264 KB
lola: time consumption: 937 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 438 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((F (G (((p5 <= 0) OR (p6 <= 0)))) AND F (((p1 <= 0) OR (p14 <= 0)))) OR X (((1 <= p1) AND (1 <= p14))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((F (G (((p5 <= 0) OR (p6 <= 0)))) AND F (((p1 <= 0) OR (p14 <= 0)))) OR X (((1 <= p1) AND (1 <= p14))))))
lola: processed formula length: 114
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 289 markings, 299 edges
lola: ========================================
lola: subprocess 8 will run for 526 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((F (((1 <= p1) AND (1 <= p26))) U (p24 <= 0)) OR ((X (((1 <= p1) AND (1 <= p26))) U ((1 <= p11) AND (1 <= p12) AND (7000 <= p31))) AND X (((1 <= p1) AND (1 <= p26)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 526 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p1) AND (1 <= p26))) U (p24 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F (((1 <= p1) AND (1 <= p26))) U (p24 <= 0))
lola: processed formula length: 45
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: subprocess 9 will run for 658 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (((1 <= p5) AND (1 <= p6))) AND ((p5 <= 0) OR (p6 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (((1 <= p5) AND (1 <= p6))) AND ((p5 <= 0) OR (p6 <= 0))))
lola: processed formula length: 65
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 86 markings, 86 edges
lola: ========================================
lola: subprocess 10 will run for 877 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((1 <= p9) AND (1 <= p13))) OR G ((2 <= p7)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 877 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((2 <= p7))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((2 <= p7))
lola: processed formula length: 13
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 279 markings, 279 edges
lola: ========================================
lola: subprocess 11 will run for 1316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p9) AND (1 <= p13)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p9 <= 0) OR (p13 <= 0))
lola: processed formula length: 26
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 245 markings, 245 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 1316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((p1 <= 0) OR (p14 <= 0))) AND G (((p4 <= 1) OR (p15 <= 0) OR (p28 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 1316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((p1 <= 0) OR (p14 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p1) AND (1 <= p14))
lola: processed formula length: 26
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 2633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p4 <= 1) OR (p15 <= 0) OR (p28 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p4 <= 1) OR (p15 <= 0) OR (p28 <= 0)))
lola: processed formula length: 45
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 279 markings, 279 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 2633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F (((1 <= p18) AND (1 <= p19)))) AND F (((p7 <= 1) AND ((p5 <= 0) OR (p6 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 2633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((p7 <= 1) AND ((p5 <= 0) OR (p6 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((2 <= p7) OR ((1 <= p5) AND (1 <= p6)))
lola: processed formula length: 41
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F (((X ((p24 <= 0)) R (p24 <= 0)) OR ((p11 <= 0) OR ((p12 <= 0) OR (p31 <= 6999))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((X ((p24 <= 0)) R (p24 <= 0)) OR ((p11 <= 0) OR ((p12 <= 0) OR (p31 <= 6999))))))
lola: processed formula length: 88
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 931649 markings, 5410770 edges, 186330 markings/sec, 0 secs
lola: 1780387 markings, 10759576 edges, 169748 markings/sec, 5 secs
lola: 2585004 markings, 15933883 edges, 160923 markings/sec, 10 secs
lola: 3374303 markings, 21186805 edges, 157860 markings/sec, 15 secs
lola: 4154649 markings, 26322986 edges, 156069 markings/sec, 20 secs
lola: 4934534 markings, 31500195 edges, 155977 markings/sec, 25 secs
lola: 5646090 markings, 36510682 edges, 142311 markings/sec, 30 secs
lola: 6412810 markings, 41668739 edges, 153344 markings/sec, 35 secs
lola: 7167870 markings, 46830539 edges, 151012 markings/sec, 40 secs
lola: 7880286 markings, 51884548 edges, 142483 markings/sec, 45 secs
lola: 8645419 markings, 57093692 edges, 153027 markings/sec, 50 secs
lola: 9349168 markings, 62122422 edges, 140750 markings/sec, 55 secs
lola: 10117148 markings, 67351602 edges, 153596 markings/sec, 60 secs
lola: 10808457 markings, 72354947 edges, 138262 markings/sec, 65 secs
lola: 11566270 markings, 77546465 edges, 151563 markings/sec, 70 secs
lola: 12213974 markings, 82174419 edges, 129541 markings/sec, 75 secs
lola: 12922449 markings, 87208136 edges, 141695 markings/sec, 80 secs
lola: 13641380 markings, 92243717 edges, 143786 markings/sec, 85 secs
lola: 14328813 markings, 97228461 edges, 137487 markings/sec, 90 secs
lola: 15033777 markings, 102010111 edges, 140993 markings/sec, 95 secs
lola: 15709979 markings, 106917313 edges, 135240 markings/sec, 100 secs
lola: 16417145 markings, 111934497 edges, 141433 markings/sec, 105 secs
lola: 17127537 markings, 116905897 edges, 142078 markings/sec, 110 secs
lola: 17803386 markings, 121827316 edges, 135170 markings/sec, 115 secs
lola: 18555924 markings, 126992113 edges, 150508 markings/sec, 120 secs
lola: 19247776 markings, 132025382 edges, 138370 markings/sec, 125 secs
lola: 19954483 markings, 137094937 edges, 141341 markings/sec, 130 secs
lola: 20672279 markings, 142120644 edges, 143559 markings/sec, 135 secs
lola: 21369682 markings, 147192799 edges, 139481 markings/sec, 140 secs
lola: 22116253 markings, 152349608 edges, 149314 markings/sec, 145 secs
lola: 22808308 markings, 157377238 edges, 138411 markings/sec, 150 secs
lola: 23515015 markings, 162457260 edges, 141341 markings/sec, 155 secs
lola: 24226358 markings, 167440117 edges, 142269 markings/sec, 160 secs
lola: 24906071 markings, 172409610 edges, 135943 markings/sec, 165 secs
lola: 25650449 markings, 177550229 edges, 148876 markings/sec, 170 secs
lola: 26329148 markings, 182526443 edges, 135740 markings/sec, 175 secs
lola: 27058037 markings, 187614018 edges, 145778 markings/sec, 180 secs
lola: 27738628 markings, 192564792 edges, 136118 markings/sec, 185 secs
lola: 28419112 markings, 197542185 edges, 136097 markings/sec, 190 secs
lola: 29137686 markings, 202538756 edges, 143715 markings/sec, 195 secs
lola: 29810818 markings, 207481203 edges, 134626 markings/sec, 200 secs
lola: 30526710 markings, 212462237 edges, 143178 markings/sec, 205 secs
lola: 31193519 markings, 217360497 edges, 133362 markings/sec, 210 secs
lola: 31911434 markings, 222378638 edges, 143583 markings/sec, 215 secs
lola: 32580807 markings, 227277287 edges, 133875 markings/sec, 220 secs
lola: 33294898 markings, 232276381 edges, 142818 markings/sec, 225 secs
lola: 33994274 markings, 237298817 edges, 139875 markings/sec, 230 secs
lola: 34692768 markings, 242294099 edges, 139699 markings/sec, 235 secs
lola: 35413878 markings, 247363873 edges, 144222 markings/sec, 240 secs
lola: 36138492 markings, 252452550 edges, 144923 markings/sec, 245 secs
lola: 36866174 markings, 257586818 edges, 145536 markings/sec, 250 secs
lola: 37521204 markings, 262055239 edges, 131006 markings/sec, 255 secs
lola: 38144544 markings, 266551822 edges, 124668 markings/sec, 260 secs
lola: 38765234 markings, 271099704 edges, 124138 markings/sec, 265 secs
lola: 39354708 markings, 275563408 edges, 117895 markings/sec, 270 secs
lola: 39941789 markings, 280043724 edges, 117416 markings/sec, 275 secs
lola: 40534041 markings, 284581992 edges, 118450 markings/sec, 280 secs
lola: 41132881 markings, 289177650 edges, 119768 markings/sec, 285 secs
lola: 41731604 markings, 293786730 edges, 119745 markings/sec, 290 secs
lola: 42330177 markings, 298401512 edges, 119715 markings/sec, 295 secs
lola: 42930127 markings, 303036334 edges, 119990 markings/sec, 300 secs
lola: 43531864 markings, 307689667 edges, 120347 markings/sec, 305 secs
lola: 44129988 markings, 312322537 edges, 119625 markings/sec, 310 secs
lola: 44723378 markings, 316925719 edges, 118678 markings/sec, 315 secs
lola: 45325290 markings, 321590439 edges, 120382 markings/sec, 320 secs
lola: 45921214 markings, 326214456 edges, 119185 markings/sec, 325 secs
lola: 46520051 markings, 330890031 edges, 119767 markings/sec, 330 secs
lola: 47125018 markings, 335605452 edges, 120993 markings/sec, 335 secs
lola: 47729710 markings, 340310721 edges, 120938 markings/sec, 340 secs
lola: 48332912 markings, 345021634 edges, 120640 markings/sec, 345 secs
lola: 48941972 markings, 349783830 edges, 121812 markings/sec, 350 secs
lola: 49564425 markings, 354647121 edges, 124491 markings/sec, 355 secs
lola: 50251735 markings, 359534640 edges, 137462 markings/sec, 360 secs
lola: 50904164 markings, 364324890 edges, 130486 markings/sec, 365 secs
lola: 51558410 markings, 369124727 edges, 130849 markings/sec, 370 secs
lola: 52210215 markings, 373903715 edges, 130361 markings/sec, 375 secs
lola: 52884594 markings, 378802589 edges, 134876 markings/sec, 380 secs
lola: 53592277 markings, 383789886 edges, 141537 markings/sec, 385 secs
lola: 54258527 markings, 388684385 edges, 133250 markings/sec, 390 secs
lola: 54919469 markings, 393590066 edges, 132188 markings/sec, 395 secs
lola: 55598189 markings, 398167992 edges, 135744 markings/sec, 400 secs
lola: 56236857 markings, 402675785 edges, 127734 markings/sec, 405 secs
lola: 56849576 markings, 407162699 edges, 122544 markings/sec, 410 secs
lola: 57453196 markings, 411643494 edges, 120724 markings/sec, 415 secs
lola: 58037861 markings, 416057995 edges, 116933 markings/sec, 420 secs
lola: 58607869 markings, 420410450 edges, 114002 markings/sec, 425 secs
lola: 59182910 markings, 424809861 edges, 115008 markings/sec, 430 secs
lola: 59753478 markings, 429193916 edges, 114114 markings/sec, 435 secs
lola: 60322080 markings, 433587049 edges, 113720 markings/sec, 440 secs
lola: 60883238 markings, 437978273 edges, 112232 markings/sec, 445 secs
lola: 61451318 markings, 442409272 edges, 113616 markings/sec, 450 secs
lola: 62026670 markings, 446848508 edges, 115070 markings/sec, 455 secs
lola: 62600798 markings, 451298163 edges, 114826 markings/sec, 460 secs
lola: 63179233 markings, 455765328 edges, 115687 markings/sec, 465 secs
lola: 63759428 markings, 460264145 edges, 116039 markings/sec, 470 secs
lola: 64343210 markings, 464795591 edges, 116756 markings/sec, 475 secs
lola: 64930522 markings, 469367234 edges, 117462 markings/sec, 480 secs
lola: 65522346 markings, 473972460 edges, 118365 markings/sec, 485 secs
lola: 66116170 markings, 478606223 edges, 118765 markings/sec, 490 secs
lola: 66712396 markings, 483261248 edges, 119245 markings/sec, 495 secs
lola: 67306372 markings, 487907196 edges, 118795 markings/sec, 500 secs
lola: 67907770 markings, 492605374 edges, 120280 markings/sec, 505 secs
lola: 68486259 markings, 497213745 edges, 115698 markings/sec, 510 secs
lola: 69029440 markings, 501725111 edges, 108636 markings/sec, 515 secs
lola: 69580723 markings, 506305880 edges, 110257 markings/sec, 520 secs
lola: 70125458 markings, 510865733 edges, 108947 markings/sec, 525 secs
lola: 70682098 markings, 515493832 edges, 111328 markings/sec, 530 secs
lola: 71251581 markings, 520190471 edges, 113897 markings/sec, 535 secs
lola: 71859578 markings, 524976898 edges, 121599 markings/sec, 540 secs
lola: 72507277 markings, 529913015 edges, 129540 markings/sec, 545 secs
lola: 73202135 markings, 534934046 edges, 138972 markings/sec, 550 secs
lola: 73882780 markings, 539926231 edges, 136129 markings/sec, 555 secs
lola: 74550188 markings, 544827693 edges, 133482 markings/sec, 560 secs
lola: 75224156 markings, 549778390 edges, 134794 markings/sec, 565 secs
lola: 75931597 markings, 554786053 edges, 141488 markings/sec, 570 secs
lola: 76544144 markings, 559363359 edges, 122509 markings/sec, 575 secs
lola: 77214065 markings, 564323512 edges, 133984 markings/sec, 580 secs
lola: 77885521 markings, 569288521 edges, 134291 markings/sec, 585 secs
lola: 78571832 markings, 574115059 edges, 137262 markings/sec, 590 secs
lola: 79211553 markings, 578554759 edges, 127944 markings/sec, 595 secs
lola: 79808168 markings, 582886859 edges, 119323 markings/sec, 600 secs
lola: 80377341 markings, 587171282 edges, 113835 markings/sec, 605 secs
lola: 80943622 markings, 591454202 edges, 113256 markings/sec, 610 secs
lola: 81504223 markings, 595699142 edges, 112120 markings/sec, 615 secs
lola: 82058995 markings, 599956042 edges, 110954 markings/sec, 620 secs
lola: 82608441 markings, 604187001 edges, 109889 markings/sec, 625 secs
lola: 83157828 markings, 608412520 edges, 109877 markings/sec, 630 secs
lola: 83715283 markings, 612692238 edges, 111491 markings/sec, 635 secs
lola: 84267537 markings, 616950194 edges, 110451 markings/sec, 640 secs
lola: 84819102 markings, 621205955 edges, 110313 markings/sec, 645 secs
lola: 85358982 markings, 625428801 edges, 107976 markings/sec, 650 secs
lola: 85897421 markings, 629658276 edges, 107688 markings/sec, 655 secs
lola: 86455477 markings, 633964388 edges, 111611 markings/sec, 660 secs
lola: 87012101 markings, 638276975 edges, 111325 markings/sec, 665 secs
lola: 87572193 markings, 642618604 edges, 112018 markings/sec, 670 secs
lola: 88135254 markings, 646996210 edges, 112612 markings/sec, 675 secs
lola: 88702407 markings, 651407756 edges, 113431 markings/sec, 680 secs
lola: 89268962 markings, 655825062 edges, 113311 markings/sec, 685 secs
lola: 89837748 markings, 660260039 edges, 113757 markings/sec, 690 secs
lola: 90403558 markings, 664679413 edges, 113162 markings/sec, 695 secs
lola: 90973479 markings, 669127313 edges, 113984 markings/sec, 700 secs
lola: 91535113 markings, 673570963 edges, 112327 markings/sec, 705 secs
lola: 92058703 markings, 677908977 edges, 104718 markings/sec, 710 secs
lola: 92582012 markings, 682290105 edges, 104662 markings/sec, 715 secs
lola: 93112442 markings, 686691466 edges, 106086 markings/sec, 720 secs
lola: 93639196 markings, 691103567 edges, 105351 markings/sec, 725 secs
lola: 94185258 markings, 695636278 edges, 109212 markings/sec, 730 secs
lola: 94757558 markings, 700177678 edges, 114460 markings/sec, 735 secs
lola: 95335616 markings, 704784944 edges, 115612 markings/sec, 740 secs
lola: 95923637 markings, 709500231 edges, 117604 markings/sec, 745 secs
lola: 96485770 markings, 714170436 edges, 112427 markings/sec, 750 secs
lola: 97050667 markings, 718870800 edges, 112979 markings/sec, 755 secs
lola: 97612507 markings, 723536901 edges, 112368 markings/sec, 760 secs
lola: 98173248 markings, 728237216 edges, 112148 markings/sec, 765 secs
lola: 98760304 markings, 733017058 edges, 117411 markings/sec, 770 secs
lola: 99355945 markings, 737771660 edges, 119128 markings/sec, 775 secs
lola: 99981348 markings, 742633226 edges, 125081 markings/sec, 780 secs
lola: 100669349 markings, 747597437 edges, 137600 markings/sec, 785 secs
lola: 101341296 markings, 752533453 edges, 134389 markings/sec, 790 secs
lola: 102013259 markings, 757454957 edges, 134393 markings/sec, 795 secs
lola: 102690751 markings, 762406427 edges, 135498 markings/sec, 800 secs
lola: 103394155 markings, 767420400 edges, 140681 markings/sec, 805 secs
lola: 104036013 markings, 772260199 edges, 128372 markings/sec, 810 secs
lola: 104661874 markings, 777105509 edges, 125172 markings/sec, 815 secs
lola: 105347596 markings, 782053444 edges, 137144 markings/sec, 820 secs
lola: 105989394 markings, 786947552 edges, 128360 markings/sec, 825 secs
lola: 106681651 markings, 791566689 edges, 138451 markings/sec, 830 secs
lola: 107291417 markings, 795872465 edges, 121953 markings/sec, 835 secs
lola: 107859318 markings, 800107741 edges, 113580 markings/sec, 840 secs
lola: 108438786 markings, 804390365 edges, 115894 markings/sec, 845 secs
lola: 108994965 markings, 808585915 edges, 111236 markings/sec, 850 secs
lola: 109544674 markings, 812782191 edges, 109942 markings/sec, 855 secs
lola: 110091420 markings, 816965050 edges, 109349 markings/sec, 860 secs
lola: 110629765 markings, 821107945 edges, 107669 markings/sec, 865 secs
lola: 111157203 markings, 825237452 edges, 105488 markings/sec, 870 secs
lola: 111696971 markings, 829410605 edges, 107954 markings/sec, 875 secs
lola: 112230434 markings, 833521060 edges, 106693 markings/sec, 880 secs
lola: 112745538 markings, 837484012 edges, 103021 markings/sec, 885 secs
lola: 113288370 markings, 841678711 edges, 108566 markings/sec, 890 secs
lola: 113815616 markings, 845856152 edges, 105449 markings/sec, 895 secs
lola: 114360295 markings, 850074933 edges, 108936 markings/sec, 900 secs
lola: 114876682 markings, 854070340 edges, 103277 markings/sec, 905 secs
lola: 115428333 markings, 858339488 edges, 110330 markings/sec, 910 secs
lola: 115980143 markings, 862629953 edges, 110362 markings/sec, 915 secs
lola: 116538913 markings, 866972466 edges, 111754 markings/sec, 920 secs
lola: 117095851 markings, 871316086 edges, 111388 markings/sec, 925 secs
lola: 117647299 markings, 875610548 edges, 110290 markings/sec, 930 secs
lola: 118199868 markings, 879924877 edges, 110514 markings/sec, 935 secs
lola: 118747818 markings, 884200940 edges, 109590 markings/sec, 940 secs
lola: 119243192 markings, 888095872 edges, 99075 markings/sec, 945 secs
lola: 119745546 markings, 892231996 edges, 100471 markings/sec, 950 secs
lola: 120246963 markings, 896412011 edges, 100283 markings/sec, 955 secs
lola: 120753388 markings, 900623441 edges, 101285 markings/sec, 960 secs
lola: 121252356 markings, 904798460 edges, 99794 markings/sec, 965 secs
lola: 121764366 markings, 909059677 edges, 102402 markings/sec, 970 secs
lola: 122296184 markings, 913382803 edges, 106364 markings/sec, 975 secs
lola: 122852479 markings, 917781145 edges, 111259 markings/sec, 980 secs
lola: 123415869 markings, 922244580 edges, 112678 markings/sec, 985 secs
lola: 123960981 markings, 926728386 edges, 109022 markings/sec, 990 secs
lola: 124502471 markings, 931228843 edges, 108298 markings/sec, 995 secs
lola: 125044403 markings, 935727377 edges, 108386 markings/sec, 1000 secs
lola: 125580407 markings, 940216182 edges, 107201 markings/sec, 1005 secs
lola: 126125426 markings, 944742249 edges, 109004 markings/sec, 1010 secs
lola: 126685711 markings, 949290705 edges, 112057 markings/sec, 1015 secs
lola: 127254644 markings, 953830303 edges, 113787 markings/sec, 1020 secs
lola: 127831289 markings, 958428766 edges, 115329 markings/sec, 1025 secs
lola: 128384736 markings, 962976014 edges, 110689 markings/sec, 1030 secs
lola: 128929923 markings, 967503476 edges, 109037 markings/sec, 1035 secs
lola: 129479412 markings, 972067442 edges, 109898 markings/sec, 1040 secs
lola: 130020337 markings, 976601030 edges, 108185 markings/sec, 1045 secs
lola: 130575642 markings, 981211455 edges, 111061 markings/sec, 1050 secs
lola: 131146039 markings, 985821726 edges, 114079 markings/sec, 1055 secs
lola: 131725226 markings, 990473998 edges, 115837 markings/sec, 1060 secs
lola: 132333203 markings, 995214681 edges, 121595 markings/sec, 1065 secs
lola: 132987843 markings, 999930849 edges, 130928 markings/sec, 1070 secs
lola: 133584309 markings, 1004298352 edges, 119293 markings/sec, 1075 secs
lola: 134226494 markings, 1009011811 edges, 128437 markings/sec, 1080 secs
lola: 134868922 markings, 1013723404 edges, 128486 markings/sec, 1085 secs
lola: 135542215 markings, 1018549294 edges, 134659 markings/sec, 1090 secs
lola: 136193894 markings, 1023353382 edges, 130336 markings/sec, 1095 secs
lola: 136765080 markings, 1027758003 edges, 114237 markings/sec, 1100 secs
lola: 137418886 markings, 1032567359 edges, 130761 markings/sec, 1105 secs
lola: 138061380 markings, 1037350273 edges, 128499 markings/sec, 1110 secs
lola: 138623266 markings, 1041595735 edges, 112377 markings/sec, 1115 secs
lola: 138827463 markings, 1042908588 edges, 40839 markings/sec, 1120 secs
lola: 139012204 markings, 1044145735 edges, 36948 markings/sec, 1125 secs
lola: 139184548 markings, 1045357005 edges, 34469 markings/sec, 1130 secs
lola: 139328995 markings, 1046365363 edges, 28889 markings/sec, 1135 secs
lola: 139533233 markings, 1047786689 edges, 40848 markings/sec, 1140 secs
lola: 139746405 markings, 1049317088 edges, 42634 markings/sec, 1145 secs
lola: 139950524 markings, 1050849904 edges, 40824 markings/sec, 1150 secs
lola: 140150248 markings, 1052264915 edges, 39945 markings/sec, 1155 secs
lola: 140356951 markings, 1053851699 edges, 41341 markings/sec, 1160 secs
lola: 140609493 markings, 1055685363 edges, 50508 markings/sec, 1165 secs
lola: 140848450 markings, 1057503264 edges, 47791 markings/sec, 1170 secs
lola: 141055063 markings, 1059038450 edges, 41323 markings/sec, 1175 secs
lola: 141297950 markings, 1060917492 edges, 48577 markings/sec, 1180 secs
lola: 141365165 markings, 1061388589 edges, 13443 markings/sec, 1185 secs
lola: 141474756 markings, 1062206511 edges, 21918 markings/sec, 1190 secs
lola: 141544075 markings, 1062742612 edges, 13864 markings/sec, 1195 secs
lola: 141616975 markings, 1063308895 edges, 14580 markings/sec, 1200 secs
lola: 141695877 markings, 1063927843 edges, 15780 markings/sec, 1205 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (G ((p24 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((p24 <= 0)))
lola: processed formula length: 18
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 968807 markings, 5627079 edges, 193761 markings/sec, 0 secs
lola: 1841217 markings, 11099811 edges, 174482 markings/sec, 5 secs
lola: 2652574 markings, 16380852 edges, 162271 markings/sec, 10 secs
lola: 3395544 markings, 21342643 edges, 148594 markings/sec, 15 secs
lola: 4180128 markings, 26507551 edges, 156917 markings/sec, 20 secs
lola: 4963219 markings, 31699383 edges, 156618 markings/sec, 25 secs
lola: 5665557 markings, 36661840 edges, 140468 markings/sec, 30 secs
lola: 6435544 markings, 41835847 edges, 153997 markings/sec, 35 secs
lola: 7196696 markings, 47023330 edges, 152230 markings/sec, 40 secs
lola: 7905328 markings, 52072156 edges, 141726 markings/sec, 45 secs
lola: 8680119 markings, 57319302 edges, 154958 markings/sec, 50 secs
lola: 9383228 markings, 62374515 edges, 140622 markings/sec, 55 secs
lola: 10158893 markings, 67655850 edges, 155133 markings/sec, 60 secs
lola: 10862317 markings, 72722130 edges, 140685 markings/sec, 65 secs
lola: 11629159 markings, 77968390 edges, 153368 markings/sec, 70 secs
lola: 12334620 markings, 83048994 edges, 141092 markings/sec, 75 secs
lola: 13089221 markings, 88289589 edges, 150920 markings/sec, 80 secs
lola: 13804469 markings, 93397416 edges, 143050 markings/sec, 85 secs
lola: 14499708 markings, 98474317 edges, 139048 markings/sec, 90 secs
lola: 15262646 markings, 103668454 edges, 152588 markings/sec, 95 secs
lola: 15955861 markings, 108705615 edges, 138643 markings/sec, 100 secs
lola: 16707541 markings, 113884289 edges, 150336 markings/sec, 105 secs
lola: 17398923 markings, 118894348 edges, 138276 markings/sec, 110 secs
lola: 18097648 markings, 123932407 edges, 139745 markings/sec, 115 secs
lola: 18834313 markings, 129022356 edges, 147333 markings/sec, 120 secs
lola: 19517153 markings, 134010789 edges, 136568 markings/sec, 125 secs
lola: 20270987 markings, 139184823 edges, 150767 markings/sec, 130 secs
lola: 20957681 markings, 144184622 edges, 137339 markings/sec, 135 secs
lola: 21646678 markings, 149222956 edges, 137799 markings/sec, 140 secs
lola: 22389267 markings, 154315174 edges, 148518 markings/sec, 145 secs
lola: 23072398 markings, 159310389 edges, 136626 markings/sec, 150 secs
lola: 23816842 markings, 164455350 edges, 148889 markings/sec, 155 secs
lola: 24499985 markings, 169441008 edges, 136629 markings/sec, 160 secs
lola: 25199482 markings, 174499781 edges, 139899 markings/sec, 165 secs
lola: 25916936 markings, 179520119 edges, 143491 markings/sec, 170 secs
lola: 26603281 markings, 184532760 edges, 137269 markings/sec, 175 secs
lola: 27342108 markings, 189656303 edges, 147765 markings/sec, 180 secs
lola: 28018774 markings, 194633745 edges, 135333 markings/sec, 185 secs
lola: 28774118 markings, 199871169 edges, 151069 markings/sec, 190 secs
lola: 29455582 markings, 204882104 edges, 136293 markings/sec, 195 secs
lola: 30204503 markings, 210105311 edges, 149784 markings/sec, 200 secs
lola: 30892705 markings, 215151701 edges, 137640 markings/sec, 205 secs
lola: 31643650 markings, 220396213 edges, 150189 markings/sec, 210 secs
lola: 32334534 markings, 225486884 edges, 138177 markings/sec, 215 secs
lola: 33082603 markings, 230726689 edges, 149614 markings/sec, 220 secs
lola: 33780766 markings, 235848768 edges, 139633 markings/sec, 225 secs
lola: 34522947 markings, 241064039 edges, 148436 markings/sec, 230 secs
lola: 35267516 markings, 246291622 edges, 148914 markings/sec, 235 secs
lola: 35989554 markings, 251480205 edges, 144408 markings/sec, 240 secs
lola: 36719658 markings, 256690915 edges, 146021 markings/sec, 245 secs
lola: 37460552 markings, 261605861 edges, 148179 markings/sec, 250 secs
lola: 38106232 markings, 266248110 edges, 129136 markings/sec, 255 secs
lola: 38738902 markings, 270897951 edges, 126534 markings/sec, 260 secs
lola: 39347217 markings, 275501843 edges, 121663 markings/sec, 265 secs
lola: 39938655 markings, 280019890 edges, 118288 markings/sec, 270 secs
lola: 40535019 markings, 284590141 edges, 119273 markings/sec, 275 secs
lola: 41133504 markings, 289182760 edges, 119697 markings/sec, 280 secs
lola: 41729769 markings, 293771707 edges, 119253 markings/sec, 285 secs
lola: 42330572 markings, 298405028 edges, 120161 markings/sec, 290 secs
lola: 42930655 markings, 303040182 edges, 120017 markings/sec, 295 secs
lola: 43530771 markings, 307681443 edges, 120023 markings/sec, 300 secs
lola: 44128064 markings, 312307714 edges, 119459 markings/sec, 305 secs
lola: 44727231 markings, 316952143 edges, 119833 markings/sec, 310 secs
lola: 45332012 markings, 321640843 edges, 120956 markings/sec, 315 secs
lola: 45940235 markings, 326368598 edges, 121645 markings/sec, 320 secs
lola: 46553252 markings, 331139492 edges, 122603 markings/sec, 325 secs
lola: 47171394 markings, 335955574 edges, 123628 markings/sec, 330 secs
lola: 47793292 markings, 340814916 edges, 124380 markings/sec, 335 secs
lola: 48416712 markings, 345684600 edges, 124684 markings/sec, 340 secs
lola: 49041332 markings, 350577482 edges, 124924 markings/sec, 345 secs
lola: 49705773 markings, 355631157 edges, 132888 markings/sec, 350 secs
lola: 50398989 markings, 360604617 edges, 138643 markings/sec, 355 secs
lola: 51071763 markings, 365544389 edges, 134555 markings/sec, 360 secs
lola: 51746321 markings, 370500208 edges, 134912 markings/sec, 365 secs
lola: 52426524 markings, 375490850 edges, 136041 markings/sec, 370 secs
lola: 53144924 markings, 380588371 edges, 143680 markings/sec, 375 secs
lola: 53823228 markings, 385628616 edges, 135661 markings/sec, 380 secs
lola: 54536056 markings, 390703897 edges, 142566 markings/sec, 385 secs
lola: 55231500 markings, 395708436 edges, 139089 markings/sec, 390 secs
lola: 55916065 markings, 400403844 edges, 136913 markings/sec, 395 secs
lola: 56542562 markings, 404894883 edges, 125299 markings/sec, 400 secs
lola: 57156763 markings, 409425441 edges, 122840 markings/sec, 405 secs
lola: 57747270 markings, 413918696 edges, 118101 markings/sec, 410 secs
lola: 58334769 markings, 418400480 edges, 117500 markings/sec, 415 secs
lola: 58921104 markings, 422886074 edges, 117267 markings/sec, 420 secs
lola: 59507687 markings, 427384738 edges, 117317 markings/sec, 425 secs
lola: 60090807 markings, 431869050 edges, 116624 markings/sec, 430 secs
lola: 60678831 markings, 436398677 edges, 117605 markings/sec, 435 secs
lola: 61263634 markings, 440920917 edges, 116961 markings/sec, 440 secs
lola: 61849970 markings, 445448869 edges, 117267 markings/sec, 445 secs
lola: 62433168 markings, 449959206 edges, 116640 markings/sec, 450 secs
lola: 63018557 markings, 454500272 edges, 117078 markings/sec, 455 secs
lola: 63604575 markings, 459052175 edges, 117204 markings/sec, 460 secs
lola: 64185565 markings, 463623948 edges, 116198 markings/sec, 465 secs
lola: 64773489 markings, 468229218 edges, 117585 markings/sec, 470 secs
lola: 65371650 markings, 472882093 edges, 119632 markings/sec, 475 secs
lola: 65977235 markings, 477602659 edges, 121117 markings/sec, 480 secs
lola: 66590664 markings, 482344468 edges, 122686 markings/sec, 485 secs
lola: 67206254 markings, 487110818 edges, 123118 markings/sec, 490 secs
lola: 67815263 markings, 491867107 edges, 121802 markings/sec, 495 secs
lola: 68409741 markings, 496575898 edges, 118896 markings/sec, 500 secs
lola: 68963485 markings, 501161597 edges, 110749 markings/sec, 505 secs
lola: 69516047 markings, 505760247 edges, 110512 markings/sec, 510 secs
lola: 70067127 markings, 510368774 edges, 110216 markings/sec, 515 secs
lola: 70629784 markings, 515044519 edges, 112531 markings/sec, 520 secs
lola: 71190317 markings, 519745273 edges, 112107 markings/sec, 525 secs
lola: 71801404 markings, 524570067 edges, 122217 markings/sec, 530 secs
lola: 72447737 markings, 529488191 edges, 129267 markings/sec, 535 secs
lola: 73142556 markings, 534516405 edges, 138964 markings/sec, 540 secs
lola: 73833571 markings, 539562381 edges, 138203 markings/sec, 545 secs
lola: 74516029 markings, 544570978 edges, 136492 markings/sec, 550 secs
lola: 75203441 markings, 549622510 edges, 137482 markings/sec, 555 secs
lola: 75918200 markings, 554701764 edges, 142952 markings/sec, 560 secs
lola: 76570197 markings, 559569059 edges, 130399 markings/sec, 565 secs
lola: 77250119 markings, 564577529 edges, 135984 markings/sec, 570 secs
lola: 77917685 markings, 569544109 edges, 133513 markings/sec, 575 secs
lola: 78618726 markings, 574411029 edges, 140208 markings/sec, 580 secs
lola: 79251534 markings, 578849612 edges, 126562 markings/sec, 585 secs
lola: 79850193 markings, 583207426 edges, 119732 markings/sec, 590 secs
lola: 80420839 markings, 587508819 edges, 114129 markings/sec, 595 secs
lola: 80998733 markings, 591837420 edges, 115579 markings/sec, 600 secs
lola: 81569976 markings, 596161419 edges, 114249 markings/sec, 605 secs
lola: 82130735 markings, 600455416 edges, 112152 markings/sec, 610 secs
lola: 82676165 markings, 604690484 edges, 109086 markings/sec, 615 secs
lola: 83225763 markings, 608947334 edges, 109920 markings/sec, 620 secs
lola: 83785177 markings, 613246639 edges, 111883 markings/sec, 625 secs
lola: 84340136 markings, 617527165 edges, 110992 markings/sec, 630 secs
lola: 84894179 markings, 621801917 edges, 110809 markings/sec, 635 secs
lola: 85448089 markings, 626082050 edges, 110782 markings/sec, 640 secs
lola: 85984171 markings, 630314176 edges, 107216 markings/sec, 645 secs
lola: 86536221 markings, 634609128 edges, 110410 markings/sec, 650 secs
lola: 87091187 markings, 638913423 edges, 110993 markings/sec, 655 secs
lola: 87655245 markings, 643281280 edges, 112812 markings/sec, 660 secs
lola: 88220860 markings, 647676623 edges, 113123 markings/sec, 665 secs
lola: 88788164 markings, 652094743 edges, 113461 markings/sec, 670 secs
lola: 89355932 markings, 656518624 edges, 113554 markings/sec, 675 secs
lola: 89925495 markings, 660967555 edges, 113913 markings/sec, 680 secs
lola: 90498872 markings, 665442111 edges, 114675 markings/sec, 685 secs
lola: 91082089 markings, 669986743 edges, 116643 markings/sec, 690 secs
lola: 91635431 markings, 674422819 edges, 110668 markings/sec, 695 secs
lola: 92162133 markings, 678790312 edges, 105340 markings/sec, 700 secs
lola: 92697299 markings, 683235394 edges, 107033 markings/sec, 705 secs
lola: 93225140 markings, 687653248 edges, 105568 markings/sec, 710 secs
lola: 93767663 markings, 692155874 edges, 108505 markings/sec, 715 secs
lola: 94312974 markings, 696723521 edges, 109062 markings/sec, 720 secs
lola: 94893636 markings, 701327319 edges, 116132 markings/sec, 725 secs
lola: 95499061 markings, 706045381 edges, 121085 markings/sec, 730 secs
lola: 96074736 markings, 710748853 edges, 115135 markings/sec, 735 secs
lola: 96642038 markings, 715465416 edges, 113460 markings/sec, 740 secs
lola: 97211413 markings, 720198887 edges, 113875 markings/sec, 745 secs
lola: 97776781 markings, 724939908 edges, 113074 markings/sec, 750 secs
lola: 98354583 markings, 729741851 edges, 115560 markings/sec, 755 secs
lola: 98953307 markings, 734535417 edges, 119745 markings/sec, 760 secs
lola: 99556215 markings, 739357087 edges, 120582 markings/sec, 765 secs
lola: 100225784 markings, 744380653 edges, 133914 markings/sec, 770 secs
lola: 100914340 markings, 749402758 edges, 137711 markings/sec, 775 secs
lola: 101604026 markings, 754434690 edges, 137937 markings/sec, 780 secs
lola: 102285286 markings, 759436297 edges, 136252 markings/sec, 785 secs
lola: 102973252 markings, 764492529 edges, 137593 markings/sec, 790 secs
lola: 103682820 markings, 769532881 edges, 141914 markings/sec, 795 secs
lola: 104317138 markings, 774404763 edges, 126864 markings/sec, 800 secs
lola: 104998796 markings, 779436170 edges, 136332 markings/sec, 805 secs
lola: 105667031 markings, 784419794 edges, 133647 markings/sec, 810 secs
lola: 106360117 markings, 789357935 edges, 138617 markings/sec, 815 secs
lola: 107007327 markings, 793833362 edges, 129442 markings/sec, 820 secs
lola: 107600008 markings, 798131655 edges, 118536 markings/sec, 825 secs
lola: 108176981 markings, 802436885 edges, 115395 markings/sec, 830 secs
lola: 108737789 markings, 806699734 edges, 112162 markings/sec, 835 secs
lola: 109295403 markings, 810954069 edges, 111523 markings/sec, 840 secs
lola: 109854993 markings, 815225768 edges, 111918 markings/sec, 845 secs
lola: 110407162 markings, 819454565 edges, 110434 markings/sec, 850 secs
lola: 110957165 markings, 823674977 edges, 110001 markings/sec, 855 secs
lola: 111510286 markings, 827929869 edges, 110624 markings/sec, 860 secs
lola: 112055096 markings, 832128441 edges, 108962 markings/sec, 865 secs
lola: 112598703 markings, 836322088 edges, 108721 markings/sec, 870 secs
lola: 113126866 markings, 840516877 edges, 105633 markings/sec, 875 secs
lola: 113623701 markings, 844347182 edges, 99367 markings/sec, 880 secs
lola: 113862768 markings, 846190353 edges, 47813 markings/sec, 885 secs
lola: 114403894 markings, 850430033 edges, 108225 markings/sec, 890 secs
lola: 114960822 markings, 854733960 edges, 111386 markings/sec, 895 secs
lola: 115522132 markings, 859095268 edges, 112262 markings/sec, 900 secs
lola: 116027856 markings, 863014240 edges, 101145 markings/sec, 905 secs
lola: 116584470 markings, 867341573 edges, 111323 markings/sec, 910 secs
lola: 117136790 markings, 871637377 edges, 110464 markings/sec, 915 secs
lola: 117691699 markings, 875962969 edges, 110982 markings/sec, 920 secs
lola: 118216930 markings, 880060559 edges, 105046 markings/sec, 925 secs
lola: 118773404 markings, 884401689 edges, 111295 markings/sec, 930 secs
lola: 119291294 markings, 888480118 edges, 103578 markings/sec, 935 secs
lola: 119782759 markings, 892549765 edges, 98293 markings/sec, 940 secs
lola: 120286233 markings, 896722939 edges, 100695 markings/sec, 945 secs
lola: 120779896 markings, 900851982 edges, 98733 markings/sec, 950 secs
lola: 121276733 markings, 905003595 edges, 99367 markings/sec, 955 secs
lola: 121788906 markings, 909249565 edges, 102435 markings/sec, 960 secs
lola: 122287880 markings, 913312358 edges, 99795 markings/sec, 965 secs
lola: 122851916 markings, 917776073 edges, 112807 markings/sec, 970 secs
lola: 123423329 markings, 922309569 edges, 114283 markings/sec, 975 secs
lola: 123975950 markings, 926843912 edges, 110524 markings/sec, 980 secs
lola: 124481847 markings, 931052607 edges, 101179 markings/sec, 985 secs
lola: 125032921 markings, 935631074 edges, 110215 markings/sec, 990 secs
lola: 125577804 markings, 940193520 edges, 108977 markings/sec, 995 secs
lola: 126130743 markings, 944787678 edges, 110588 markings/sec, 1000 secs
lola: 126697866 markings, 949378811 edges, 113425 markings/sec, 1005 secs
lola: 127239434 markings, 953718526 edges, 108314 markings/sec, 1010 secs
lola: 127820509 markings, 958350550 edges, 116215 markings/sec, 1015 secs
lola: 128350629 markings, 962688484 edges, 106024 markings/sec, 1020 secs
lola: 128886780 markings, 967135895 edges, 107230 markings/sec, 1025 secs
lola: 129438985 markings, 971735912 edges, 110441 markings/sec, 1030 secs
lola: 130057432 markings, 976915818 edges, 123689 markings/sec, 1035 secs
lola: 130620754 markings, 981595824 edges, 112664 markings/sec, 1040 secs
lola: 131197683 markings, 986260591 edges, 115386 markings/sec, 1045 secs
lola: 131788550 markings, 990983128 edges, 118173 markings/sec, 1050 secs
lola: 132413523 markings, 995777088 edges, 124995 markings/sec, 1055 secs
lola: 133072413 markings, 1000565572 edges, 131778 markings/sec, 1060 secs
lola: 133733093 markings, 1005383311 edges, 132136 markings/sec, 1065 secs
lola: 134385080 markings, 1010167206 edges, 130397 markings/sec, 1070 secs
lola: 135041411 markings, 1014980866 edges, 131266 markings/sec, 1075 secs
lola: 135729948 markings, 1019872025 edges, 137707 markings/sec, 1080 secs
lola: 136360236 markings, 1024664644 edges, 126058 markings/sec, 1085 secs
lola: 136966231 markings, 1029398645 edges, 121199 markings/sec, 1090 secs
lola: 137660869 markings, 1034330239 edges, 138928 markings/sec, 1095 secs
lola: 138289436 markings, 1039175413 edges, 125713 markings/sec, 1100 secs
lola: 138638394 markings, 1041687044 edges, 69792 markings/sec, 1105 secs
lola: 138773799 markings, 1042554543 edges, 27081 markings/sec, 1110 secs
lola: 138935314 markings, 1043622447 edges, 32303 markings/sec, 1115 secs
lola: 139147670 markings, 1045084761 edges, 42471 markings/sec, 1120 secs
lola: 139377291 markings, 1046725775 edges, 45924 markings/sec, 1125 secs
lola: 139612154 markings, 1048366600 edges, 46973 markings/sec, 1130 secs
lola: 139856216 markings, 1050124035 edges, 48812 markings/sec, 1135 secs
lola: 140020362 markings, 1051337892 edges, 32829 markings/sec, 1140 secs
lola: 140238535 markings, 1052933662 edges, 43635 markings/sec, 1145 secs
lola: 140418008 markings, 1054275211 edges, 35895 markings/sec, 1150 secs
lola: 140617094 markings, 1055744527 edges, 39817 markings/sec, 1155 secs
lola: 140862731 markings, 1057600196 edges, 49127 markings/sec, 1160 secs
lola: 141037354 markings, 1058896612 edges, 34925 markings/sec, 1165 secs
lola: 141232625 markings, 1060428214 edges, 39054 markings/sec, 1170 secs
lola: 141396692 markings, 1061615980 edges, 32813 markings/sec, 1175 secs
lola: 141436695 markings, 1061915896 edges, 8001 markings/sec, 1180 secs
lola: 141659097 markings, 1063639029 edges, 44480 markings/sec, 1185 secs
lola: 141862430 markings, 1065194579 edges, 40667 markings/sec, 1190 secs
lola: 142034334 markings, 1066466304 edges, 34381 markings/sec, 1195 secs
lola: 142037811 markings, 1066496385 edges, 695 markings/sec, 1200 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (G (F (((1 <= p18) AND (1 <= p19)))) AND F (((p7 <= 1) AND ((p5 <= 0) OR (p6 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: F (((p7 <= 1) AND ((p5 <= 0) OR (p6 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((2 <= p7) OR ((1 <= p5) AND (1 <= p6)))
lola: processed formula length: 41
lola: 104 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p18) AND (1 <= p19))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p18) AND (1 <= p19))))
lola: processed formula length: 35
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 20 markings, 20 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: RESULT
lola:
SUMMARY: unknown no no no no no no no no unknown no yes no
lola:
preliminary result: unknown no no no no no no no no unknown no yes no
lola: memory consumption: 3160 KB
lola: time consumption: 3367 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPPP-PT-C1000N0000000010"
export BK_EXAMINATION="LTLFireability"
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-C1000N0000000010, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987816000530"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPPP-PT-C1000N0000000010.tgz
mv GPPP-PT-C1000N0000000010 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;