About the Execution of ITS-LoLa for GPPP-PT-C0010N0000000100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15778.550 | 3600000.00 | 2191538.00 | 70583.20 | TFTTFFTTFFF?TFTT | 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-158987815900476.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-C0010N0000000100, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815900476
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.4K Apr 4 20:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 4 20:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 4 09:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 09:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 8 14:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 3 21:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 3 13:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 3 13:50 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-C0010N0000000100-CTLFireability-00
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-01
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-02
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-03
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-04
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-05
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-06
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-07
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-08
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-09
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-10
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-11
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-12
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-13
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-14
FORMULA_NAME GPPP-PT-C0010N0000000100-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591453369060
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 14:22:51] [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 14:22:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 14:22:51] [INFO ] Load time of PNML (sax parser for PT used): 39 ms
[2020-06-06 14:22:51] [INFO ] Transformed 33 places.
[2020-06-06 14:22:51] [INFO ] Transformed 22 transitions.
[2020-06-06 14:22:51] [INFO ] Parsed PT model containing 33 places and 22 transitions in 86 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 20 ms.
Incomplete random walk after 100066 steps, including 241 resets, run finished after 169 ms. (steps per millisecond=592 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1]
// Phase 1: matrix 22 rows 33 cols
[2020-06-06 14:22:52] [INFO ] Computed 12 place invariants in 6 ms
[2020-06-06 14:22:52] [INFO ] [Real]Absence check using 6 positive place invariants in 18 ms returned sat
[2020-06-06 14:22:52] [INFO ] [Real]Absence check using 6 positive and 6 generalized place invariants in 5 ms returned sat
[2020-06-06 14:22:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 14:22:52] [INFO ] [Real]Absence check using state equation in 34 ms returned sat
[2020-06-06 14:22:52] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 14:22:52] [INFO ] [Nat]Absence check using 6 positive place invariants in 12 ms returned sat
[2020-06-06 14:22:52] [INFO ] [Nat]Absence check using 6 positive and 6 generalized place invariants in 5 ms returned sat
[2020-06-06 14:22:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 14:22:52] [INFO ] [Nat]Absence check using state equation in 81 ms returned sat
[2020-06-06 14:22:52] [INFO ] Computed and/alt/rep : 21/47/21 causal constraints in 8 ms.
[2020-06-06 14:22:52] [INFO ] Added : 15 causal constraints over 3 iterations in 44 ms. Result :sat
[2020-06-06 14:22:52] [INFO ] [Real]Absence check using 6 positive place invariants in 6 ms returned sat
[2020-06-06 14:22:52] [INFO ] [Real]Absence check using 6 positive and 6 generalized place invariants in 5 ms returned sat
[2020-06-06 14:22:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 14:22:52] [INFO ] [Real]Absence check using state equation in 29 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-06 14:22:52] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-06 14:22:52] [INFO ] Flatten gal took : 37 ms
[2020-06-06 14:22:52] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-06 14:22:52] [INFO ] Flatten gal took : 11 ms
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-06 14:22:52] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 3 ms.
[2020-06-06 14:22:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ GPPP-PT-C0010N0000000100 @ 3570 seconds
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-CTLFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 1324
rslt: Output for CTLFireability @ GPPP-PT-C0010N0000000100
{
"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 14:22:53 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 234
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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": "EF(AX((1 <= p20)))",
"processed_size": 18,
"rewrites": 32
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 424,
"markings": 390,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 251
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 251
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"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": "E (G (((p14 <= 0))))",
"processed_size": 20,
"rewrites": 31
},
"result":
{
"edges": 41,
"markings": 42,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "possible_preservation",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 271
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 271
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A (G (((2 <= p7) OR (p15 <= 0) OR (p28 <= 0))))",
"processed_size": 49,
"rewrites": 32
},
"result":
{
"edges": 4,
"markings": 5,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 3,
"problems": 3
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 293
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"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": "((p14 <= 0))",
"processed_size": 12,
"rewrites": 33
},
"result":
{
"edges": 41,
"markings": 42,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "eventual_occurrence",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 320
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "EX(((p19 <= 0) OR (p22 <= 0) OR (p8 <= 0) OR (p29 <= 19)))",
"processed_size": 61,
"rewrites": 31
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "CTL model checker",
"value": true
},
"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": true
},
"task":
{
"compoundnumber": 2,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 293
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 1,
"adisj": 2,
"aneg": 1,
"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(EX((p16 <= 0)) U ((1 <= p12) OR ((1 <= p3) AND (1 <= p23) AND ((p9 <= 0) OR (p13 <= 0)))))",
"processed_size": 94,
"rewrites": 32
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 500,
"markings": 501,
"produced_by": "CTL model checker",
"value": false
},
"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": 320
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 2,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "AG((EX(((p14 <= 0))) OR AX((p21 <= 0))))",
"processed_size": 40,
"rewrites": 33
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 180562,
"markings": 36768,
"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": 352
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"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": "EF(AX(((1 <= p11) AND (1 <= p12) AND (70 <= p31))))",
"processed_size": 51,
"rewrites": 32
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 429,
"markings": 395,
"produced_by": "CTL model checker",
"value": true
},
"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": 391
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 391
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "E (G ((1 <= p12)))",
"processed_size": 18,
"rewrites": 31
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 7
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "possible_preservation",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 440
},
"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 <= p15) AND (1 <= p28))",
"processed_size": 27,
"rewrites": 30
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 503
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"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": "E (F (((1 <= p15) AND (30 <= p27))))",
"processed_size": 36,
"rewrites": 31
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 587
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "EF(AX(((1 <= p18) AND (1 <= p19))))",
"processed_size": 35,
"rewrites": 32
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 429,
"markings": 395,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 9,
"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": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 440
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "EF((EX((1 <= p17)) AND (AF(((1 <= p3) AND (1 <= p23))) OR ((1 <= p15) AND (30 <= p27)))))",
"processed_size": 89,
"rewrites": 33
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 404,
"markings": 290,
"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": 503
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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": "(p12 <= 0)",
"processed_size": 10,
"rewrites": 33
},
"result":
{
"edges": 644,
"markings": 598,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 7
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "eventual_occurrence",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 587
},
"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 <= p9) AND (1 <= p10))",
"processed_size": 26,
"rewrites": 33
},
"result":
{
"edges": 195,
"markings": 196,
"produced_by": "tscc_search",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"store":
{
"type": "dfs/tscc"
},
"type": "liveness",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 704
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 3,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "AF(AG(AF((1 <= p12))))",
"processed_size": 22,
"rewrites": 33
},
"net":
{
"conflict_clusters": 14,
"singleton_clusters": 0
},
"result":
{
"edges": 197893385,
"markings": 76185557,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 826
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 826
},
"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 <= p15) AND (1 <= p28))",
"processed_size": 27,
"rewrites": 30
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1102
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"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": "E (F (((1 <= p19) AND (1 <= p22))))",
"processed_size": 35,
"rewrites": 31
},
"result":
{
"edges": 17,
"markings": 18,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1102
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1102
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"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": "(((1 <= p8) AND (20 <= p29)) OR ((1 <= p11) AND (1 <= p12) AND (70 <= p31)))",
"processed_size": 76,
"rewrites": 31
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1653
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (G (((p19 <= 0) OR (p22 <= 0) OR (p15 <= 0) OR (p28 <= 0))))",
"processed_size": 65,
"rewrites": 32
},
"result":
{
"edges": 18,
"markings": 19,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 4
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2340
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2340
},
"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 <= p8) AND (1 <= p30))",
"processed_size": 26,
"rewrites": 30
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "E (F ((((1 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19))))",
"processed_size": 68,
"rewrites": 31
},
"result":
{
"edges": 14,
"markings": 15,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 6,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p8) AND (1 <= p30))",
"processed_size": 26,
"rewrites": 30
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 16,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"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": "(p17 <= 0)",
"processed_size": 10,
"rewrites": 33
},
"result":
{
"edges": 17729,
"markings": 14498,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "eventual_occurrence",
"workflow": "stateequation"
}
},
{
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "E (F ((((1 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19))))",
"processed_size": 68,
"rewrites": 31
},
"result":
{
"edges": 14,
"markings": 15,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 18,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 6,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 16,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3784,
"runtime": 2246.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E(F(A(X(*)))) : (A(X(*)) AND E(G(*))) : (A(F(**)) AND (E(F(**)) OR **)) : (A(F(**)) AND (A(G(**)) OR E(X(*)))) : A((E(X(*)) U **)) : A(G((E(X(*)) OR A(X(*))))) : E(F(A(X(**)))) : (** OR (E(F(A(X(**)))) AND (E(F(**)) OR (A(X(**)) OR E(G(**)))))) : A(G(E(F(**)))) : (A(G(*)) OR (** OR **)) : A(F(A(G(A(F(**)))))) : A(G((A(F(**)) OR **))) : (E(F(**)) OR **) : E(F((E(X(**)) AND (A(F(**)) OR **)))) : A(F(**))"
},
"net":
{
"arcs": 83,
"conflict_clusters": 14,
"places": 33,
"places_significant": 21,
"singleton_clusters": 0,
"transitions": 22
},
"result":
{
"preliminary_value": "yes no yes yes no no yes yes no no no unknown yes yes yes ",
"value": "yes no yes yes no no yes yes no no no unknown yes yes 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, 21 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (1 <= p6)
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (2 <= p4)
lola: LP says that atomic proposition is always true: (1 <= p1)
lola: LP says that atomic proposition is always true: (2 <= p4)
lola: LP says that atomic proposition is always true: (2 <= p4)
lola: LP says that atomic proposition is always true: (1 <= p6)
lola: LP says that atomic proposition is always true: (70 <= p1)
lola: LP says that atomic proposition is always false: (70 <= p25)
lola: LP says that atomic proposition is always true: (2 <= p4)
lola: E (F (NOT(E (X ((p20 <= 0)))))) : (NOT(E (X (((1 <= p9) AND (1 <= p13))))) AND NOT(A (F (((1 <= p14)))))) : (A (((((p9 <= 0) OR (p13 <= 0)) AND (1 <= p8) AND (1 <= p30)) U A (F ((1 <= p17))))) AND (E (F ((((1 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19)))) OR ((1 <= p8) AND (1 <= p30)))) : (A (((((1 <= p17) OR ((1 <= p8) AND (1 <= p30))) AND (((1 <= p8) AND (20 <= p29)) OR (1 <= p12))) U A (F (((1 <= p14)))))) AND (A (G (((2 <= p7) OR (p15 <= 0) OR (p28 <= 0)))) OR NOT(A (X (((1 <= p19) AND (1 <= p22) AND (1 <= p8) AND (20 <= p29))))))) : A ((NOT(A (X ((1 <= p16)))) U ((1 <= p12) OR ((1 <= p3) AND (1 <= p23) AND ((p9 <= 0) OR (p13 <= 0)))))) : A (G ((NOT(A (X (((1 <= p14))))) OR NOT(E (X ((1 <= p21))))))) : E (F (A (X (((1 <= p11) AND (1 <= p12) AND (70 <= p31)))))) : (((1 <= p15) AND (1 <= p28)) OR (E (F (A (X (((1 <= p18) AND (1 <= p19)))))) AND ((E (F (((1 <= p15) AND (30 <= p27)))) OR A (X (((1 <= p8) AND (1 <= p30))))) OR E (G ((1 <= p12)))))) : A (F (A (G (E (F (((1 <= p9) AND (1 <= p10)))))))) : ((NOT(E (F (((1 <= p19) AND (1 <= p22) AND (1 <= p15) AND (1 <= p28))))) OR ((1 <= p8) AND (20 <= p29))) OR ((1 <= p11) AND (1 <= p12) AND (70 <= p31))) : A (F (A (G (A (F ((1 <= p12))))))) : A (G ((A (F ((p24 <= 0))) OR ((1 <= p21) AND (p7 <= 1) AND (1 <= p15) AND (30 <= p27) AND (((1 <= p5))))))) : (E (F (E ((((1 <= p8) AND (20 <= p29)) U ((1 <= p19) AND (1 <= p22)))))) OR ((1 <= p15) AND (1 <= p28))) : E (F ((E (X ((1 <= p17))) AND (A (F (((1 <= p3) AND (1 <= p23)))) OR ((1 <= p15) AND (30 <= p27)))))) : A (F ((1 <= p12)))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:470
lola: rewrite Frontend/Parser/formula_rewrite.k:470
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:464
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:446
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X ((1 <= p20)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX((1 <= p20)))
lola: processed formula length: 18
lola: 32 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: 390 markings, 424 edges
lola: ========================================
lola: subprocess 1 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (((p9 <= 0) OR (p13 <= 0)))) AND E (G (((p14 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p14 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((p14 <= 0))))
lola: processed formula length: 20
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p14))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 42 markings, 41 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (((1 <= p14)))) AND (A (G (((2 <= p7) OR (p15 <= 0) OR (p28 <= 0)))) OR E (X (((p19 <= 0) OR (p22 <= 0) OR (p8 <= 0) OR (p29 <= 19))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((2 <= p7) OR (p15 <= 0) OR (p28 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((2 <= p7) OR (p15 <= 0) OR (p28 <= 0))))
lola: processed formula length: 49
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p7 <= 1) AND (1 <= p15) AND (1 <= p28))
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: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 3 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p14))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p14 <= 0))
lola: processed formula length: 12
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 42 markings, 41 edges
lola: formula 0: ((1 <= p14))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 4 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (((p19 <= 0) OR (p22 <= 0) OR (p8 <= 0) OR (p29 <= 19))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(((p19 <= 0) OR (p22 <= 0) OR (p8 <= 0) OR (p29 <= 19)))
lola: processed formula length: 61
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 3 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((p16 <= 0))) U ((1 <= p12) OR ((1 <= p3) AND (1 <= p23) AND ((p9 <= 0) OR (p13 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: A(EX((p16 <= 0)) U ((1 <= p12) OR ((1 <= p3) AND (1 <= p23) AND ((p9 <= 0) OR (p13 <= 0)))))
lola: processed formula length: 94
lola: 32 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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 501 markings, 500 edges
lola: ========================================
lola: subprocess 4 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (X (((p14 <= 0)))) OR A (X ((p21 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((EX(((p14 <= 0))) OR AX((p21 <= 0))))
lola: processed formula length: 40
lola: 33 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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 36768 markings, 180562 edges
lola: ========================================
lola: subprocess 5 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p11) AND (1 <= p12) AND (70 <= p31))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p11) AND (1 <= p12) AND (70 <= p31))))
lola: processed formula length: 51
lola: 32 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: 395 markings, 429 edges
lola: ========================================
lola: subprocess 6 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p15) AND (1 <= p28)) OR (E (F (A (X (((1 <= p18) AND (1 <= p19)))))) AND (E (F (((1 <= p15) AND (30 <= p27)))) OR (A (X (((1 <= p8) AND (1 <= p30)))) OR E (G ((1 <= p12)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((1 <= p12)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((1 <= p12)))
lola: processed formula length: 18
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p12 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p15) AND (1 <= p28))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p15) AND (1 <= p28))
lola: processed formula length: 27
lola: 30 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 8 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p15) AND (30 <= p27))))
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 <= p15) AND (30 <= p27))))
lola: processed formula length: 36
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
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 <= p15) AND (30 <= p27))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 9 will run for 587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p18) AND (1 <= p19))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p18) AND (1 <= p19))))
lola: processed formula length: 35
lola: 32 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: 395 markings, 429 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 7 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (X ((1 <= p17))) AND (A (F (((1 <= p3) AND (1 <= p23)))) OR ((1 <= p15) AND (30 <= p27))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((EX((1 <= p17)) AND (AF(((1 <= p3) AND (1 <= p23))) OR ((1 <= p15) AND (30 <= p27)))))
lola: processed formula length: 89
lola: 33 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: 290 markings, 404 edges
lola: ========================================
lola: subprocess 8 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((1 <= p12)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p12 <= 0)
lola: processed formula length: 10
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p12)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 598 markings, 644 edges
lola: state equation: write sara problem file to CTLFireability-8-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 9 will run for 587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((1 <= p9) AND (1 <= p10))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((1 <= p9) AND (1 <= p10))
lola: processed formula length: 26
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 196 markings, 195 edges
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p9) AND (1 <= p10))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 10 will run for 704 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (A (F ((1 <= p12)))))))
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:811
lola: processed formula: AF(AG(AF((1 <= p12))))
lola: processed formula length: 22
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
sara: lola: try reading problem file CTLFireability-8-0.sara.
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).
sara: place or transition ordering is non-deterministic
lola: 2460722 markings, 5563132 edges, 492144 markings/sec, 0 secs
lola: 4615293 markings, 10553706 edges, 430914 markings/sec, 5 secs
lola: 6695144 markings, 15385440 edges, 415970 markings/sec, 10 secs
lola: 8666966 markings, 20312359 edges, 394364 markings/sec, 15 secs
lola: 10542028 markings, 25281684 edges, 375012 markings/sec, 20 secs
lola: 12124962 markings, 29552174 edges, 316587 markings/sec, 25 secs
lola: 13586677 markings, 33506436 edges, 292343 markings/sec, 30 secs
lola: 15028220 markings, 37412977 edges, 288309 markings/sec, 35 secs
lola: 16580208 markings, 41840487 edges, 310398 markings/sec, 40 secs
lola: 18225112 markings, 46252026 edges, 328981 markings/sec, 45 secs
lola: 19743625 markings, 50353332 edges, 303703 markings/sec, 50 secs
lola: 21213067 markings, 54331720 edges, 293888 markings/sec, 55 secs
lola: 22647235 markings, 58479129 edges, 286834 markings/sec, 60 secs
lola: 24412893 markings, 63170056 edges, 353132 markings/sec, 65 secs
lola: 25975160 markings, 67387646 edges, 312453 markings/sec, 70 secs
lola: 27485668 markings, 71473205 edges, 302102 markings/sec, 75 secs
lola: 29066377 markings, 75936094 edges, 316142 markings/sec, 80 secs
lola: 30726561 markings, 80401110 edges, 332037 markings/sec, 85 secs
lola: 32275215 markings, 84588634 edges, 309731 markings/sec, 90 secs
lola: 33806414 markings, 88915411 edges, 306240 markings/sec, 95 secs
lola: 35477387 markings, 93400213 edges, 334195 markings/sec, 100 secs
lola: 36980203 markings, 97463372 edges, 300563 markings/sec, 105 secs
lola: 38543611 markings, 101842990 edges, 312682 markings/sec, 110 secs
lola: 40113480 markings, 106070965 edges, 313974 markings/sec, 115 secs
lola: 41741411 markings, 110655846 edges, 325586 markings/sec, 120 secs
lola: 43568614 markings, 115539377 edges, 365441 markings/sec, 125 secs
lola: 45248453 markings, 120222207 edges, 335968 markings/sec, 130 secs
lola: 47031469 markings, 125023598 edges, 356603 markings/sec, 135 secs
lola: 48743846 markings, 129779915 edges, 342475 markings/sec, 140 secs
lola: 50495304 markings, 134644124 edges, 350292 markings/sec, 145 secs
lola: 52261774 markings, 139544916 edges, 353294 markings/sec, 150 secs
lola: 54074950 markings, 144542153 edges, 362635 markings/sec, 155 secs
lola: 55889294 markings, 149522354 edges, 362869 markings/sec, 160 secs
lola: 57733222 markings, 154579848 edges, 368786 markings/sec, 165 secs
lola: 59639520 markings, 159837115 edges, 381260 markings/sec, 170 secs
lola: 61601096 markings, 165270754 edges, 392315 markings/sec, 175 secs
lola: 63839654 markings, 170998886 edges, 447712 markings/sec, 180 secs
lola: 66341559 markings, 175770271 edges, 500381 markings/sec, 185 secs
lola: 68591211 markings, 180160263 edges, 449930 markings/sec, 190 secs
lola: 70453517 markings, 184451548 edges, 372461 markings/sec, 195 secs
lola: 72265256 markings, 188636722 edges, 362348 markings/sec, 200 secs
lola: 74037503 markings, 192729136 edges, 354449 markings/sec, 205 secs
lola: 75797203 markings, 196796945 edges, 351940 markings/sec, 210 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 76185557 markings, 197893385 edges
lola: ========================================
lola: subprocess 11 will run for 826 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p19) AND (1 <= p22)))) OR ((1 <= p15) AND (1 <= p28)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 826 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p15) AND (1 <= p28))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p15) AND (1 <= p28))
lola: processed formula length: 27
lola: 30 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 12 will run for 1102 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p19) AND (1 <= p22))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p19) AND (1 <= p22))))
lola: processed formula length: 35
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p19) AND (1 <= p22))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 18 markings, 17 edges
lola: state equation: write sara problem file to CTLFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: lola: ========================================SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 12 will run for 1102 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p19 <= 0) OR (p22 <= 0) OR (p15 <= 0) OR (p28 <= 0)))) OR (((1 <= p8) AND (20 <= p29)) OR ((1 <= p11) AND (1 <= p12) AND (70 <= p31))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 1102 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p8) AND (20 <= p29)) OR ((1 <= p11) AND (1 <= p12) AND (70 <= p31)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: (((1 <= p8) AND (20 <= p29)) OR ((1 <= p11) AND (1 <= p12) AND (70 <= p31)))
lola: processed formula length: 76
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 5 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 13 will run for 1653 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p19 <= 0) OR (p22 <= 0) OR (p15 <= 0) OR (p28 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((p19 <= 0) OR (p22 <= 0) OR (p15 <= 0) OR (p28 <= 0))))
lola: processed formula length: 65
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 19 markings, 18 edges
lola: formula 0: ((1 <= p19) AND (1 <= p22) AND (1 <= p15) AND (1 <= p28))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: state equation: write sara problem file to CTLFireability-13-0.sara
lola: ========================================
lola: subprocess 13 will run for 1653 seconds at most (--localtimelimit=0)
lola: ========================================
lola: state equation: calling and running sara
lola: ...considering subproblem: A (G ((A (F ((p24 <= 0))) OR ((1 <= p21) AND (p7 <= 1) AND (1 <= p15) AND (30 <= p27) AND (((1 <= p5)))))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
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 ((F ((p24 <= 0)) OR ((1 <= p21) AND (p7 <= 1) AND (1 <= p15) AND (30 <= p27) AND (((1 <= p5))))))
lola: processed formula length: 99
lola: 32 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
sara: try reading problem file CTLFireability-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: 1182292 markings, 5575922 edges, 236458 markings/sec, 0 secs
lola: 2269614 markings, 10866133 edges, 217464 markings/sec, 5 secs
lola: 3350171 markings, 16125736 edges, 216111 markings/sec, 10 secs
lola: 4417074 markings, 21332562 edges, 213381 markings/sec, 15 secs
lola: 5473169 markings, 26486219 edges, 211219 markings/sec, 20 secs
lola: 6498569 markings, 31482152 edges, 205080 markings/sec, 25 secs
lola: 7510327 markings, 36439540 edges, 202352 markings/sec, 30 secs
lola: 8509839 markings, 41329918 edges, 199902 markings/sec, 35 secs
lola: 9512852 markings, 46238860 edges, 200603 markings/sec, 40 secs
lola: 10514918 markings, 51142237 edges, 200413 markings/sec, 45 secs
lola: 11517017 markings, 56045852 edges, 200420 markings/sec, 50 secs
lola: 12517197 markings, 60936469 edges, 200036 markings/sec, 55 secs
lola: 13506302 markings, 65797278 edges, 197821 markings/sec, 60 secs
lola: 14502304 markings, 70671691 edges, 199200 markings/sec, 65 secs
lola: 15506812 markings, 75575886 edges, 200902 markings/sec, 70 secs
lola: 16490780 markings, 80417357 edges, 196794 markings/sec, 75 secs
lola: 17493789 markings, 85315758 edges, 200602 markings/sec, 80 secs
lola: 18488764 markings, 90211629 edges, 198995 markings/sec, 85 secs
lola: 19488033 markings, 95118391 edges, 199854 markings/sec, 90 secs
lola: 20494878 markings, 100044746 edges, 201369 markings/sec, 95 secs
lola: 21482723 markings, 104895858 edges, 197569 markings/sec, 100 secs
lola: 22468269 markings, 109734673 edges, 197109 markings/sec, 105 secs
lola: 23467102 markings, 114613690 edges, 199767 markings/sec, 110 secs
lola: 24445359 markings, 119424768 edges, 195651 markings/sec, 115 secs
lola: 25429110 markings, 124255093 edges, 196750 markings/sec, 120 secs
lola: 26422522 markings, 129133014 edges, 198682 markings/sec, 125 secs
lola: 27411880 markings, 133990687 edges, 197872 markings/sec, 130 secs
lola: 28399140 markings, 138838197 edges, 197452 markings/sec, 135 secs
lola: 29393414 markings, 143693116 edges, 198855 markings/sec, 140 secs
lola: 30380538 markings, 148546271 edges, 197425 markings/sec, 145 secs
lola: 31368615 markings, 153401700 edges, 197615 markings/sec, 150 secs
lola: 32355992 markings, 158249625 edges, 197475 markings/sec, 155 secs
lola: 33338159 markings, 163072034 edges, 196433 markings/sec, 160 secs
lola: 34318846 markings, 167886716 edges, 196137 markings/sec, 165 secs
lola: 35298177 markings, 172694921 edges, 195866 markings/sec, 170 secs
lola: 36280609 markings, 177518911 edges, 196486 markings/sec, 175 secs
lola: 37252108 markings, 182282411 edges, 194300 markings/sec, 180 secs
lola: 38166340 markings, 186763952 edges, 182846 markings/sec, 185 secs
lola: 39055960 markings, 191118382 edges, 177924 markings/sec, 190 secs
lola: 39939556 markings, 195441788 edges, 176719 markings/sec, 195 secs
lola: 40873500 markings, 200008286 edges, 186789 markings/sec, 200 secs
lola: 41812914 markings, 204602009 edges, 187883 markings/sec, 205 secs
lola: 42739178 markings, 209130605 edges, 185253 markings/sec, 210 secs
lola: 43670726 markings, 213684520 edges, 186310 markings/sec, 215 secs
lola: 44600994 markings, 218227894 edges, 186054 markings/sec, 220 secs
lola: 45527101 markings, 222757743 edges, 185221 markings/sec, 225 secs
lola: 46453832 markings, 227286592 edges, 185346 markings/sec, 230 secs
lola: 47395317 markings, 231888271 edges, 188297 markings/sec, 235 secs
lola: 48354387 markings, 236575277 edges, 191814 markings/sec, 240 secs
lola: 49247953 markings, 241074827 edges, 178713 markings/sec, 245 secs
lola: 50127684 markings, 245508922 edges, 175946 markings/sec, 250 secs
lola: 51005261 markings, 249936215 edges, 175515 markings/sec, 255 secs
lola: 51883325 markings, 254369005 edges, 175613 markings/sec, 260 secs
lola: 52758076 markings, 258786546 edges, 174950 markings/sec, 265 secs
lola: 53635959 markings, 263221337 edges, 175577 markings/sec, 270 secs
lola: 54512179 markings, 267648405 edges, 175244 markings/sec, 275 secs
lola: 55385564 markings, 272064996 edges, 174677 markings/sec, 280 secs
lola: 56269962 markings, 276533886 edges, 176880 markings/sec, 285 secs
lola: 57201014 markings, 281085906 edges, 186210 markings/sec, 290 secs
lola: 58079398 markings, 285545108 edges, 175677 markings/sec, 295 secs
lola: 58933587 markings, 289901922 edges, 170838 markings/sec, 300 secs
lola: 59778764 markings, 294218486 edges, 169035 markings/sec, 305 secs
lola: 60629313 markings, 298566589 edges, 170110 markings/sec, 310 secs
lola: 61474797 markings, 302892430 edges, 169097 markings/sec, 315 secs
lola: 62322461 markings, 307229883 edges, 169533 markings/sec, 320 secs
lola: 63175643 markings, 311594765 edges, 170636 markings/sec, 325 secs
lola: 64029706 markings, 315970274 edges, 170813 markings/sec, 330 secs
lola: 64939502 markings, 320428488 edges, 181959 markings/sec, 335 secs
lola: 65825130 markings, 324908541 edges, 177126 markings/sec, 340 secs
lola: 66673981 markings, 329241524 edges, 169770 markings/sec, 345 secs
lola: 67511982 markings, 333527119 edges, 167600 markings/sec, 350 secs
lola: 68354650 markings, 337841911 edges, 168534 markings/sec, 355 secs
lola: 69198309 markings, 342161336 edges, 168732 markings/sec, 360 secs
lola: 70032461 markings, 346439876 edges, 166830 markings/sec, 365 secs
lola: 70872049 markings, 350744598 edges, 167918 markings/sec, 370 secs
lola: 71712036 markings, 355054721 edges, 167997 markings/sec, 375 secs
lola: 72565828 markings, 359436031 edges, 170758 markings/sec, 380 secs
lola: 73484797 markings, 363892433 edges, 183794 markings/sec, 385 secs
lola: 74334505 markings, 368226624 edges, 169942 markings/sec, 390 secs
lola: 75165096 markings, 372476593 edges, 166118 markings/sec, 395 secs
lola: 75993959 markings, 376722446 edges, 165773 markings/sec, 400 secs
lola: 76821298 markings, 380971215 edges, 165468 markings/sec, 405 secs
lola: 77650257 markings, 385227511 edges, 165792 markings/sec, 410 secs
lola: 78479844 markings, 389487474 edges, 165917 markings/sec, 415 secs
lola: 79307253 markings, 393740979 edges, 165482 markings/sec, 420 secs
lola: 80143560 markings, 398040099 edges, 167261 markings/sec, 425 secs
lola: 81039088 markings, 402400588 edges, 179106 markings/sec, 430 secs
lola: 81916674 markings, 406843097 edges, 175517 markings/sec, 435 secs
lola: 82755586 markings, 411137371 edges, 167782 markings/sec, 440 secs
lola: 83581126 markings, 415373483 edges, 165108 markings/sec, 445 secs
lola: 84407837 markings, 419620433 edges, 165342 markings/sec, 450 secs
lola: 85235234 markings, 423872384 edges, 165479 markings/sec, 455 secs
lola: 86060762 markings, 428122933 edges, 165106 markings/sec, 460 secs
lola: 86890119 markings, 432389203 edges, 165871 markings/sec, 465 secs
lola: 87718331 markings, 436654635 edges, 165642 markings/sec, 470 secs
lola: 88560214 markings, 440991049 edges, 168377 markings/sec, 475 secs
lola: 89474164 markings, 445384441 edges, 182790 markings/sec, 480 secs
lola: 90327727 markings, 449742228 edges, 170713 markings/sec, 485 secs
lola: 91155101 markings, 453986939 edges, 165475 markings/sec, 490 secs
lola: 91977947 markings, 458217321 edges, 164569 markings/sec, 495 secs
lola: 92799895 markings, 462451961 edges, 164390 markings/sec, 500 secs
lola: 93623144 markings, 466694275 edges, 164650 markings/sec, 505 secs
lola: 94444239 markings, 470925484 edges, 164219 markings/sec, 510 secs
lola: 95267129 markings, 475171745 edges, 164578 markings/sec, 515 secs
lola: 96097580 markings, 479454291 edges, 166090 markings/sec, 520 secs
lola: 96974728 markings, 483852749 edges, 175430 markings/sec, 525 secs
lola: 97859882 markings, 488182146 edges, 177031 markings/sec, 530 secs
lola: 98689401 markings, 492436013 edges, 165904 markings/sec, 535 secs
lola: 99501118 markings, 496609278 edges, 162343 markings/sec, 540 secs
lola: 100308569 markings, 500771703 edges, 161490 markings/sec, 545 secs
lola: 101123533 markings, 504973267 edges, 162993 markings/sec, 550 secs
lola: 101934103 markings, 509157689 edges, 162114 markings/sec, 555 secs
lola: 102738042 markings, 513313510 edges, 160788 markings/sec, 560 secs
lola: 103546963 markings, 517494927 edges, 161784 markings/sec, 565 secs
lola: 104362337 markings, 521710312 edges, 163075 markings/sec, 570 secs
lola: 105224274 markings, 525947521 edges, 172387 markings/sec, 575 secs
lola: 106128234 markings, 531096865 edges, 180792 markings/sec, 580 secs
lola: 106944260 markings, 536028289 edges, 163205 markings/sec, 585 secs
lola: 107754235 markings, 540928945 edges, 161995 markings/sec, 590 secs
lola: 108557207 markings, 545786861 edges, 160594 markings/sec, 595 secs
lola: 109342492 markings, 550570622 edges, 157057 markings/sec, 600 secs
lola: 110124950 markings, 555320218 edges, 156492 markings/sec, 605 secs
lola: 110900495 markings, 560045280 edges, 155109 markings/sec, 610 secs
lola: 111677701 markings, 564764390 edges, 155441 markings/sec, 615 secs
lola: 112446719 markings, 569446226 edges, 153804 markings/sec, 620 secs
lola: 113205319 markings, 574087269 edges, 151720 markings/sec, 625 secs
lola: 113967582 markings, 578730159 edges, 152453 markings/sec, 630 secs
lola: 114729789 markings, 583373021 edges, 152441 markings/sec, 635 secs
lola: 115496598 markings, 588043043 edges, 153362 markings/sec, 640 secs
lola: 116250558 markings, 592655270 edges, 150792 markings/sec, 645 secs
lola: 117020282 markings, 597344296 edges, 153945 markings/sec, 650 secs
lola: 117773568 markings, 601951021 edges, 150657 markings/sec, 655 secs
lola: 118543095 markings, 606638475 edges, 153905 markings/sec, 660 secs
lola: 119298266 markings, 611257059 edges, 151034 markings/sec, 665 secs
lola: 120063471 markings, 615917175 edges, 153041 markings/sec, 670 secs
lola: 120748559 markings, 620106093 edges, 137018 markings/sec, 675 secs
lola: 121486051 markings, 624615641 edges, 147498 markings/sec, 680 secs
lola: 122217381 markings, 629086467 edges, 146266 markings/sec, 685 secs
lola: 122962489 markings, 633624470 edges, 149022 markings/sec, 690 secs
lola: 123701351 markings, 638142379 edges, 147772 markings/sec, 695 secs
lola: 124437598 markings, 642643954 edges, 147249 markings/sec, 700 secs
lola: 125167553 markings, 647107383 edges, 145991 markings/sec, 705 secs
lola: 125893999 markings, 651549012 edges, 145289 markings/sec, 710 secs
lola: 126626787 markings, 656028993 edges, 146558 markings/sec, 715 secs
lola: 127319562 markings, 660263730 edges, 138555 markings/sec, 720 secs
lola: 128058794 markings, 664783763 edges, 147846 markings/sec, 725 secs
lola: 128796791 markings, 669296172 edges, 147599 markings/sec, 730 secs
lola: 129537193 markings, 673823653 edges, 148080 markings/sec, 735 secs
lola: 130274289 markings, 678330362 edges, 147419 markings/sec, 740 secs
lola: 131017124 markings, 682872749 edges, 148567 markings/sec, 745 secs
lola: 131760276 markings, 687416511 edges, 148630 markings/sec, 750 secs
lola: 132502201 markings, 691953639 edges, 148385 markings/sec, 755 secs
lola: 133249549 markings, 696523152 edges, 149470 markings/sec, 760 secs
lola: 133555312 markings, 698373033 edges, 61153 markings/sec, 765 secs
lola: 133722929 markings, 699411161 edges, 33523 markings/sec, 770 secs
lola: 133907596 markings, 700563801 edges, 36933 markings/sec, 775 secs
lola: 134080033 markings, 701642867 edges, 34487 markings/sec, 780 secs
lola: 134249590 markings, 702703832 edges, 33911 markings/sec, 785 secs
lola: 134427397 markings, 703816695 edges, 35561 markings/sec, 790 secs
lola: 134596292 markings, 704876777 edges, 33779 markings/sec, 795 secs
lola: 134793436 markings, 706112696 edges, 39429 markings/sec, 800 secs
lola: 134991809 markings, 707355530 edges, 39675 markings/sec, 805 secs
lola: 135207723 markings, 708713769 edges, 43183 markings/sec, 810 secs
lola: 135391701 markings, 709869713 edges, 36796 markings/sec, 815 secs
lola: 135602522 markings, 711195565 edges, 42164 markings/sec, 820 secs
lola: 135796609 markings, 712415401 edges, 38817 markings/sec, 825 secs
lola: 136005910 markings, 713731754 edges, 41860 markings/sec, 830 secs
lola: 136217263 markings, 715060768 edges, 42271 markings/sec, 835 secs
lola: 136554615 markings, 717182990 edges, 67470 markings/sec, 840 secs
lola: 136919134 markings, 719477202 edges, 72904 markings/sec, 845 secs
lola: 137269879 markings, 721684169 edges, 70149 markings/sec, 850 secs
lola: 137673218 markings, 724223897 edges, 80668 markings/sec, 855 secs
lola: 138352496 markings, 728501163 edges, 135856 markings/sec, 860 secs
lola: 138997557 markings, 732437810 edges, 129012 markings/sec, 865 secs
lola: 139525808 markings, 735731938 edges, 105650 markings/sec, 870 secs
lola: 140068088 markings, 739125204 edges, 108456 markings/sec, 875 secs
lola: 140571363 markings, 742279826 edges, 100655 markings/sec, 880 secs
lola: 141054980 markings, 745314350 edges, 96723 markings/sec, 885 secs
lola: 141498146 markings, 748096609 edges, 88633 markings/sec, 890 secs
lola: 141976534 markings, 751101499 edges, 95678 markings/sec, 895 secs
lola: 142451924 markings, 754087583 edges, 95078 markings/sec, 900 secs
lola: 142950958 markings, 757223150 edges, 99807 markings/sec, 905 secs
lola: 143477774 markings, 760537196 edges, 105363 markings/sec, 910 secs
lola: 144114385 markings, 764424607 edges, 127322 markings/sec, 915 secs
lola: 144521866 markings, 766946555 edges, 81496 markings/sec, 920 secs
lola: 144745894 markings, 768339915 edges, 44806 markings/sec, 925 secs
lola: 145269409 markings, 771608624 edges, 104703 markings/sec, 930 secs
lola: 145705090 markings, 774331431 edges, 87136 markings/sec, 935 secs
lola: 146086220 markings, 776717585 edges, 76226 markings/sec, 940 secs
lola: 146604480 markings, 779963925 edges, 103652 markings/sec, 945 secs
lola: 147116997 markings, 783173896 edges, 102503 markings/sec, 950 secs
lola: 147158391 markings, 783434530 edges, 8279 markings/sec, 955 secs
lola: 147189092 markings, 783627615 edges, 6140 markings/sec, 960 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 2340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((1 <= p17))) AND (E (F ((((1 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19)))) OR ((1 <= p8) AND (1 <= p30))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 2340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p8) AND (1 <= p30))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p8) AND (1 <= p30))
lola: processed formula length: 26
lola: 30 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: Child process aborted or communication problem between parent and child process
lola: subprocess 16 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19))))
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 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19))))
lola: processed formula length: 68
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
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 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 15 markings, 14 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((A (F ((p24 <= 0))) OR ((1 <= p21) AND (p7 <= 1) AND (1 <= p15) AND (30 <= p27) AND (((1 <= p5)))))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
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 ((F ((p24 <= 0)) OR ((1 <= p21) AND (p7 <= 1) AND (1 <= p15) AND (30 <= p27) AND (((1 <= p5))))))
lola: processed formula length: 99
lola: 32 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: 1067068 markings, 5019634 edges, 213414 markings/sec, 0 secs
lola: 2152044 markings, 10285372 edges, 216995 markings/sec, 5 secs
lola: 3217478 markings, 15465579 edges, 213087 markings/sec, 10 secs
lola: 4271091 markings, 20610149 edges, 210723 markings/sec, 15 secs
lola: 5318258 markings, 25715066 edges, 209433 markings/sec, 20 secs
lola: 6349328 markings, 30769968 edges, 206214 markings/sec, 25 secs
lola: 7381124 markings, 35799037 edges, 206359 markings/sec, 30 secs
lola: 8399373 markings, 40785965 edges, 203650 markings/sec, 35 secs
lola: 9415572 markings, 45759499 edges, 203240 markings/sec, 40 secs
lola: 10429826 markings, 50723418 edges, 202851 markings/sec, 45 secs
lola: 11444042 markings, 55686252 edges, 202843 markings/sec, 50 secs
lola: 12459778 markings, 60647516 edges, 203147 markings/sec, 55 secs
lola: 13441932 markings, 65479436 edges, 196431 markings/sec, 60 secs
lola: 14430418 markings, 70317104 edges, 197697 markings/sec, 65 secs
lola: 15425285 markings, 75197188 edges, 198973 markings/sec, 70 secs
lola: 16415394 markings, 80047111 edges, 198022 markings/sec, 75 secs
lola: 17398385 markings, 84873008 edges, 196598 markings/sec, 80 secs
lola: 18351997 markings, 89537982 edges, 190722 markings/sec, 85 secs
lola: 19342449 markings, 94400369 edges, 198090 markings/sec, 90 secs
lola: 20352763 markings, 99337433 edges, 202063 markings/sec, 95 secs
lola: 21346349 markings, 104223919 edges, 198717 markings/sec, 100 secs
lola: 22320334 markings, 109006155 edges, 194797 markings/sec, 105 secs
lola: 23295890 markings, 113794822 edges, 195111 markings/sec, 110 secs
lola: 24286367 markings, 118630291 edges, 198095 markings/sec, 115 secs
lola: 25260875 markings, 123425976 edges, 194902 markings/sec, 120 secs
lola: 26245964 markings, 128262805 edges, 197018 markings/sec, 125 secs
lola: 27213785 markings, 133015314 edges, 193564 markings/sec, 130 secs
lola: 28185427 markings, 137786030 edges, 194328 markings/sec, 135 secs
lola: 29156781 markings, 142554458 edges, 194271 markings/sec, 140 secs
lola: 30083609 markings, 147104156 edges, 185366 markings/sec, 145 secs
lola: 31073423 markings, 151963745 edges, 197963 markings/sec, 150 secs
lola: 32062147 markings, 156818115 edges, 197745 markings/sec, 155 secs
lola: 33055065 markings, 161671718 edges, 198584 markings/sec, 160 secs
lola: 34044766 markings, 166526880 edges, 197940 markings/sec, 165 secs
lola: 35033444 markings, 171379121 edges, 197736 markings/sec, 170 secs
lola: 36019647 markings, 176221910 edges, 197241 markings/sec, 175 secs
lola: 37002984 markings, 181038131 edges, 196667 markings/sec, 180 secs
lola: 37942035 markings, 185666258 edges, 187810 markings/sec, 185 secs
lola: 38865120 markings, 190185224 edges, 184617 markings/sec, 190 secs
lola: 39741666 markings, 194472180 edges, 175309 markings/sec, 195 secs
lola: 40618599 markings, 198758482 edges, 175387 markings/sec, 200 secs
lola: 41490963 markings, 203026542 edges, 174473 markings/sec, 205 secs
lola: 42366364 markings, 207306622 edges, 175080 markings/sec, 210 secs
lola: 43247266 markings, 211613113 edges, 176180 markings/sec, 215 secs
lola: 44128402 markings, 215920659 edges, 176227 markings/sec, 220 secs
lola: 45008781 markings, 220223763 edges, 176076 markings/sec, 225 secs
lola: 45889858 markings, 224530457 edges, 176215 markings/sec, 230 secs
lola: 46774544 markings, 228854983 edges, 176937 markings/sec, 235 secs
lola: 47702119 markings, 233311440 edges, 185515 markings/sec, 240 secs
lola: 48570045 markings, 237663380 edges, 173585 markings/sec, 245 secs
lola: 49406234 markings, 241873134 edges, 167238 markings/sec, 250 secs
lola: 50233982 markings, 246044145 edges, 165550 markings/sec, 255 secs
lola: 51065886 markings, 250243511 edges, 166381 markings/sec, 260 secs
lola: 51898174 markings, 254444087 edges, 166458 markings/sec, 265 secs
lola: 52729183 markings, 258642464 edges, 166202 markings/sec, 270 secs
lola: 53561116 markings, 262845062 edges, 166387 markings/sec, 275 secs
lola: 54395751 markings, 267061724 edges, 166927 markings/sec, 280 secs
lola: 55232822 markings, 271290492 edges, 167414 markings/sec, 285 secs
lola: 56067101 markings, 275509427 edges, 166856 markings/sec, 290 secs
lola: 56952297 markings, 279856399 edges, 177039 markings/sec, 295 secs
lola: 57795197 markings, 284098665 edges, 168580 markings/sec, 300 secs
lola: 58613583 markings, 288265050 edges, 163677 markings/sec, 305 secs
lola: 59415114 markings, 292360668 edges, 160306 markings/sec, 310 secs
lola: 60214559 markings, 296446770 edges, 159889 markings/sec, 315 secs
lola: 61013149 markings, 300526575 edges, 159718 markings/sec, 320 secs
lola: 61807414 markings, 304594452 edges, 158853 markings/sec, 325 secs
lola: 62608701 markings, 308693029 edges, 160257 markings/sec, 330 secs
lola: 63411369 markings, 312803492 edges, 160534 markings/sec, 335 secs
lola: 64218413 markings, 316935448 edges, 161409 markings/sec, 340 secs
lola: 65096965 markings, 321219233 edges, 175710 markings/sec, 345 secs
lola: 65920682 markings, 325396896 edges, 164743 markings/sec, 350 secs
lola: 66722215 markings, 329484855 edges, 160307 markings/sec, 355 secs
lola: 67510636 markings, 333520490 edges, 157684 markings/sec, 360 secs
lola: 68302448 markings, 337572868 edges, 158362 markings/sec, 365 secs
lola: 69093994 markings, 341628450 edges, 158309 markings/sec, 370 secs
lola: 69882565 markings, 345669179 edges, 157714 markings/sec, 375 secs
lola: 70669180 markings, 349704165 edges, 157323 markings/sec, 380 secs
lola: 71462677 markings, 353774266 edges, 158699 markings/sec, 385 secs
lola: 72259646 markings, 357862882 edges, 159394 markings/sec, 390 secs
lola: 73116769 markings, 362030905 edges, 171425 markings/sec, 395 secs
lola: 73929141 markings, 366152754 edges, 162474 markings/sec, 400 secs
lola: 74712743 markings, 370160372 edges, 156720 markings/sec, 405 secs
lola: 75492990 markings, 374155293 edges, 156049 markings/sec, 410 secs
lola: 76271895 markings, 378151476 edges, 155781 markings/sec, 415 secs
lola: 77051038 markings, 382147664 edges, 155829 markings/sec, 420 secs
lola: 77824415 markings, 386122026 edges, 154675 markings/sec, 425 secs
lola: 78607956 markings, 390145900 edges, 156708 markings/sec, 430 secs
lola: 79389511 markings, 394162372 edges, 156311 markings/sec, 435 secs
lola: 80177894 markings, 398217768 edges, 157677 markings/sec, 440 secs
lola: 81024383 markings, 402332316 edges, 169298 markings/sec, 445 secs
lola: 81852326 markings, 406514284 edges, 165589 markings/sec, 450 secs
lola: 82645879 markings, 410574566 edges, 158711 markings/sec, 455 secs
lola: 83423223 markings, 414561362 edges, 155469 markings/sec, 460 secs
lola: 84203167 markings, 418566495 edges, 155989 markings/sec, 465 secs
lola: 84981965 markings, 422571213 edges, 155760 markings/sec, 470 secs
lola: 85760670 markings, 426575549 edges, 155741 markings/sec, 475 secs
lola: 86535228 markings, 430562814 edges, 154912 markings/sec, 480 secs
lola: 87316670 markings, 434586296 edges, 156288 markings/sec, 485 secs
lola: 88102088 markings, 438630563 edges, 157084 markings/sec, 490 secs
lola: 88925701 markings, 442747412 edges, 164723 markings/sec, 495 secs
lola: 89769389 markings, 446887928 edges, 168738 markings/sec, 500 secs
lola: 90563312 markings, 450950611 edges, 158785 markings/sec, 505 secs
lola: 91336775 markings, 454923924 edges, 154693 markings/sec, 510 secs
lola: 92116215 markings, 458930043 edges, 155888 markings/sec, 515 secs
lola: 92896650 markings, 462948290 edges, 156087 markings/sec, 520 secs
lola: 93682731 markings, 466997901 edges, 157216 markings/sec, 525 secs
lola: 94457974 markings, 470996811 edges, 155049 markings/sec, 530 secs
lola: 95232530 markings, 474992285 edges, 154911 markings/sec, 535 secs
lola: 95969284 markings, 478791286 edges, 147351 markings/sec, 540 secs
lola: 96806854 markings, 483074336 edges, 167514 markings/sec, 545 secs
lola: 97705688 markings, 487397734 edges, 179767 markings/sec, 550 secs
lola: 98534403 markings, 491636730 edges, 165743 markings/sec, 555 secs
lola: 99347055 markings, 495814285 edges, 162530 markings/sec, 560 secs
lola: 100151882 markings, 499963024 edges, 160965 markings/sec, 565 secs
lola: 100956793 markings, 504112273 edges, 160982 markings/sec, 570 secs
lola: 101759201 markings, 508254422 edges, 160482 markings/sec, 575 secs
lola: 102553553 markings, 512360249 edges, 158870 markings/sec, 580 secs
lola: 103354600 markings, 516501032 edges, 160209 markings/sec, 585 secs
lola: 104156298 markings, 520645241 edges, 160340 markings/sec, 590 secs
lola: 105004368 markings, 524920657 edges, 169614 markings/sec, 595 secs
lola: 105905478 markings, 529766658 edges, 180222 markings/sec, 600 secs
lola: 106732588 markings, 534742922 edges, 165422 markings/sec, 605 secs
lola: 107537222 markings, 539613806 edges, 160927 markings/sec, 610 secs
lola: 108341104 markings, 544474103 edges, 160776 markings/sec, 615 secs
lola: 109132457 markings, 549277826 edges, 158271 markings/sec, 620 secs
lola: 109911229 markings, 554026715 edges, 155754 markings/sec, 625 secs
lola: 110695879 markings, 558787998 edges, 156930 markings/sec, 630 secs
lola: 111467677 markings, 563491534 edges, 154360 markings/sec, 635 secs
lola: 112237860 markings, 568183219 edges, 154037 markings/sec, 640 secs
lola: 113006548 markings, 572866290 edges, 153738 markings/sec, 645 secs
lola: 113774426 markings, 577544541 edges, 153576 markings/sec, 650 secs
lola: 114541125 markings, 582213731 edges, 153340 markings/sec, 655 secs
lola: 115296126 markings, 586831907 edges, 151000 markings/sec, 660 secs
lola: 116065190 markings, 591517490 edges, 153813 markings/sec, 665 secs
lola: 116824290 markings, 596159494 edges, 151820 markings/sec, 670 secs
lola: 117589115 markings, 600818589 edges, 152965 markings/sec, 675 secs
lola: 118347304 markings, 605454718 edges, 151638 markings/sec, 680 secs
lola: 119113798 markings, 610124451 edges, 153299 markings/sec, 685 secs
lola: 119827913 markings, 614494051 edges, 142823 markings/sec, 690 secs
lola: 120522849 markings, 618738217 edges, 138987 markings/sec, 695 secs
lola: 121183282 markings, 622754369 edges, 132087 markings/sec, 700 secs
lola: 121926974 markings, 627303679 edges, 148738 markings/sec, 705 secs
lola: 122619192 markings, 631535057 edges, 138444 markings/sec, 710 secs
lola: 123366625 markings, 636105499 edges, 149487 markings/sec, 715 secs
lola: 124113148 markings, 640670892 edges, 149305 markings/sec, 720 secs
lola: 124872365 markings, 645292512 edges, 151843 markings/sec, 725 secs
lola: 125622920 markings, 649884573 edges, 150111 markings/sec, 730 secs
lola: 126374710 markings, 654482015 edges, 150358 markings/sec, 735 secs
lola: 127125996 markings, 659075469 edges, 150257 markings/sec, 740 secs
lola: 127791038 markings, 663140109 edges, 133008 markings/sec, 745 secs
lola: 128542086 markings, 667732704 edges, 150210 markings/sec, 750 secs
lola: 129298708 markings, 672359414 edges, 151324 markings/sec, 755 secs
lola: 130052646 markings, 676970326 edges, 150788 markings/sec, 760 secs
lola: 130809470 markings, 681597960 edges, 151365 markings/sec, 765 secs
lola: 131567778 markings, 686234831 edges, 151662 markings/sec, 770 secs
lola: 132326293 markings, 690873302 edges, 151703 markings/sec, 775 secs
lola: 133090450 markings, 695546284 edges, 152831 markings/sec, 780 secs
lola: 133528454 markings, 698207730 edges, 87601 markings/sec, 785 secs
lola: 133688084 markings, 699194647 edges, 31926 markings/sec, 790 secs
lola: 133861598 markings, 700276651 edges, 34703 markings/sec, 795 secs
lola: 134033407 markings, 701350651 edges, 34362 markings/sec, 800 secs
lola: 134199745 markings, 702392415 edges, 33268 markings/sec, 805 secs
lola: 134405889 markings, 703680976 edges, 41229 markings/sec, 810 secs
lola: 134581324 markings, 704782662 edges, 35087 markings/sec, 815 secs
lola: 134789916 markings, 706090475 edges, 41718 markings/sec, 820 secs
lola: 134970130 markings, 707222555 edges, 36043 markings/sec, 825 secs
lola: 135180764 markings, 708543318 edges, 42127 markings/sec, 830 secs
lola: 135363551 markings, 709691604 edges, 36557 markings/sec, 835 secs
lola: 135556270 markings, 710902882 edges, 38544 markings/sec, 840 secs
lola: 135751956 markings, 712133022 edges, 39137 markings/sec, 845 secs
lola: 135916166 markings, 713167844 edges, 32842 markings/sec, 850 secs
lola: 136101850 markings, 714334543 edges, 37137 markings/sec, 855 secs
lola: 136355774 markings, 715933064 edges, 50785 markings/sec, 860 secs
lola: 136573894 markings, 717304937 edges, 43624 markings/sec, 865 secs
lola: 136804265 markings, 718754493 edges, 46074 markings/sec, 870 secs
lola: 137057443 markings, 720348207 edges, 50636 markings/sec, 875 secs
lola: 137359998 markings, 722250679 edges, 60511 markings/sec, 880 secs
lola: 137719819 markings, 724518565 edges, 71964 markings/sec, 885 secs
lola: 138139764 markings, 727163322 edges, 83989 markings/sec, 890 secs
lola: 138830505 markings, 731405618 edges, 138148 markings/sec, 895 secs
lola: 139470473 markings, 735386174 edges, 127994 markings/sec, 900 secs
lola: 140012660 markings, 738778883 edges, 108437 markings/sec, 905 secs
lola: 140511234 markings, 741903981 edges, 99715 markings/sec, 910 secs
lola: 141028461 markings, 745150368 edges, 103445 markings/sec, 915 secs
lola: 141441512 markings, 747742820 edges, 82610 markings/sec, 920 secs
lola: 141891629 markings, 750569279 edges, 90023 markings/sec, 925 secs
lola: 142166502 markings, 752293173 edges, 54975 markings/sec, 930 secs
lola: 142434460 markings, 753977335 edges, 53592 markings/sec, 935 secs
lola: 142824194 markings, 756426362 edges, 77947 markings/sec, 940 secs
lola: 143091981 markings, 758109468 edges, 53557 markings/sec, 945 secs
lola: 143621435 markings, 761440424 edges, 105891 markings/sec, 950 secs
lola: 143947094 markings, 763484601 edges, 65132 markings/sec, 955 secs
lola: 144354232 markings, 765904843 edges, 81428 markings/sec, 960 secs
lola: 144908445 markings, 769353337 edges, 110843 markings/sec, 965 secs
lola: 145335702 markings, 772022727 edges, 85451 markings/sec, 970 secs
lola: 145752647 markings, 774630903 edges, 83389 markings/sec, 975 secs
lola: 146257183 markings, 777787266 edges, 100907 markings/sec, 980 secs
lola: 146528993 markings, 779490133 edges, 54362 markings/sec, 985 secs
lola: 146920695 markings, 781944695 edges, 78340 markings/sec, 990 secs
lola: 147241313 markings, 783953229 edges, 64124 markings/sec, 995 secs
lola: 147423410 markings, 785096552 edges, 36419 markings/sec, 1000 secs
lola: 147435135 markings, 785166480 edges, 2345 markings/sec, 1005 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (A (F ((1 <= p17))) AND (E (F ((((1 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19)))) OR ((1 <= p8) AND (1 <= p30))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: ((1 <= p8) AND (1 <= p30))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p8) AND (1 <= p30))
lola: processed formula length: 26
lola: 30 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: ========================================
lola: ...considering subproblem: A (F ((1 <= p17)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p17 <= 0)
lola: processed formula length: 10
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p17)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-17-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 14498 markings, 17729 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19))))
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 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19))))
lola: processed formula length: 68
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
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 <= p20) OR ((1 <= p5))) AND (1 <= p18) AND (1 <= p19))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-18-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 15 markings, 14 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: RESULT
lola:
SUMMARY: yes no yes yes no no yes yes no no no unknown yes yes yes
lola:
preliminary result: yes no yes yes no no yes yes no no no unknown yes yes yes
lola: memory consumption: 3784 KB
lola: time consumption: 2246 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-C0010N0000000100"
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-C0010N0000000100, 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-158987815900476"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPPP-PT-C0010N0000000100.tgz
mv GPPP-PT-C0010N0000000100 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 ;