About the Execution of ITS-LoLa for GPPP-PT-C0001N0000001000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.040 | 3600000.00 | 3599830.00 | 20928.00 | FTTF?FT?TFFTF?TF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r170-smll-158987815900444.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-C0001N0000001000, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815900444
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 3.4K Apr 4 20:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 20:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 4 09:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 4 09:10 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.2K Apr 8 14:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 8 14:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 3 21:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 3 21:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Apr 3 13:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 3 13:49 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-C0001N0000001000-CTLFireability-00
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-01
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-02
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-03
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-04
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-05
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-06
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-07
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-08
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-09
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-10
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-11
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-12
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-13
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-14
FORMULA_NAME GPPP-PT-C0001N0000001000-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591433798268
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 08:56:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 08:56:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 08:56:41] [INFO ] Load time of PNML (sax parser for PT used): 45 ms
[2020-06-06 08:56:41] [INFO ] Transformed 33 places.
[2020-06-06 08:56:41] [INFO ] Transformed 22 transitions.
[2020-06-06 08:56:41] [INFO ] Parsed PT model containing 33 places and 22 transitions in 96 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 23 ms.
Incomplete random walk after 100000 steps, including 0 resets, run finished after 240 ms. (steps per millisecond=416 ) properties seen :[0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1]
// Phase 1: matrix 22 rows 33 cols
[2020-06-06 08:56:41] [INFO ] Computed 13 place invariants in 10 ms
[2020-06-06 08:56:41] [INFO ] [Real]Absence check using 6 positive place invariants in 20 ms returned sat
[2020-06-06 08:56:41] [INFO ] [Real]Absence check using 6 positive and 7 generalized place invariants in 7 ms returned sat
[2020-06-06 08:56:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 08:56:41] [INFO ] [Real]Absence check using state equation in 40 ms returned sat
[2020-06-06 08:56:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 08:56:41] [INFO ] [Nat]Absence check using 6 positive place invariants in 11 ms returned sat
[2020-06-06 08:56:41] [INFO ] [Nat]Absence check using 6 positive and 7 generalized place invariants in 20 ms returned unsat
[2020-06-06 08:56:41] [INFO ] [Real]Absence check using 6 positive place invariants in 6 ms returned sat
[2020-06-06 08:56:41] [INFO ] [Real]Absence check using 6 positive and 7 generalized place invariants in 5 ms returned sat
[2020-06-06 08:56:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 08:56:41] [INFO ] [Real]Absence check using state equation in 30 ms returned sat
[2020-06-06 08:56:41] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 08:56:41] [INFO ] [Nat]Absence check using 6 positive place invariants in 7 ms returned sat
[2020-06-06 08:56:41] [INFO ] [Nat]Absence check using 6 positive and 7 generalized place invariants in 4 ms returned sat
[2020-06-06 08:56:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 08:56:41] [INFO ] [Nat]Absence check using state equation in 30 ms returned sat
[2020-06-06 08:56:41] [INFO ] Computed and/alt/rep : 21/47/21 causal constraints in 10 ms.
[2020-06-06 08:56:42] [INFO ] Added : 20 causal constraints over 4 iterations in 46 ms. Result :sat
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using 6 positive place invariants in 5 ms returned sat
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using 6 positive and 7 generalized place invariants in 4 ms returned sat
[2020-06-06 08:56:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using state equation in 23 ms returned sat
[2020-06-06 08:56:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 08:56:42] [INFO ] [Nat]Absence check using 6 positive place invariants in 7 ms returned sat
[2020-06-06 08:56:42] [INFO ] [Nat]Absence check using 6 positive and 7 generalized place invariants in 4 ms returned sat
[2020-06-06 08:56:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 08:56:42] [INFO ] [Nat]Absence check using state equation in 48 ms returned sat
[2020-06-06 08:56:42] [INFO ] Computed and/alt/rep : 21/47/21 causal constraints in 5 ms.
[2020-06-06 08:56:42] [INFO ] Added : 20 causal constraints over 4 iterations in 58 ms. Result :sat
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using 6 positive place invariants in 6 ms returned sat
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using 6 positive and 7 generalized place invariants in 7 ms returned unsat
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using 6 positive place invariants in 6 ms returned sat
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using 6 positive and 7 generalized place invariants in 7 ms returned unsat
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using 6 positive place invariants in 8 ms returned sat
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using 6 positive and 7 generalized place invariants in 6 ms returned unsat
[2020-06-06 08:56:42] [INFO ] [Real]Absence check using 6 positive place invariants in 4 ms returned unsat
Successfully simplified 5 atomic propositions for a total of 5 simplifications.
[2020-06-06 08:56:42] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-06 08:56:42] [INFO ] Flatten gal took : 61 ms
[2020-06-06 08:56:42] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-06 08:56:42] [INFO ] Flatten gal took : 17 ms
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-06 08:56:42] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 7 ms.
[2020-06-06 08:56:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ GPPP-PT-C0001N0000001000 @ 3570 seconds
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0001N0000001000-CTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ GPPP-PT-C0001N0000001000
{
"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=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sat Jun 6 08:56:44 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p5) AND (1 <= p6))",
"processed_size": 25,
"rewrites": 53
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "EX((AF((1 <= p17)) AND ((p9 <= 0) OR (p10 <= 0) OR ((1 <= p18) AND (1 <= p19)) OR ((1 <= p9) AND (1 <= p13)))))",
"processed_size": 114,
"rewrites": 55
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 6914,
"markings": 3075,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"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": "((p9 <= 0) OR (p10 <= 0))",
"processed_size": 26,
"rewrites": 53
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "E ((((1 <= p20) OR ((1 <= p15) AND (3 <= p27))) U ((p3 <= 0) OR (p23 <= 0))))",
"processed_size": 79,
"rewrites": 56
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space /EU",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "eu preserving",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "existential_until",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "E ((((p5 <= 0) OR (p6 <= 0)) U ((1 <= p19) AND (1 <= p22) AND (1 <= p18))))",
"processed_size": 76,
"rewrites": 56
},
"result":
{
"edges": 48,
"markings": 26,
"produced_by": "state space /EU",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "eu preserving",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 3,
"problems": 3
},
"type": "existential_until",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 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": "AX((1 <= p17))",
"processed_size": 14,
"rewrites": 54
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 1,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(AF((1 <= p17)) OR A(EX(((1 <= p15) AND (3 <= p27))) U ((1 <= p26))))",
"processed_size": 69,
"rewrites": 56
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 6915,
"markings": 3076,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 1,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "AX((EF(((7 <= p25))) OR (AG(((1 <= p19) AND (1 <= p22))) OR ((2 <= p4) AND (1 <= p15) AND (1 <= p28)))))",
"processed_size": 104,
"rewrites": 56
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 118,
"markings": 100,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 2,
"F": 2,
"G": 0,
"U": 1,
"X": 1,
"aconj": 4,
"adisj": 1,
"aneg": 0,
"comp": 20,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 20,
"taut": 0,
"tconj": 3,
"tdisj": 9,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 15,
"visible_transitions": 0
},
"processed": "(A(((p8 <= 0) OR (p29 <= 1) OR (p17 <= 0)) U EX(((1 <= p19) AND (1 <= p22)))) AND (EF(((7 <= p25))) OR ((p5 <= 0) OR ((p6 <= 0) OR ((p7 <= 1) OR ((p14 <= 0) OR ((p8 <= 0) OR ((p30 <= 0) OR (((1 <= p8) AND (2 <= p29)) OR (((1 <= p8) AND (1 <= p30) AND (1 <= p16)) OR (AF((1 <= p20)) AND ((1 <= p12) AND (1 <= p26)))))))))))))",
"processed_size": 326,
"rewrites": 57
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 38,
"markings": 38,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 1,
"F": 0,
"G": 0,
"U": 2,
"X": 1,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"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": 6,
"visible_transitions": 0
},
"processed": "A(E((1 <= p17) U (1 <= p20)) U AX((((1 <= p8) AND (1 <= p30)) OR ((1 <= p3) AND (1 <= p23)))))",
"processed_size": 95,
"rewrites": 56
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 1,
"markings": 1,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"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": "E (F (((1 <= p3) AND (1 <= p23) AND (1 <= p21))))",
"processed_size": 49,
"rewrites": 54
},
"result":
{
"edges": 22,
"markings": 23,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 3,
"problems": 3
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "EG(AF(((p18 <= 0) OR (p19 <= 0))))",
"processed_size": 35,
"rewrites": 55
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 76,
"markings": 38,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 891
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 891
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(1 <= p20)",
"processed_size": 10,
"rewrites": 53
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1783
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "DEADLOCK",
"processed_size": 8,
"rewrites": 53
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1783
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "G ((((p9 <= 0) OR (p10 <= 0) OR (p15 <= 0) OR (p27 <= 2)) OR F ((1 <= p12))))",
"processed_size": 80,
"rewrites": 63
},
"result":
{
"edges": 4120,
"markings": 2498,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "existential single path",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 1372,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(E(X((A(F(**)) AND **))) OR (** AND E(F(**)))) : E(F(**)) : (E((** U **)) AND (** AND (E((** U **)) OR A(X(**))))) : E(F(A(G(A(F(**)))))) : E(F((** AND E(G(*))))) : (A(F(**)) OR A((E(X(**)) U **))) : E(F((E(G(**)) AND E(G(**))))) : A(X((E(F(**)) OR (A(G(**)) OR **)))) : (A((** U E(X(**)))) AND (E(F(**)) OR (** OR (** OR (** OR (** OR (** OR (** OR (** OR (** OR (A(F(**)) AND (** AND **)))))))))))) : A((E((** U **)) U A(X(**)))) : (** OR (E(F(**)) OR DEADLOCK)) : E(G(A(F(*))))"
},
"net":
{
"arcs": 83,
"conflict_clusters": 14,
"places": 33,
"places_significant": 20,
"singleton_clusters": 0,
"transitions": 22
},
"result":
{
"interim_value": "yes yes no unknown no yes unknown yes no no unknown yes ",
"preliminary_value": "yes yes no unknown no yes unknown yes no no unknown yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 55/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 22 transitions, 20 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (1 <= p2)
lola: LP says that atomic proposition is always true: (7 <= p1)
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (7 <= p1)
lola: LP says that atomic proposition is always true: (7 <= p1)
lola: (E (X ((A (F ((1 <= p17))) AND ((p9 <= 0) OR (p10 <= 0) OR ((1 <= p18) AND (1 <= p19)) OR ((1 <= p9) AND (1 <= p13)))))) OR (((1 <= p5) AND (1 <= p6)) AND A (F (E (F (((1 <= p11) AND (1 <= p12) AND (7 <= p31)))))))) : A ((((((1 <= p16) OR (p8 <= 0) OR (p30 <= 0)) OR E (G (((1 <= p14))))) OR ((1 <= p0) AND (1 <= p12) AND (1 <= p32))) U E (F (((1 <= p3) AND (1 <= p23) AND (1 <= p21)))))) : ((E ((((1 <= p20) OR ((1 <= p15) AND (3 <= p27))) U ((p3 <= 0) OR (p23 <= 0)))) AND ((p9 <= 0) OR (p10 <= 0))) AND (E ((((p5 <= 0) OR (p6 <= 0)) U ((1 <= p19) AND (1 <= p22) AND (1 <= p18)))) OR A (X ((1 <= p17))))) : E (F (A (G (A (F (((7 <= p25)))))))) : E (F ((((1 <= p9) AND (1 <= p10) AND (1 <= p15) AND (3 <= p27)) AND NOT(A (F ((1 <= p12))))))) : (A (F ((1 <= p17))) OR A ((E (X (((1 <= p15) AND (3 <= p27)))) U ((1 <= p26))))) : E (F ((E (G (((1 <= p18) AND (1 <= p19) AND (1 <= p16)))) AND E (G ((((1 <= p8) AND (2 <= p29)) OR (1 <= p24))))))) : A (X (((E (F (((7 <= p25)))) OR A (G (((1 <= p19) AND (1 <= p22))))) OR ((2 <= p4) AND (1 <= p15) AND (1 <= p28))))) : (A ((((p8 <= 0) OR (p29 <= 1) OR (p17 <= 0)) U E (X (((1 <= p19) AND (1 <= p22)))))) AND (((((((((E (F (((7 <= p25)))) OR (p5 <= 0)) OR (p6 <= 0)) OR (p7 <= 1)) OR (p14 <= 0)) OR (p8 <= 0)) OR (p30 <= 0)) OR ((1 <= p8) AND (2 <= p29))) OR ((1 <= p8) AND (1 <= p30) AND (1 <= p16))) OR ((A (F ((1 <= p20))) AND (1 <= p12)) AND (1 <= p26)))) : A ((E (((1 <= p17) U (1 <= p20))) U A (X ((((1 <= p8) AND (1 <= p30)) OR ((1 <= p3) AND (1 <= p23))))))) : (((1 <= p20) OR E (F ((1 <= p12)))) OR A (X ((1 <= 0)))) : NOT(A (F (E (G (((1 <= p18) AND (1 <= p19)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:452
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X ((A (F ((1 <= p17))) AND ((p9 <= 0) OR (p10 <= 0) OR ((1 <= p18) AND (1 <= p19)) OR ((1 <= p9) AND (1 <= p13)))))) OR (((1 <= p5) AND (1 <= p6)) AND E (F (((1 <= p11) AND (1 <= p12) AND (7 <= p31))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p5) AND (1 <= p6))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p5) AND (1 <= p6))
lola: processed formula length: 25
lola: 53 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((A (F ((1 <= p17))) AND ((p9 <= 0) OR (p10 <= 0) OR ((1 <= p18) AND (1 <= p19)) OR ((1 <= p9) AND (1 <= p13))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((AF((1 <= p17)) AND ((p9 <= 0) OR (p10 <= 0) OR ((1 <= p18) AND (1 <= p19)) OR ((1 <= p9) AND (1 <= p13)))))
lola: processed formula length: 114
lola: 55 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 3075 markings, 6914 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 1 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((((1 <= p20) OR ((1 <= p15) AND (3 <= p27))) U ((p3 <= 0) OR (p23 <= 0)))) AND (((p9 <= 0) OR (p10 <= 0)) AND (E ((((p5 <= 0) OR (p6 <= 0)) U ((1 <= p19) AND (1 <= p22) AND (1 <= p18)))) OR A (X ((1 <= p17))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p9 <= 0) OR (p10 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p9 <= 0) OR (p10 <= 0))
lola: processed formula length: 26
lola: 53 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((1 <= p20) OR ((1 <= p15) AND (3 <= p27))) U ((p3 <= 0) OR (p23 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E ((((1 <= p20) OR ((1 <= p15) AND (3 <= p27))) U ((p3 <= 0) OR (p23 <= 0))))
lola: processed formula length: 79
lola: 56 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p3 <= 0) OR (p23 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((p5 <= 0) OR (p6 <= 0)) U ((1 <= p19) AND (1 <= p22) AND (1 <= p18))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E ((((p5 <= 0) OR (p6 <= 0)) U ((1 <= p19) AND (1 <= p22) AND (1 <= p18))))
lola: processed formula length: 76
lola: 56 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p19) AND (1 <= p22) AND (1 <= p18))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-3-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EU
lola: There is no path where Predicate Phi holds until Predicate Psi.
lola: 26 markings, 48 edges
lola: ========================================
lola: subprocess 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((1 <= p17)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX((1 <= p17))
lola: processed formula length: 14
lola: 54 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((1 <= p17))) OR A ((E (X (((1 <= p15) AND (3 <= p27)))) U ((1 <= p26)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: (AF((1 <= p17)) OR A(EX(((1 <= p15) AND (3 <= p27))) U ((1 <= p26))))
lola: processed formula length: 69
lola: 56 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 3076 markings, 6915 edges
lola: ========================================
lola: subprocess 3 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((E (F (((7 <= p25)))) OR (A (G (((1 <= p19) AND (1 <= p22)))) OR ((2 <= p4) AND (1 <= p15) AND (1 <= p28))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX((EF(((7 <= p25))) OR (AG(((1 <= p19) AND (1 <= p22))) OR ((2 <= p4) AND (1 <= p15) AND (1 <= p28)))))
lola: processed formula length: 104
lola: 56 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 100 markings, 118 edges
lola: ========================================
lola: subprocess 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((((p8 <= 0) OR (p29 <= 1) OR (p17 <= 0)) U E (X (((1 <= p19) AND (1 <= p22)))))) AND (E (F (((7 <= p25)))) OR ((p5 <= 0) OR ((p6 <= 0) OR ((p7 <= 1) OR ((p14 <= 0) OR ((p8 <= 0) OR ((p30 <= 0) OR (((1 <= p8) AND (2 <= p29)) OR (((1 <= p8) AND (1 <= p30) AND (1 <= p16)) OR (A (F ((1 <= p20))) AND ((1 <= p12) AND (1 <= p26)))))))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: (A(((p8 <= 0) OR (p29 <= 1) OR (p17 <= 0)) U EX(((1 <= p19) AND (1 <= p22)))) AND (EF(((7 <= p25))) OR ((p5 <= 0) OR ((p6 <= 0) OR ((p7 <= 1) OR ((p14 <= 0) OR ((p8 <= 0) OR ((p30 <= 0) OR (((1 <= p8) AND (2 <= p29)) OR (((1 <= p8) AND (1 <= p30) AND (1 <= p16)) OR (AF((1 <= p20)) AND ((1 <= p12) AND (1 <= p26)))))))))))))
lola: processed formula length: 326
lola: 57 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 38 markings, 38 edges
lola: ========================================
lola: subprocess 5 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (((1 <= p17) U (1 <= p20))) U A (X ((((1 <= p8) AND (1 <= p30)) OR ((1 <= p3) AND (1 <= p23)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: A(E((1 <= p17) U (1 <= p20)) U AX((((1 <= p8) AND (1 <= p30)) OR ((1 <= p3) AND (1 <= p23)))))
lola: processed formula length: 95
lola: 56 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 1 edges
lola: ========================================
lola: subprocess 6 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p3) AND (1 <= p23) AND (1 <= p21))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p3) AND (1 <= p23) AND (1 <= p21))))
lola: processed formula length: 49
lola: 54 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p3) AND (1 <= p23) AND (1 <= p21))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 23 markings, 22 edges
lola: ========================================
lola: subprocess 7 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (((p18 <= 0) OR (p19 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(AF(((p18 <= 0) OR (p19 <= 0))))
lola: processed formula length: 35
lola: 55 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 38 markings, 76 edges
lola: ========================================
lola: subprocess 8 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (A (F (((7 <= p25))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AG(AF(((7 <= p25)))))
lola: processed formula length: 24
lola: 56 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1060458 markings, 5522554 edges, 212092 markings/sec, 0 secs
lola: 2143916 markings, 11178836 edges, 216692 markings/sec, 5 secs
lola: 2999574 markings, 17951340 edges, 171132 markings/sec, 10 secs
lola: 3702357 markings, 25024539 edges, 140557 markings/sec, 15 secs
lola: 4389226 markings, 31983498 edges, 137374 markings/sec, 20 secs
lola: 5068207 markings, 38864688 edges, 135796 markings/sec, 25 secs
lola: 5741455 markings, 45693195 edges, 134650 markings/sec, 30 secs
lola: 6415588 markings, 52529968 edges, 134827 markings/sec, 35 secs
lola: 7089348 markings, 59357846 edges, 134752 markings/sec, 40 secs
lola: 7760677 markings, 66164444 edges, 134266 markings/sec, 45 secs
lola: 8428897 markings, 72934495 edges, 133644 markings/sec, 50 secs
lola: 9093348 markings, 79669742 edges, 132890 markings/sec, 55 secs
lola: 9752438 markings, 86352200 edges, 131818 markings/sec, 60 secs
lola: 10407775 markings, 92998834 edges, 131067 markings/sec, 65 secs
lola: 11061619 markings, 99627646 edges, 130769 markings/sec, 70 secs
lola: 11720953 markings, 106309954 edges, 131867 markings/sec, 75 secs
lola: 12382870 markings, 113020297 edges, 132383 markings/sec, 80 secs
lola: 13048862 markings, 119772841 edges, 133198 markings/sec, 85 secs
lola: 13715363 markings, 126524160 edges, 133300 markings/sec, 90 secs
lola: 14377808 markings, 133241483 edges, 132489 markings/sec, 95 secs
lola: 15039077 markings, 139947720 edges, 132254 markings/sec, 100 secs
lola: 15694192 markings, 146590722 edges, 131023 markings/sec, 105 secs
lola: 16352958 markings, 153265704 edges, 131753 markings/sec, 110 secs
lola: 17006669 markings, 159892950 edges, 130742 markings/sec, 115 secs
lola: 17660629 markings, 166522467 edges, 130792 markings/sec, 120 secs
lola: 18310153 markings, 173106332 edges, 129905 markings/sec, 125 secs
lola: 18963134 markings, 179726094 edges, 130596 markings/sec, 130 secs
lola: 19614943 markings, 186336800 edges, 130362 markings/sec, 135 secs
lola: 20262719 markings, 192900269 edges, 129555 markings/sec, 140 secs
lola: 20908332 markings, 199445902 edges, 129123 markings/sec, 145 secs
lola: 21550397 markings, 205954488 edges, 128413 markings/sec, 150 secs
lola: 22191434 markings, 212452615 edges, 128207 markings/sec, 155 secs
lola: 22829066 markings, 218914927 edges, 127526 markings/sec, 160 secs
lola: 23472572 markings, 225438024 edges, 128701 markings/sec, 165 secs
lola: 24122937 markings, 232033841 edges, 130073 markings/sec, 170 secs
lola: 24782816 markings, 238725156 edges, 131976 markings/sec, 175 secs
lola: 25449484 markings, 245481225 edges, 133334 markings/sec, 180 secs
lola: 26111698 markings, 252194948 edges, 132443 markings/sec, 185 secs
lola: 26741680 markings, 258580566 edges, 125996 markings/sec, 190 secs
lola: 27395742 markings, 265210559 edges, 130812 markings/sec, 195 secs
lola: 28048383 markings, 271826644 edges, 130528 markings/sec, 200 secs
lola: 28696839 markings, 278402491 edges, 129691 markings/sec, 205 secs
lola: 29345304 markings, 284977830 edges, 129693 markings/sec, 210 secs
lola: 29978234 markings, 291394003 edges, 126586 markings/sec, 215 secs
lola: 30608972 markings, 297788023 edges, 126148 markings/sec, 220 secs
lola: 31255201 markings, 304338588 edges, 129246 markings/sec, 225 secs
lola: 31897506 markings, 310849106 edges, 128461 markings/sec, 230 secs
lola: 32538566 markings, 317346297 edges, 128212 markings/sec, 235 secs
lola: 33175531 markings, 323805542 edges, 127393 markings/sec, 240 secs
lola: 33812390 markings, 330262724 edges, 127372 markings/sec, 245 secs
lola: 34442534 markings, 336650775 edges, 126029 markings/sec, 250 secs
lola: 35004158 markings, 342341070 edges, 112325 markings/sec, 255 secs
lola: 35645181 markings, 348839064 edges, 128205 markings/sec, 260 secs
lola: 36290903 markings, 355384154 edges, 129144 markings/sec, 265 secs
lola: 36940994 markings, 361973301 edges, 130018 markings/sec, 270 secs
lola: 37586445 markings, 368517085 edges, 129090 markings/sec, 275 secs
lola: 38226032 markings, 375003168 edges, 127917 markings/sec, 280 secs
lola: 38861889 markings, 381449706 edges, 127171 markings/sec, 285 secs
lola: 39496798 markings, 387886147 edges, 126982 markings/sec, 290 secs
lola: 40128274 markings, 394287067 edges, 126295 markings/sec, 295 secs
lola: 40758740 markings, 400677455 edges, 126093 markings/sec, 300 secs
lola: 41391843 markings, 407094067 edges, 126621 markings/sec, 305 secs
lola: 42025667 markings, 413518380 edges, 126765 markings/sec, 310 secs
lola: 42659321 markings, 419943904 edges, 126731 markings/sec, 315 secs
lola: 43287358 markings, 426310686 edges, 125607 markings/sec, 320 secs
lola: 43909348 markings, 432620403 edges, 124398 markings/sec, 325 secs
lola: 44521492 markings, 438824361 edges, 122429 markings/sec, 330 secs
lola: 45124441 markings, 444934887 edges, 120590 markings/sec, 335 secs
lola: 45720236 markings, 450975862 edges, 119159 markings/sec, 340 secs
lola: 46315644 markings, 457007842 edges, 119082 markings/sec, 345 secs
lola: 46931383 markings, 463249901 edges, 123148 markings/sec, 350 secs
lola: 47568856 markings, 469713964 edges, 127495 markings/sec, 355 secs
lola: 48225018 markings, 476367447 edges, 131232 markings/sec, 360 secs
lola: 48888869 markings, 483098436 edges, 132770 markings/sec, 365 secs
lola: 49547991 markings, 489781302 edges, 131824 markings/sec, 370 secs
lola: 50203109 markings, 496417753 edges, 131024 markings/sec, 375 secs
lola: 50855487 markings, 503030016 edges, 130476 markings/sec, 380 secs
lola: 51504372 markings, 509609336 edges, 129777 markings/sec, 385 secs
lola: 52146882 markings, 516124552 edges, 128502 markings/sec, 390 secs
lola: 52792171 markings, 522667332 edges, 129058 markings/sec, 395 secs
lola: 53438813 markings, 529223108 edges, 129328 markings/sec, 400 secs
lola: 54084516 markings, 535769328 edges, 129141 markings/sec, 405 secs
lola: 54727995 markings, 542291865 edges, 128696 markings/sec, 410 secs
lola: 55366910 markings, 548767171 edges, 127783 markings/sec, 415 secs
lola: 56003353 markings, 555218732 edges, 127289 markings/sec, 420 secs
lola: 56637241 markings, 561647033 edges, 126778 markings/sec, 425 secs
lola: 57267554 markings, 568037221 edges, 126063 markings/sec, 430 secs
lola: 57895000 markings, 574397295 edges, 125489 markings/sec, 435 secs
lola: 58528471 markings, 580818619 edges, 126694 markings/sec, 440 secs
lola: 59166404 markings, 587285404 edges, 127587 markings/sec, 445 secs
lola: 59809003 markings, 593798578 edges, 128520 markings/sec, 450 secs
lola: 60456372 markings, 600360490 edges, 129474 markings/sec, 455 secs
lola: 61098316 markings, 606870172 edges, 128389 markings/sec, 460 secs
lola: 61735435 markings, 613329919 edges, 127424 markings/sec, 465 secs
lola: 62369127 markings, 619754113 edges, 126738 markings/sec, 470 secs
lola: 63000967 markings, 626159013 edges, 126368 markings/sec, 475 secs
lola: 63627967 markings, 632514277 edges, 125400 markings/sec, 480 secs
lola: 64255410 markings, 638873392 edges, 125489 markings/sec, 485 secs
lola: 64885487 markings, 645258585 edges, 126015 markings/sec, 490 secs
lola: 65514453 markings, 651635603 edges, 125793 markings/sec, 495 secs
lola: 66143686 markings, 658015362 edges, 125847 markings/sec, 500 secs
lola: 66767812 markings, 664342556 edges, 124825 markings/sec, 505 secs
lola: 67387923 markings, 670632626 edges, 124022 markings/sec, 510 secs
lola: 68004968 markings, 676886861 edges, 123409 markings/sec, 515 secs
lola: 68622046 markings, 683140904 edges, 123416 markings/sec, 520 secs
lola: 69238435 markings, 689386508 edges, 123278 markings/sec, 525 secs
lola: 69859364 markings, 695679773 edges, 124186 markings/sec, 530 secs
lola: 70494260 markings, 702118296 edges, 126979 markings/sec, 535 secs
lola: 71142293 markings, 708688758 edges, 129607 markings/sec, 540 secs
lola: 71805035 markings, 715408605 edges, 132548 markings/sec, 545 secs
lola: 72469074 markings, 722141340 edges, 132808 markings/sec, 550 secs
lola: 73130153 markings, 728839301 edges, 132216 markings/sec, 555 secs
lola: 73786495 markings, 735493014 edges, 131268 markings/sec, 560 secs
lola: 74439077 markings, 742107789 edges, 130516 markings/sec, 565 secs
lola: 75086721 markings, 748675654 edges, 129529 markings/sec, 570 secs
lola: 75730647 markings, 755204564 edges, 128785 markings/sec, 575 secs
lola: 76377135 markings, 761759127 edges, 129298 markings/sec, 580 secs
lola: 77024142 markings, 768318309 edges, 129401 markings/sec, 585 secs
lola: 77673791 markings, 774904460 edges, 129930 markings/sec, 590 secs
lola: 78319587 markings, 781446362 edges, 129159 markings/sec, 595 secs
lola: 78961454 markings, 787951357 edges, 128373 markings/sec, 600 secs
lola: 79598143 markings, 794407796 edges, 127338 markings/sec, 605 secs
lola: 80232153 markings, 800835646 edges, 126802 markings/sec, 610 secs
lola: 80864005 markings, 807242746 edges, 126370 markings/sec, 615 secs
lola: 81496837 markings, 813660601 edges, 126566 markings/sec, 620 secs
lola: 82142270 markings, 820199388 edges, 129087 markings/sec, 625 secs
lola: 82795990 markings, 826826352 edges, 130744 markings/sec, 630 secs
lola: 83459829 markings, 833555475 edges, 132768 markings/sec, 635 secs
lola: 84122231 markings, 840272831 edges, 132480 markings/sec, 640 secs
lola: 84781311 markings, 846952696 edges, 131816 markings/sec, 645 secs
lola: 85436128 markings, 853591989 edges, 130963 markings/sec, 650 secs
lola: 86089600 markings, 860217278 edges, 130694 markings/sec, 655 secs
lola: 86739150 markings, 866802521 edges, 129910 markings/sec, 660 secs
lola: 87388357 markings, 873383041 edges, 129841 markings/sec, 665 secs
lola: 88044359 markings, 880032439 edges, 131200 markings/sec, 670 secs
lola: 88707895 markings, 886756982 edges, 132707 markings/sec, 675 secs
lola: 89375989 markings, 893532732 edges, 133619 markings/sec, 680 secs
lola: 90040952 markings, 900275739 edges, 132993 markings/sec, 685 secs
lola: 90711829 markings, 907073853 edges, 134175 markings/sec, 690 secs
lola: 91386008 markings, 913909672 edges, 134836 markings/sec, 695 secs
lola: 92073437 markings, 920875401 edges, 137486 markings/sec, 700 secs
lola: 92770644 markings, 927940592 edges, 139441 markings/sec, 705 secs
lola: 93474476 markings, 935057192 edges, 140766 markings/sec, 710 secs
lola: 94137029 markings, 941758672 edges, 132511 markings/sec, 715 secs
lola: 94767250 markings, 948174100 edges, 126044 markings/sec, 720 secs
lola: 95382631 markings, 954437548 edges, 123076 markings/sec, 725 secs
lola: 96004137 markings, 960763874 edges, 124301 markings/sec, 730 secs
lola: 96639079 markings, 967226777 edges, 126988 markings/sec, 735 secs
lola: 97450008 markings, 973611116 edges, 162186 markings/sec, 740 secs
lola: 98094054 markings, 980160354 edges, 128809 markings/sec, 745 secs
lola: 98723515 markings, 986561455 edges, 125892 markings/sec, 750 secs
lola: 99350139 markings, 992933875 edges, 125325 markings/sec, 755 secs
lola: 99989668 markings, 999428555 edges, 127906 markings/sec, 760 secs
lola: 100604386 markings, 1005674514 edges, 122944 markings/sec, 765 secs
lola: 101204695 markings, 1011749538 edges, 120062 markings/sec, 770 secs
lola: 101857433 markings, 1017993105 edges, 130548 markings/sec, 775 secs
lola: 102635058 markings, 1024413773 edges, 155525 markings/sec, 780 secs
lola: 103281345 markings, 1030901858 edges, 129257 markings/sec, 785 secs
lola: 103923234 markings, 1037345561 edges, 128378 markings/sec, 790 secs
lola: 104570566 markings, 1043844028 edges, 129466 markings/sec, 795 secs
lola: 105227998 markings, 1050027835 edges, 131486 markings/sec, 800 secs
lola: 105825339 markings, 1056076032 edges, 119468 markings/sec, 805 secs
lola: 106468393 markings, 1062254169 edges, 128611 markings/sec, 810 secs
lola: 107065734 markings, 1068359575 edges, 119468 markings/sec, 815 secs
lola: 107743137 markings, 1074568984 edges, 135481 markings/sec, 820 secs
lola: 108480942 markings, 1080693219 edges, 147561 markings/sec, 825 secs
lola: 109125582 markings, 1086449268 edges, 128928 markings/sec, 830 secs
lola: 109749815 markings, 1092043867 edges, 124847 markings/sec, 835 secs
lola: 110378607 markings, 1097721570 edges, 125758 markings/sec, 840 secs
lola: 111018333 markings, 1103553444 edges, 127945 markings/sec, 845 secs
lola: 111648851 markings, 1109340625 edges, 126104 markings/sec, 850 secs
lola: 112296061 markings, 1115334204 edges, 129442 markings/sec, 855 secs
lola: 113038414 markings, 1121255708 edges, 148471 markings/sec, 860 secs
lola: 113670260 markings, 1127343018 edges, 126369 markings/sec, 865 secs
lola: 114291203 markings, 1133301581 edges, 124189 markings/sec, 870 secs
lola: 114916112 markings, 1139311961 edges, 124982 markings/sec, 875 secs
lola: 115537304 markings, 1145292444 edges, 124238 markings/sec, 880 secs
lola: 116151351 markings, 1151183633 edges, 122809 markings/sec, 885 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes no unknown unknown yes unknown yes no no unknown yes
lola: memory consumption: 9828848 KB
lola: time consumption: 894 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (((1 <= p18) AND (1 <= p19) AND (1 <= p16)))) AND E (G ((((1 <= p8) AND (2 <= p29)) OR (1 <= p24)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((EG(((1 <= p18) AND (1 <= p19) AND (1 <= p16))) AND EG((((1 <= p8) AND (2 <= p29)) OR (1 <= p24)))))
lola: processed formula length: 104
lola: 56 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2001979 markings, 6191562 edges, 400396 markings/sec, 0 secs
lola: 3288734 markings, 13196628 edges, 257351 markings/sec, 5 secs
lola: 4288629 markings, 20168764 edges, 199979 markings/sec, 10 secs
lola: 5264531 markings, 26990533 edges, 195180 markings/sec, 15 secs
lola: 6237783 markings, 33797197 edges, 194650 markings/sec, 20 secs
lola: 7206017 markings, 40572036 edges, 193647 markings/sec, 25 secs
lola: 8173075 markings, 47334595 edges, 193412 markings/sec, 30 secs
lola: 9132216 markings, 54041321 edges, 191828 markings/sec, 35 secs
lola: 10086980 markings, 60717360 edges, 190953 markings/sec, 40 secs
lola: 11034731 markings, 67348411 edges, 189550 markings/sec, 45 secs
lola: 11986319 markings, 74002345 edges, 190318 markings/sec, 50 secs
lola: 12942767 markings, 80693884 edges, 191290 markings/sec, 55 secs
lola: 13906587 markings, 87432433 edges, 192764 markings/sec, 60 secs
lola: 14859159 markings, 94093935 edges, 190514 markings/sec, 65 secs
lola: 15807552 markings, 100726886 edges, 189679 markings/sec, 70 secs
lola: 16748359 markings, 107307944 edges, 188161 markings/sec, 75 secs
lola: 17689687 markings, 113889556 edges, 188266 markings/sec, 80 secs
lola: 18629620 markings, 120463601 edges, 187987 markings/sec, 85 secs
lola: 19570157 markings, 127040879 edges, 188107 markings/sec, 90 secs
lola: 20502728 markings, 133565029 edges, 186514 markings/sec, 95 secs
lola: 21432036 markings, 140062338 edges, 185862 markings/sec, 100 secs
lola: 22355787 markings, 146523785 edges, 184750 markings/sec, 105 secs
lola: 23278684 markings, 152978023 edges, 184579 markings/sec, 110 secs
lola: 24215978 markings, 159532473 edges, 187459 markings/sec, 115 secs
lola: 25172157 markings, 166219313 edges, 191236 markings/sec, 120 secs
lola: 26125912 markings, 172892055 edges, 190751 markings/sec, 125 secs
lola: 27074118 markings, 179522276 edges, 189641 markings/sec, 130 secs
lola: 28017408 markings, 186118354 edges, 188658 markings/sec, 135 secs
lola: 28952482 markings, 192658515 edges, 187015 markings/sec, 140 secs
lola: 29889063 markings, 199207698 edges, 187316 markings/sec, 145 secs
lola: 30823676 markings, 205745443 edges, 186923 markings/sec, 150 secs
lola: 31753450 markings, 212249535 edges, 185955 markings/sec, 155 secs
lola: 32679294 markings, 218722758 edges, 185169 markings/sec, 160 secs
lola: 33599986 markings, 225161521 edges, 184138 markings/sec, 165 secs
lola: 34515239 markings, 231564781 edges, 183051 markings/sec, 170 secs
lola: 35436903 markings, 238009508 edges, 184333 markings/sec, 175 secs
lola: 36367262 markings, 244515620 edges, 186072 markings/sec, 180 secs
lola: 37300861 markings, 251044151 edges, 186720 markings/sec, 185 secs
lola: 38224146 markings, 257501413 edges, 184657 markings/sec, 190 secs
lola: 39142244 markings, 263923619 edges, 183620 markings/sec, 195 secs
lola: 40055162 markings, 270309113 edges, 182584 markings/sec, 200 secs
lola: 40963743 markings, 276664220 edges, 181716 markings/sec, 205 secs
lola: 41876144 markings, 283043497 edges, 182480 markings/sec, 210 secs
lola: 42786461 markings, 289408692 edges, 182063 markings/sec, 215 secs
lola: 43686837 markings, 295706812 edges, 180075 markings/sec, 220 secs
lola: 44572463 markings, 301900191 edges, 177125 markings/sec, 225 secs
lola: 45438385 markings, 307958660 edges, 173184 markings/sec, 230 secs
lola: 46300929 markings, 313989167 edges, 172509 markings/sec, 235 secs
lola: 47196176 markings, 320246726 edges, 179049 markings/sec, 240 secs
lola: 48132664 markings, 326798821 edges, 187298 markings/sec, 245 secs
lola: 49087975 markings, 333482434 edges, 191062 markings/sec, 250 secs
lola: 50035584 markings, 340108847 edges, 189522 markings/sec, 255 secs
lola: 50975286 markings, 346680939 edges, 187940 markings/sec, 260 secs
lola: 51908648 markings, 353207516 edges, 186672 markings/sec, 265 secs
lola: 52841854 markings, 359733186 edges, 186641 markings/sec, 270 secs
lola: 53774318 markings, 366255741 edges, 186493 markings/sec, 275 secs
lola: 54704127 markings, 372759610 edges, 185962 markings/sec, 280 secs
lola: 55626687 markings, 379211985 edges, 184512 markings/sec, 285 secs
lola: 56542655 markings, 385615558 edges, 183194 markings/sec, 290 secs
lola: 57452535 markings, 391980466 edges, 181976 markings/sec, 295 secs
lola: 58360695 markings, 398332779 edges, 181632 markings/sec, 300 secs
lola: 59280547 markings, 404767351 edges, 183970 markings/sec, 305 secs
lola: 60213919 markings, 411291828 edges, 186674 markings/sec, 310 secs
lola: 61142183 markings, 417781918 edges, 185653 markings/sec, 315 secs
lola: 62060055 markings, 424202727 edges, 183574 markings/sec, 320 secs
lola: 62974698 markings, 430600753 edges, 182929 markings/sec, 325 secs
lola: 63881380 markings, 436942262 edges, 181336 markings/sec, 330 secs
lola: 64751231 markings, 443023701 edges, 173970 markings/sec, 335 secs
lola: 65659253 markings, 449372793 edges, 181604 markings/sec, 340 secs
lola: 66561898 markings, 455688553 edges, 180529 markings/sec, 345 secs
lola: 67456136 markings, 461943626 edges, 178848 markings/sec, 350 secs
lola: 68345881 markings, 468166163 edges, 177949 markings/sec, 355 secs
lola: 69233930 markings, 474375261 edges, 177610 markings/sec, 360 secs
lola: 70134298 markings, 480669965 edges, 180074 markings/sec, 365 secs
lola: 71063311 markings, 487168402 edges, 185803 markings/sec, 370 secs
lola: 72021104 markings, 493870178 edges, 191559 markings/sec, 375 secs
lola: 72978236 markings, 500563113 edges, 191426 markings/sec, 380 secs
lola: 73926798 markings, 507197589 edges, 189712 markings/sec, 385 secs
lola: 74869327 markings, 513784746 edges, 188506 markings/sec, 390 secs
lola: 75801684 markings, 520307252 edges, 186471 markings/sec, 395 secs
lola: 76737999 markings, 526857656 edges, 187263 markings/sec, 400 secs
lola: 77678768 markings, 533435381 edges, 188154 markings/sec, 405 secs
lola: 78609768 markings, 539947102 edges, 186200 markings/sec, 410 secs
lola: 79534296 markings, 546411049 edges, 184906 markings/sec, 415 secs
lola: 80452754 markings, 552836167 edges, 183692 markings/sec, 420 secs
lola: 81368045 markings, 559238338 edges, 183058 markings/sec, 425 secs
lola: 82302734 markings, 565777250 edges, 186938 markings/sec, 430 secs
lola: 83258729 markings, 572460786 edges, 191199 markings/sec, 435 secs
lola: 84220039 markings, 579183436 edges, 192262 markings/sec, 440 secs
lola: 85173989 markings, 585854311 edges, 190790 markings/sec, 445 secs
lola: 86118932 markings, 592465522 edges, 188989 markings/sec, 450 secs
lola: 87058531 markings, 599034943 edges, 187920 markings/sec, 455 secs
lola: 88006407 markings, 605665039 edges, 189575 markings/sec, 460 secs
lola: 88966056 markings, 612372620 edges, 191930 markings/sec, 465 secs
lola: 89932289 markings, 619133809 edges, 193247 markings/sec, 470 secs
lola: 90904798 markings, 625934756 edges, 194502 markings/sec, 475 secs
lola: 91890582 markings, 632829500 edges, 197157 markings/sec, 480 secs
lola: 92898990 markings, 639876368 edges, 201682 markings/sec, 485 secs
lola: 93903316 markings, 646864721 edges, 200865 markings/sec, 490 secs
lola: 94807940 markings, 653223022 edges, 180925 markings/sec, 495 secs
lola: 95694285 markings, 659452560 edges, 177269 markings/sec, 500 secs
lola: 96596696 markings, 665795679 edges, 180482 markings/sec, 505 secs
lola: 97766699 markings, 672442795 edges, 234001 markings/sec, 510 secs
lola: 98739406 markings, 678959094 edges, 194541 markings/sec, 515 secs
lola: 99716173 markings, 685502942 edges, 195353 markings/sec, 520 secs
lola: 100667634 markings, 691869543 edges, 190292 markings/sec, 525 secs
lola: 101550767 markings, 697944055 edges, 176627 markings/sec, 530 secs
lola: 102719645 markings, 704540526 edges, 233776 markings/sec, 535 secs
lola: 103769824 markings, 711165288 edges, 210036 markings/sec, 540 secs
lola: 104847914 markings, 717765262 edges, 215618 markings/sec, 545 secs
lola: 105715781 markings, 723810247 edges, 173573 markings/sec, 550 secs
lola: 106601353 markings, 729858779 edges, 177114 markings/sec, 555 secs
lola: 107487488 markings, 735954052 edges, 177227 markings/sec, 560 secs
lola: 108570594 markings, 742158510 edges, 216621 markings/sec, 565 secs
lola: 109302289 markings, 747519033 edges, 146339 markings/sec, 570 secs
lola: 110008296 markings, 752704705 edges, 141201 markings/sec, 575 secs
lola: 110734215 markings, 758037071 edges, 145184 markings/sec, 580 secs
lola: 111456876 markings, 763335970 edges, 144532 markings/sec, 585 secs
lola: 112205551 markings, 768807249 edges, 149735 markings/sec, 590 secs
lola: 113148964 markings, 774727240 edges, 188683 markings/sec, 595 secs
lola: 113902905 markings, 780493465 edges, 150788 markings/sec, 600 secs
lola: 114644452 markings, 786169111 edges, 148309 markings/sec, 605 secs
lola: 115399505 markings, 791930604 edges, 151011 markings/sec, 610 secs
lola: 116143130 markings, 797631046 edges, 148725 markings/sec, 615 secs
lola: 116893808 markings, 803356314 edges, 150136 markings/sec, 620 secs
lola: 117634240 markings, 809029909 edges, 148086 markings/sec, 625 secs
lola: 118359591 markings, 814561526 edges, 145070 markings/sec, 630 secs
lola: 119085100 markings, 820124733 edges, 145102 markings/sec, 635 secs
lola: 119813589 markings, 825685538 edges, 145698 markings/sec, 640 secs
lola: 120541943 markings, 831259242 edges, 145671 markings/sec, 645 secs
lola: 121273517 markings, 836852740 edges, 146315 markings/sec, 650 secs
lola: 122010106 markings, 842482058 edges, 147318 markings/sec, 655 secs
lola: 122753691 markings, 848168883 edges, 148717 markings/sec, 660 secs
lola: 123484474 markings, 853754425 edges, 146157 markings/sec, 665 secs
lola: 124218767 markings, 859374238 edges, 146859 markings/sec, 670 secs
lola: 124954622 markings, 864992226 edges, 147171 markings/sec, 675 secs
lola: 125684917 markings, 870586627 edges, 146059 markings/sec, 680 secs
lola: 126417693 markings, 876174821 edges, 146555 markings/sec, 685 secs
lola: 127123545 markings, 881584266 edges, 141170 markings/sec, 690 secs
lola: 127870615 markings, 887289166 edges, 149414 markings/sec, 695 secs
lola: 128610558 markings, 892958141 edges, 147989 markings/sec, 700 secs
lola: 129355588 markings, 898640637 edges, 149006 markings/sec, 705 secs
lola: 130074291 markings, 904145327 edges, 143741 markings/sec, 710 secs
lola: 130813708 markings, 909795013 edges, 147883 markings/sec, 715 secs
lola: 131544205 markings, 915382110 edges, 146099 markings/sec, 720 secs
lola: 132280501 markings, 921012821 edges, 147259 markings/sec, 725 secs
lola: 133009949 markings, 926585776 edges, 145890 markings/sec, 730 secs
lola: 133743701 markings, 932204017 edges, 146750 markings/sec, 735 secs
lola: 134481376 markings, 937835051 edges, 147535 markings/sec, 740 secs
lola: 135215353 markings, 943457691 edges, 146795 markings/sec, 745 secs
lola: 135963623 markings, 949170214 edges, 149654 markings/sec, 750 secs
lola: 136697836 markings, 954791515 edges, 146843 markings/sec, 755 secs
lola: 137436152 markings, 960428078 edges, 147663 markings/sec, 760 secs
lola: 138159367 markings, 965968909 edges, 144643 markings/sec, 765 secs
lola: 138896793 markings, 971590113 edges, 147485 markings/sec, 770 secs
lola: 139618483 markings, 977125584 edges, 144338 markings/sec, 775 secs
lola: 140355034 markings, 982746017 edges, 147310 markings/sec, 780 secs
lola: 141077912 markings, 988279796 edges, 144576 markings/sec, 785 secs
lola: 141796958 markings, 993780335 edges, 143809 markings/sec, 790 secs
lola: 142523722 markings, 999323892 edges, 145353 markings/sec, 795 secs
lola: 143245790 markings, 1004861206 edges, 144414 markings/sec, 800 secs
lola: 143988271 markings, 1010523668 edges, 148496 markings/sec, 805 secs
lola: 144720012 markings, 1016132763 edges, 146348 markings/sec, 810 secs
lola: 145470360 markings, 1021853727 edges, 150070 markings/sec, 815 secs
lola: 146196296 markings, 1027420094 edges, 145187 markings/sec, 820 secs
lola: 146933980 markings, 1033047738 edges, 147537 markings/sec, 825 secs
lola: 147658733 markings, 1038599061 edges, 144951 markings/sec, 830 secs
lola: 148394180 markings, 1044217772 edges, 147089 markings/sec, 835 secs
lola: 149123984 markings, 1049798780 edges, 145961 markings/sec, 840 secs
lola: 149846185 markings, 1055326636 edges, 144440 markings/sec, 845 secs
lola: 150577662 markings, 1060905703 edges, 146295 markings/sec, 850 secs
lola: 151292056 markings, 1066383499 edges, 142879 markings/sec, 855 secs
lola: 152025319 markings, 1071979939 edges, 146653 markings/sec, 860 secs
lola: 152747701 markings, 1077505144 edges, 144476 markings/sec, 865 secs
lola: 153473852 markings, 1083062593 edges, 145230 markings/sec, 870 secs
lola: 154202568 markings, 1088622530 edges, 145743 markings/sec, 875 secs
lola: 154912687 markings, 1094066067 edges, 142024 markings/sec, 880 secs
lola: 155637803 markings, 1099604880 edges, 145023 markings/sec, 885 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes no unknown unknown yes unknown yes no no unknown yes
lola: memory consumption: 13067476 KB
lola: time consumption: 1786 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p20) OR (E (F ((1 <= p12))) OR DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p20)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p20)
lola: processed formula length: 10
lola: 53 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 53 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: 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: subprocess 11 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p9) AND (1 <= p10) AND (1 <= p15) AND (3 <= p27)) AND E (G ((p12 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking an existential CTL formula with single witness path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:658
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:661
lola: rewrite Frontend/Parser/formula_rewrite.k:666
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:662
lola: rewrite Frontend/Parser/formula_rewrite.k:674
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((((p9 <= 0) OR (p10 <= 0) OR (p15 <= 0) OR (p27 <= 2)) OR F ((1 <= p12))))
lola: processed formula length: 80
lola: 63 rewrites
lola: closed formula file CTLFireability.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 insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The existential single path CTL formula does not hold.
lola: 2498 markings, 4120 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (G (A (F (((7 <= p25))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AG(AF(((7 <= p25)))))
lola: processed formula length: 24
lola: 56 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1030670 markings, 5365993 edges, 206134 markings/sec, 0 secs
lola: 2114675 markings, 11025874 edges, 216801 markings/sec, 5 secs
lola: 2974449 markings, 17695781 edges, 171955 markings/sec, 10 secs
lola: 3672193 markings, 24725731 edges, 139549 markings/sec, 15 secs
lola: 4357995 markings, 31665506 edges, 137160 markings/sec, 20 secs
lola: 5031825 markings, 38498446 edges, 134766 markings/sec, 25 secs
lola: 5705627 markings, 45328484 edges, 134760 markings/sec, 30 secs
lola: 6377644 markings, 52142963 edges, 134403 markings/sec, 35 secs
lola: 7047895 markings, 58939457 edges, 134050 markings/sec, 40 secs
lola: 7718843 markings, 65737969 edges, 134190 markings/sec, 45 secs
lola: 8385671 markings, 72498641 edges, 133366 markings/sec, 50 secs
lola: 9049142 markings, 79223924 edges, 132694 markings/sec, 55 secs
lola: 9710616 markings, 85926469 edges, 132295 markings/sec, 60 secs
lola: 10369912 markings, 92613574 edges, 131859 markings/sec, 65 secs
lola: 11024992 markings, 99255672 edges, 131016 markings/sec, 70 secs
lola: 11681239 markings, 105909134 edges, 131249 markings/sec, 75 secs
lola: 12340360 markings, 112587824 edges, 131824 markings/sec, 80 secs
lola: 13001471 markings, 119290210 edges, 132222 markings/sec, 85 secs
lola: 13665561 markings, 126021930 edges, 132818 markings/sec, 90 secs
lola: 14324921 markings, 132706824 edges, 131872 markings/sec, 95 secs
lola: 14982145 markings, 139367909 edges, 131445 markings/sec, 100 secs
lola: 15635265 markings, 145990407 edges, 130624 markings/sec, 105 secs
lola: 16286517 markings, 152593333 edges, 130250 markings/sec, 110 secs
lola: 16933443 markings, 159151635 edges, 129385 markings/sec, 115 secs
lola: 17581056 markings, 165716427 edges, 129523 markings/sec, 120 secs
lola: 18230523 markings, 172299279 edges, 129893 markings/sec, 125 secs
lola: 18879664 markings, 178879901 edges, 129828 markings/sec, 130 secs
lola: 19528180 markings, 185453354 edges, 129703 markings/sec, 135 secs
lola: 20173044 markings, 191991189 edges, 128973 markings/sec, 140 secs
lola: 20815959 markings, 198509156 edges, 128583 markings/sec, 145 secs
lola: 21455867 markings, 204996171 edges, 127982 markings/sec, 150 secs
lola: 22094614 markings, 211471119 edges, 127749 markings/sec, 155 secs
lola: 22729841 markings, 217909187 edges, 127045 markings/sec, 160 secs
lola: 23368877 markings, 224386236 edges, 127807 markings/sec, 165 secs
lola: 24015504 markings, 230943694 edges, 129325 markings/sec, 170 secs
lola: 24671936 markings, 237600059 edges, 131286 markings/sec, 175 secs
lola: 25336296 markings, 244336711 edges, 132872 markings/sec, 180 secs
lola: 25997171 markings, 251032770 edges, 132175 markings/sec, 185 secs
lola: 26650993 markings, 257661284 edges, 130764 markings/sec, 190 secs
lola: 27298272 markings, 264222336 edges, 129456 markings/sec, 195 secs
lola: 27946371 markings, 270791086 edges, 129620 markings/sec, 200 secs
lola: 28586470 markings, 277282528 edges, 128020 markings/sec, 205 secs
lola: 29230434 markings, 283811803 edges, 128793 markings/sec, 210 secs
lola: 29876148 markings, 290358625 edges, 129143 markings/sec, 215 secs
lola: 30514500 markings, 296830175 edges, 127670 markings/sec, 220 secs
lola: 31152126 markings, 303293706 edges, 127525 markings/sec, 225 secs
lola: 31795921 markings, 309819542 edges, 128759 markings/sec, 230 secs
lola: 32432295 markings, 316268118 edges, 127275 markings/sec, 235 secs
lola: 33064707 markings, 322680532 edges, 126482 markings/sec, 240 secs
lola: 33698610 markings, 329107876 edges, 126781 markings/sec, 245 secs
lola: 34328067 markings, 335489270 edges, 125891 markings/sec, 250 secs
lola: 34957107 markings, 341866178 edges, 125808 markings/sec, 255 secs
lola: 35593504 markings, 348316820 edges, 127279 markings/sec, 260 secs
lola: 36232034 markings, 354789045 edges, 127706 markings/sec, 265 secs
lola: 36873655 markings, 361292006 edges, 128324 markings/sec, 270 secs
lola: 37516119 markings, 367805700 edges, 128493 markings/sec, 275 secs
lola: 38153376 markings, 374267704 edges, 127451 markings/sec, 280 secs
lola: 38788510 markings, 380706661 edges, 127027 markings/sec, 285 secs
lola: 39421439 markings, 387122894 edges, 126586 markings/sec, 290 secs
lola: 40055739 markings, 393552469 edges, 126860 markings/sec, 295 secs
lola: 40686879 markings, 399950366 edges, 126228 markings/sec, 300 secs
lola: 41319819 markings, 406364889 edges, 126588 markings/sec, 305 secs
lola: 41950025 markings, 412751929 edges, 126041 markings/sec, 310 secs
lola: 42580920 markings, 419149537 edges, 126179 markings/sec, 315 secs
lola: 43206530 markings, 425491734 edges, 125122 markings/sec, 320 secs
lola: 43826975 markings, 431781264 edges, 124089 markings/sec, 325 secs
lola: 44437994 markings, 437978394 edges, 122204 markings/sec, 330 secs
lola: 45026807 markings, 443944652 edges, 117763 markings/sec, 335 secs
lola: 45625126 markings, 450012083 edges, 119664 markings/sec, 340 secs
lola: 46217202 markings, 456010068 edges, 118415 markings/sec, 345 secs
lola: 46824310 markings, 462167643 edges, 121422 markings/sec, 350 secs
lola: 47455175 markings, 468564516 edges, 126173 markings/sec, 355 secs
lola: 48105658 markings, 475156271 edges, 130097 markings/sec, 360 secs
lola: 48767672 markings, 481868329 edges, 132403 markings/sec, 365 secs
lola: 49424705 markings, 488529576 edges, 131407 markings/sec, 370 secs
lola: 50078015 markings, 495152838 edges, 130662 markings/sec, 375 secs
lola: 50728279 markings, 501743873 edges, 130053 markings/sec, 380 secs
lola: 51377741 markings, 508326109 edges, 129892 markings/sec, 385 secs
lola: 52021239 markings, 514848884 edges, 128700 markings/sec, 390 secs
lola: 52664813 markings, 521374457 edges, 128715 markings/sec, 395 secs
lola: 53309631 markings, 527912328 edges, 128964 markings/sec, 400 secs
lola: 53954358 markings, 534447823 edges, 128945 markings/sec, 405 secs
lola: 54597332 markings, 540966017 edges, 128595 markings/sec, 410 secs
lola: 55235924 markings, 547438023 edges, 127718 markings/sec, 415 secs
lola: 55872794 markings, 553893530 edges, 127374 markings/sec, 420 secs
lola: 56506087 markings, 560315384 edges, 126659 markings/sec, 425 secs
lola: 57135528 markings, 566696680 edges, 125888 markings/sec, 430 secs
lola: 57762839 markings, 573056009 edges, 125462 markings/sec, 435 secs
lola: 58392204 markings, 579435508 edges, 125873 markings/sec, 440 secs
lola: 59027356 markings, 585873548 edges, 127030 markings/sec, 445 secs
lola: 59668455 markings, 592371911 edges, 128220 markings/sec, 450 secs
lola: 60314912 markings, 598924209 edges, 129291 markings/sec, 455 secs
lola: 60960218 markings, 605467210 edges, 129061 markings/sec, 460 secs
lola: 61600593 markings, 611960747 edges, 128075 markings/sec, 465 secs
lola: 62234097 markings, 618383283 edges, 126701 markings/sec, 470 secs
lola: 62866079 markings, 624789612 edges, 126396 markings/sec, 475 secs
lola: 63493568 markings, 631149655 edges, 125498 markings/sec, 480 secs
lola: 64118397 markings, 637484386 edges, 124966 markings/sec, 485 secs
lola: 64746862 markings, 643856264 edges, 125693 markings/sec, 490 secs
lola: 65376644 markings, 650240036 edges, 125956 markings/sec, 495 secs
lola: 66004479 markings, 656606501 edges, 125567 markings/sec, 500 secs
lola: 66628269 markings, 662929832 edges, 124758 markings/sec, 505 secs
lola: 67250136 markings, 669234095 edges, 124373 markings/sec, 510 secs
lola: 67867256 markings, 675488781 edges, 123424 markings/sec, 515 secs
lola: 68482854 markings, 681731493 edges, 123120 markings/sec, 520 secs
lola: 69097258 markings, 687958356 edges, 122881 markings/sec, 525 secs
lola: 69714573 markings, 694213559 edges, 123463 markings/sec, 530 secs
lola: 70346810 markings, 700624486 edges, 126447 markings/sec, 535 secs
lola: 70988552 markings, 707131601 edges, 128348 markings/sec, 540 secs
lola: 71645321 markings, 713791071 edges, 131354 markings/sec, 545 secs
lola: 72310224 markings, 720527907 edges, 132981 markings/sec, 550 secs
lola: 72968320 markings, 727199930 edges, 131619 markings/sec, 555 secs
lola: 73623605 markings, 733842829 edges, 131057 markings/sec, 560 secs
lola: 74275378 markings, 740449423 edges, 130355 markings/sec, 565 secs
lola: 74924128 markings, 747027372 edges, 129750 markings/sec, 570 secs
lola: 75567711 markings, 753553358 edges, 128717 markings/sec, 575 secs
lola: 76212701 markings, 760093303 edges, 128998 markings/sec, 580 secs
lola: 76858733 markings, 766640024 edges, 129206 markings/sec, 585 secs
lola: 77507324 markings, 773213603 edges, 129718 markings/sec, 590 secs
lola: 78151914 markings, 779747187 edges, 128918 markings/sec, 595 secs
lola: 78793272 markings, 786247093 edges, 128272 markings/sec, 600 secs
lola: 79430351 markings, 792706578 edges, 127416 markings/sec, 605 secs
lola: 80064501 markings, 799136685 edges, 126830 markings/sec, 610 secs
lola: 80696730 markings, 805546242 edges, 126446 markings/sec, 615 secs
lola: 81328278 markings, 811948372 edges, 126310 markings/sec, 620 secs
lola: 81969137 markings, 818445278 edges, 128172 markings/sec, 625 secs
lola: 82620254 markings, 825045877 edges, 130223 markings/sec, 630 secs
lola: 83280700 markings, 831740408 edges, 132089 markings/sec, 635 secs
lola: 83944873 markings, 838474285 edges, 132835 markings/sec, 640 secs
lola: 84605181 markings, 845166762 edges, 132062 markings/sec, 645 secs
lola: 85260476 markings, 851811467 edges, 131059 markings/sec, 650 secs
lola: 85912640 markings, 858423833 edges, 130433 markings/sec, 655 secs
lola: 86562581 markings, 865012570 edges, 129988 markings/sec, 660 secs
lola: 87208963 markings, 871565060 edges, 129276 markings/sec, 665 secs
lola: 87862057 markings, 878185159 edges, 130619 markings/sec, 670 secs
lola: 88522465 markings, 884876410 edges, 132082 markings/sec, 675 secs
lola: 89188033 markings, 891626691 edges, 133114 markings/sec, 680 secs
lola: 89852607 markings, 898365715 edges, 132915 markings/sec, 685 secs
lola: 90520545 markings, 905134723 edges, 133588 markings/sec, 690 secs
lola: 91193103 markings, 911953827 edges, 134512 markings/sec, 695 secs
lola: 91873402 markings, 918850609 edges, 136060 markings/sec, 700 secs
lola: 92569016 markings, 925900235 edges, 139123 markings/sec, 705 secs
lola: 93267364 markings, 932968054 edges, 139670 markings/sec, 710 secs
lola: 93950455 markings, 939859989 edges, 136618 markings/sec, 715 secs
lola: 94586525 markings, 946334198 edges, 127214 markings/sec, 720 secs
lola: 95199510 markings, 952573943 edges, 122597 markings/sec, 725 secs
lola: 95823643 markings, 958926968 edges, 124827 markings/sec, 730 secs
lola: 96449036 markings, 965292404 edges, 125079 markings/sec, 735 secs
lola: 97181584 markings, 971770906 edges, 146510 markings/sec, 740 secs
lola: 97901846 markings, 978205934 edges, 144052 markings/sec, 745 secs
lola: 98530112 markings, 984594895 edges, 125653 markings/sec, 750 secs
lola: 99155801 markings, 990957551 edges, 125138 markings/sec, 755 secs
lola: 99797014 markings, 997471170 edges, 128243 markings/sec, 760 secs
lola: 100420527 markings, 1003806336 edges, 124703 markings/sec, 765 secs
lola: 101037699 markings, 1010062815 edges, 123434 markings/sec, 770 secs
lola: 101652777 markings, 1016136547 edges, 123016 markings/sec, 775 secs
lola: 102451391 markings, 1022570007 edges, 159723 markings/sec, 780 secs
lola: 103101738 markings, 1029098734 edges, 130069 markings/sec, 785 secs
lola: 103741899 markings, 1035525259 edges, 128032 markings/sec, 790 secs
lola: 104382246 markings, 1041953395 edges, 128069 markings/sec, 795 secs
lola: 105058787 markings, 1048290828 edges, 135308 markings/sec, 800 secs
lola: 105655116 markings, 1054360090 edges, 119266 markings/sec, 805 secs
lola: 106295619 markings, 1060507849 edges, 128101 markings/sec, 810 secs
lola: 106893806 markings, 1066621246 edges, 119637 markings/sec, 815 secs
lola: 107528185 markings, 1072852804 edges, 126876 markings/sec, 820 secs
lola: 108273291 markings, 1078875724 edges, 149021 markings/sec, 825 secs
lola: 108945821 markings, 1084837416 edges, 134506 markings/sec, 830 secs
lola: 109568668 markings, 1090421249 edges, 124569 markings/sec, 835 secs
lola: 110197770 markings, 1096080172 edges, 125820 markings/sec, 840 secs
lola: 110827676 markings, 1101816189 edges, 125981 markings/sec, 845 secs
lola: 111459630 markings, 1107597737 edges, 126391 markings/sec, 850 secs
lola: 112103072 markings, 1113551898 edges, 128688 markings/sec, 855 secs
lola: 112846884 markings, 1119419982 edges, 148762 markings/sec, 860 secs
lola: 113470971 markings, 1125410284 edges, 124817 markings/sec, 865 secs
lola: 114102922 markings, 1131495078 edges, 126390 markings/sec, 870 secs
lola: 114722232 markings, 1137452531 edges, 123862 markings/sec, 875 secs
lola: 115343897 markings, 1143419584 edges, 124333 markings/sec, 880 secs
lola: 115969793 markings, 1149450410 edges, 125179 markings/sec, 885 secs
lola: 116587420 markings, 1155384793 edges, 123525 markings/sec, 890 secs
lola: 117206988 markings, 1161336781 edges, 123914 markings/sec, 895 secs
lola: 117832872 markings, 1167369177 edges, 125177 markings/sec, 900 secs
lola: 118448386 markings, 1173274220 edges, 123103 markings/sec, 905 secs
lola: 119072132 markings, 1179276987 edges, 124749 markings/sec, 910 secs
lola: 119690586 markings, 1185228534 edges, 123691 markings/sec, 915 secs
lola: 120305208 markings, 1191126056 edges, 122924 markings/sec, 920 secs
lola: 120927732 markings, 1197128264 edges, 124505 markings/sec, 925 secs
lola: 121537442 markings, 1202980688 edges, 121942 markings/sec, 930 secs
lola: 122157579 markings, 1208946592 edges, 124027 markings/sec, 935 secs
lola: 122774914 markings, 1214886876 edges, 123467 markings/sec, 940 secs
lola: 123389851 markings, 1220787416 edges, 122987 markings/sec, 945 secs
lola: 124009076 markings, 1226760629 edges, 123845 markings/sec, 950 secs
lola: 124624540 markings, 1232665044 edges, 123093 markings/sec, 955 secs
lola: 125245318 markings, 1238637342 edges, 124156 markings/sec, 960 secs
lola: 125858436 markings, 1244536540 edges, 122624 markings/sec, 965 secs
lola: 126475270 markings, 1250457205 edges, 123367 markings/sec, 970 secs
lola: 127096768 markings, 1256452303 edges, 124300 markings/sec, 975 secs
lola: 127713369 markings, 1262367533 edges, 123320 markings/sec, 980 secs
lola: 128336698 markings, 1268362506 edges, 124666 markings/sec, 985 secs
lola: 128957827 markings, 1274343028 edges, 124226 markings/sec, 990 secs
lola: 129574164 markings, 1280256865 edges, 123267 markings/sec, 995 secs
lola: 130192346 markings, 1286213646 edges, 123636 markings/sec, 1000 secs
lola: 130805817 markings, 1292104963 edges, 122694 markings/sec, 1005 secs
lola: 131419390 markings, 1298006034 edges, 122715 markings/sec, 1010 secs
lola: 132021709 markings, 1303798596 edges, 120464 markings/sec, 1015 secs
lola: 132628880 markings, 1309636404 edges, 121434 markings/sec, 1020 secs
lola: 133244546 markings, 1315562055 edges, 123133 markings/sec, 1025 secs
lola: 133848179 markings, 1321357209 edges, 120727 markings/sec, 1030 secs
lola: 134458829 markings, 1327239909 edges, 122130 markings/sec, 1035 secs
lola: 135074068 markings, 1333143351 edges, 123048 markings/sec, 1040 secs
lola: 135699748 markings, 1339170832 edges, 125136 markings/sec, 1045 secs
lola: 136316523 markings, 1345097661 edges, 123355 markings/sec, 1050 secs
lola: 136927545 markings, 1350969983 edges, 122204 markings/sec, 1055 secs
lola: 137532084 markings, 1356788743 edges, 120908 markings/sec, 1060 secs
lola: 138143015 markings, 1362655058 edges, 122186 markings/sec, 1065 secs
lola: 138749985 markings, 1368502260 edges, 121394 markings/sec, 1070 secs
lola: 139351933 markings, 1374279890 edges, 120390 markings/sec, 1075 secs
lola: 139960806 markings, 1380146065 edges, 121775 markings/sec, 1080 secs
lola: 140563839 markings, 1385932502 edges, 120607 markings/sec, 1085 secs
lola: 141173337 markings, 1391806982 edges, 121900 markings/sec, 1090 secs
lola: 141771432 markings, 1397544756 edges, 119619 markings/sec, 1095 secs
lola: 142378814 markings, 1403399107 edges, 121476 markings/sec, 1100 secs
lola: 142987737 markings, 1409238905 edges, 121785 markings/sec, 1105 secs
lola: 143607231 markings, 1415211474 edges, 123899 markings/sec, 1110 secs
lola: 144221642 markings, 1421109834 edges, 122882 markings/sec, 1115 secs
lola: 144843293 markings, 1427087333 edges, 124330 markings/sec, 1120 secs
lola: 145464728 markings, 1433071304 edges, 124287 markings/sec, 1125 secs
lola: 146080369 markings, 1438979142 edges, 123128 markings/sec, 1130 secs
lola: 146697584 markings, 1444927129 edges, 123443 markings/sec, 1135 secs
lola: 147306192 markings, 1450769887 edges, 121722 markings/sec, 1140 secs
lola: 147923300 markings, 1456707340 edges, 123422 markings/sec, 1145 secs
lola: 148533923 markings, 1462580629 edges, 122125 markings/sec, 1150 secs
lola: 149144127 markings, 1468442600 edges, 122041 markings/sec, 1155 secs
lola: 149750482 markings, 1474281260 edges, 121271 markings/sec, 1160 secs
lola: 150356062 markings, 1480094326 edges, 121116 markings/sec, 1165 secs
lola: 150965269 markings, 1485963277 edges, 121841 markings/sec, 1170 secs
lola: 151568322 markings, 1491749592 edges, 120611 markings/sec, 1175 secs
lola: 152176674 markings, 1497613290 edges, 121670 markings/sec, 1180 secs
lola: 152780877 markings, 1503408014 edges, 120841 markings/sec, 1185 secs
lola: 153391316 markings, 1509295007 edges, 122088 markings/sec, 1190 secs
lola: 153990360 markings, 1515039906 edges, 119809 markings/sec, 1195 secs
lola: 154593900 markings, 1520858005 edges, 120708 markings/sec, 1200 secs
lola: 155193023 markings, 1526604632 edges, 119825 markings/sec, 1205 secs
lola: 155796360 markings, 1532419448 edges, 120667 markings/sec, 1210 secs
lola: 156395307 markings, 1538167169 edges, 119789 markings/sec, 1215 secs
lola: 156998896 markings, 1543981022 edges, 120718 markings/sec, 1220 secs
lola: 157602021 markings, 1549770959 edges, 120625 markings/sec, 1225 secs
lola: 158206159 markings, 1555589431 edges, 120828 markings/sec, 1230 secs
lola: 158808019 markings, 1561368099 edges, 120372 markings/sec, 1235 secs
lola: 159409462 markings, 1567159151 edges, 120289 markings/sec, 1240 secs
lola: 160009021 markings, 1572919805 edges, 119912 markings/sec, 1245 secs
lola: 160615280 markings, 1578754946 edges, 121252 markings/sec, 1250 secs
lola: 161221957 markings, 1584581642 edges, 121335 markings/sec, 1255 secs
lola: 161836020 markings, 1590496543 edges, 122813 markings/sec, 1260 secs
lola: 162443325 markings, 1596321859 edges, 121461 markings/sec, 1265 secs
lola: 163052526 markings, 1602196150 edges, 121840 markings/sec, 1270 secs
lola: 163656722 markings, 1607990896 edges, 120839 markings/sec, 1275 secs
lola: 164263440 markings, 1613841328 edges, 121344 markings/sec, 1280 secs
lola: 164861064 markings, 1619570884 edges, 119525 markings/sec, 1285 secs
lola: 165463417 markings, 1625376991 edges, 120471 markings/sec, 1290 secs
lola: 166062092 markings, 1631120014 edges, 119735 markings/sec, 1295 secs
lola: 166659240 markings, 1636874438 edges, 119430 markings/sec, 1300 secs
lola: 167251319 markings, 1642562522 edges, 118416 markings/sec, 1305 secs
lola: 167840911 markings, 1648231006 edges, 117918 markings/sec, 1310 secs
lola: 168433907 markings, 1653942605 edges, 118599 markings/sec, 1315 secs
lola: 169023341 markings, 1659596096 edges, 117887 markings/sec, 1320 secs
lola: 169619753 markings, 1665344093 edges, 119282 markings/sec, 1325 secs
lola: 170215810 markings, 1671064295 edges, 119211 markings/sec, 1330 secs
lola: 170813386 markings, 1676818620 edges, 119515 markings/sec, 1335 secs
lola: 171410669 markings, 1682558147 edges, 119457 markings/sec, 1340 secs
lola: 172001347 markings, 1688236682 edges, 118136 markings/sec, 1345 secs
lola: 172597134 markings, 1693973805 edges, 119157 markings/sec, 1350 secs
lola: 173186557 markings, 1699627895 edges, 117885 markings/sec, 1355 secs
lola: 173784932 markings, 1705397043 edges, 119675 markings/sec, 1360 secs
lola: 174380302 markings, 1711108424 edges, 119074 markings/sec, 1365 secs
lola: 174978786 markings, 1716874465 edges, 119697 markings/sec, 1370 secs
lola: 175576750 markings, 1722617430 edges, 119593 markings/sec, 1375 secs
lola: 176173990 markings, 1728363770 edges, 119448 markings/sec, 1380 secs
lola: 176775957 markings, 1734151463 edges, 120393 markings/sec, 1385 secs
lola: 177384504 markings, 1740004845 edges, 121709 markings/sec, 1390 secs
lola: 177995391 markings, 1745873160 edges, 122177 markings/sec, 1395 secs
lola: 178624283 markings, 1751933451 edges, 125778 markings/sec, 1400 secs
lola: 179248800 markings, 1757927123 edges, 124903 markings/sec, 1405 secs
lola: 179872755 markings, 1763925883 edges, 124791 markings/sec, 1410 secs
lola: 180494771 markings, 1769918080 edges, 124403 markings/sec, 1415 secs
lola: 181111609 markings, 1775836450 edges, 123368 markings/sec, 1420 secs
lola: 181732517 markings, 1781816445 edges, 124182 markings/sec, 1425 secs
lola: 182346905 markings, 1787721321 edges, 122878 markings/sec, 1430 secs
lola: 182963856 markings, 1793649151 edges, 123390 markings/sec, 1435 secs
lola: 183581492 markings, 1799599982 edges, 123527 markings/sec, 1440 secs
lola: 184195857 markings, 1805494425 edges, 122873 markings/sec, 1445 secs
lola: 184814336 markings, 1811451819 edges, 123696 markings/sec, 1450 secs
lola: 185424403 markings, 1817311511 edges, 122013 markings/sec, 1455 secs
lola: 186039701 markings, 1823228911 edges, 123060 markings/sec, 1460 secs
lola: 186655400 markings, 1829154655 edges, 123140 markings/sec, 1465 secs
lola: 187268803 markings, 1835041098 edges, 122681 markings/sec, 1470 secs
lola: 187883510 markings, 1840970145 edges, 122941 markings/sec, 1475 secs
lola: 188490367 markings, 1846790291 edges, 121371 markings/sec, 1480 secs
lola: 189102908 markings, 1852692800 edges, 122508 markings/sec, 1485 secs
lola: 189709363 markings, 1858514327 edges, 121291 markings/sec, 1490 secs
lola: 190318776 markings, 1864381699 edges, 121883 markings/sec, 1495 secs
lola: 190920882 markings, 1870164075 edges, 120421 markings/sec, 1500 secs
lola: 191533123 markings, 1876056247 edges, 122448 markings/sec, 1505 secs
lola: 192143834 markings, 1881927346 edges, 122142 markings/sec, 1510 secs
lola: 192703118 markings, 1887311490 edges, 111857 markings/sec, 1515 secs
lola: 193297508 markings, 1893015884 edges, 118878 markings/sec, 1520 secs
lola: 193895593 markings, 1898774613 edges, 119617 markings/sec, 1525 secs
lola: 194494261 markings, 1904527616 edges, 119734 markings/sec, 1530 secs
lola: 195093231 markings, 1910289029 edges, 119794 markings/sec, 1535 secs
lola: 195699151 markings, 1916114734 edges, 121184 markings/sec, 1540 secs
lola: 196304750 markings, 1921939149 edges, 121120 markings/sec, 1545 secs
lola: 196908558 markings, 1927743718 edges, 120762 markings/sec, 1550 secs
lola: 197467333 markings, 1933109082 edges, 111755 markings/sec, 1555 secs
lola: 198071490 markings, 1938934005 edges, 120831 markings/sec, 1560 secs
lola: 198671814 markings, 1944692259 edges, 120065 markings/sec, 1565 secs
lola: 199280506 markings, 1950558983 edges, 121738 markings/sec, 1570 secs
lola: 199884558 markings, 1956352067 edges, 120810 markings/sec, 1575 secs
lola: 200490859 markings, 1962198153 edges, 121260 markings/sec, 1580 secs
lola: 201092617 markings, 1967968875 edges, 120352 markings/sec, 1585 secs
lola: 201695012 markings, 1973777582 edges, 120479 markings/sec, 1590 secs
lola: 202293697 markings, 1979520811 edges, 119737 markings/sec, 1595 secs
lola: 202895153 markings, 1985315530 edges, 120291 markings/sec, 1600 secs
lola: 203490070 markings, 1991029218 edges, 118983 markings/sec, 1605 secs
lola: 204087648 markings, 1996778398 edges, 119516 markings/sec, 1610 secs
lola: 204687329 markings, 2002544832 edges, 119936 markings/sec, 1615 secs
lola: 205285600 markings, 2008294837 edges, 119654 markings/sec, 1620 secs
lola: 205881318 markings, 2014030642 edges, 119144 markings/sec, 1625 secs
lola: 206471765 markings, 2019695967 edges, 118089 markings/sec, 1630 secs
lola: 207054094 markings, 2025306449 edges, 116466 markings/sec, 1635 secs
lola: 207631741 markings, 2030860802 edges, 115529 markings/sec, 1640 secs
lola: 208187925 markings, 2036202660 edges, 111237 markings/sec, 1645 secs
lola: 208784044 markings, 2041938082 edges, 119224 markings/sec, 1650 secs
lola: 209378244 markings, 2047654491 edges, 118840 markings/sec, 1655 secs
lola: 209916583 markings, 2052830597 edges, 107668 markings/sec, 1660 secs
lola: 210512110 markings, 2058551581 edges, 119105 markings/sec, 1665 secs
lola: 211111532 markings, 2064325295 edges, 119884 markings/sec, 1670 secs
lola: 211716372 markings, 2070129833 edges, 120968 markings/sec, 1675 secs
lola: 212332394 markings, 2076060182 edges, 123204 markings/sec, 1680 secs
lola: 212920085 markings, 2081703533 edges, 117538 markings/sec, 1685 secs
lola: 213555362 markings, 2087815023 edges, 127055 markings/sec, 1690 secs
lola: 214139340 markings, 2093431057 edges, 116796 markings/sec, 1695 secs
lola: 214766390 markings, 2099459382 edges, 125410 markings/sec, 1700 secs
lola: 215383487 markings, 2105404518 edges, 123419 markings/sec, 1705 secs
lola: 215977322 markings, 2111102739 edges, 118767 markings/sec, 1710 secs
lola: 216558864 markings, 2116698616 edges, 116308 markings/sec, 1715 secs
lola: 217185621 markings, 2122721791 edges, 125351 markings/sec, 1720 secs
lola: 217797468 markings, 2128616191 edges, 122369 markings/sec, 1725 secs
lola: 218416457 markings, 2134556163 edges, 123798 markings/sec, 1730 secs
lola: 219031314 markings, 2140479959 edges, 122971 markings/sec, 1735 secs
lola: 219628261 markings, 2146208980 edges, 119389 markings/sec, 1740 secs
lola: 220178823 markings, 2151506192 edges, 110112 markings/sec, 1745 secs
lola: 220780044 markings, 2157294026 edges, 120244 markings/sec, 1750 secs
lola: 221293872 markings, 2162239234 edges, 102766 markings/sec, 1755 secs
lola: 221878121 markings, 2167845559 edges, 116850 markings/sec, 1760 secs
lola: 222423107 markings, 2173083297 edges, 108997 markings/sec, 1765 secs
lola: 223045114 markings, 2179080261 edges, 124401 markings/sec, 1770 secs
lola: 223562196 markings, 2184047876 edges, 103416 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no unknown no yes unknown yes no no unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no unknown no yes unknown yes no no unknown yes
lola:
preliminary result: yes yes no unknown no yes unknown yes no no unknown yes
lola: memory consumption: 1372 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.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-C0001N0000001000"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is GPPP-PT-C0001N0000001000, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987815900444"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPPP-PT-C0001N0000001000.tgz
mv GPPP-PT-C0001N0000001000 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;