About the Execution of ITS-LoLa for Angiogenesis-PT-15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15790.990 | 3600000.00 | 3441400.00 | 108797.20 | ???T???T??TF?FTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r166-smll-158987787600340.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 Angiogenesis-PT-15, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787600340
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 4.0K Apr 28 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 28 14:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 28 14:22 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Apr 28 14:22 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.1K Apr 28 14:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 28 14:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 28 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 28 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 28 14:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 28 14:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 28 14:22 instance
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 iscolored
-rw-r--r-- 1 mcc users 33K Apr 28 14:22 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 Angiogenesis-PT-15-CTLFireability-00
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-01
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-02
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-03
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-04
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-05
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-06
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-07
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-08
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-09
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-10
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-11
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-12
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-13
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-14
FORMULA_NAME Angiogenesis-PT-15-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591425102487
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 06:31:45] [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 06:31:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 06:31:45] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2020-06-06 06:31:45] [INFO ] Transformed 39 places.
[2020-06-06 06:31:45] [INFO ] Transformed 64 transitions.
[2020-06-06 06:31:45] [INFO ] Parsed PT model containing 39 places and 64 transitions in 149 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 28 ms.
Incomplete random walk after 100013 steps, including 0 resets, run finished after 197 ms. (steps per millisecond=507 ) properties seen :[1, 1, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1]
// Phase 1: matrix 64 rows 39 cols
[2020-06-06 06:31:45] [INFO ] Computed 8 place invariants in 10 ms
[2020-06-06 06:31:45] [INFO ] [Real]Absence check using 8 positive place invariants in 24 ms returned sat
[2020-06-06 06:31:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using state equation in 80 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 16 ms.
[2020-06-06 06:31:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using 8 positive place invariants in 15 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using state equation in 53 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 13 ms.
[2020-06-06 06:31:46] [INFO ] Added : 59 causal constraints over 12 iterations in 169 ms. Result :sat
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using state equation in 28 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 10 ms.
[2020-06-06 06:31:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using state equation in 28 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:46] [INFO ] Added : 59 causal constraints over 12 iterations in 103 ms. Result :sat
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using state equation in 27 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 11 ms.
[2020-06-06 06:31:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using 8 positive place invariants in 7 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using state equation in 38 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:46] [INFO ] Added : 51 causal constraints over 11 iterations in 93 ms. Result :sat
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:46] [INFO ] [Real]Absence check using state equation in 25 ms returned sat
[2020-06-06 06:31:46] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:46] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 26 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:47] [INFO ] Added : 59 causal constraints over 12 iterations in 97 ms. Result :sat
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using 8 positive place invariants in 7 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using state equation in 24 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 24 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:47] [INFO ] Added : 57 causal constraints over 12 iterations in 103 ms. Result :sat
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using 8 positive place invariants in 7 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 29 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 4 ms.
[2020-06-06 06:31:47] [INFO ] Added : 58 causal constraints over 12 iterations in 125 ms. Result :sat
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using state equation in 38 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 29 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:47] [INFO ] Added : 58 causal constraints over 12 iterations in 108 ms. Result :sat
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Real]Absence check using state equation in 20 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:47] [INFO ] [Nat]Absence check using state equation in 23 ms returned sat
[2020-06-06 06:31:47] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:48] [INFO ] Added : 49 causal constraints over 10 iterations in 78 ms. Result :sat
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using state equation in 38 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using 8 positive place invariants in 16 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using state equation in 21 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 4 ms.
[2020-06-06 06:31:48] [INFO ] Added : 57 causal constraints over 12 iterations in 123 ms. Result :sat
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using state equation in 34 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using state equation in 20 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 5 ms.
[2020-06-06 06:31:48] [INFO ] Added : 50 causal constraints over 10 iterations in 107 ms. Result :sat
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using state equation in 30 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 11 ms.
[2020-06-06 06:31:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using state equation in 31 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 14 ms.
[2020-06-06 06:31:48] [INFO ] Added : 58 causal constraints over 12 iterations in 114 ms. Result :sat
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Real]Absence check using state equation in 43 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:48] [INFO ] [Nat]Absence check using state equation in 37 ms returned sat
[2020-06-06 06:31:48] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:49] [INFO ] Added : 58 causal constraints over 12 iterations in 146 ms. Result :sat
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using state equation in 30 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using state equation in 32 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:49] [INFO ] Added : 58 causal constraints over 12 iterations in 112 ms. Result :sat
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using 8 positive place invariants in 4 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using state equation in 29 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 12 ms.
[2020-06-06 06:31:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using state equation in 36 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 6 ms.
[2020-06-06 06:31:49] [INFO ] Added : 51 causal constraints over 11 iterations in 113 ms. Result :sat
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using state equation in 43 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Nat]Absence check using state equation in 51 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 9 ms.
[2020-06-06 06:31:49] [INFO ] Added : 50 causal constraints over 10 iterations in 89 ms. Result :sat
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using 8 positive place invariants in 5 ms returned sat
[2020-06-06 06:31:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:49] [INFO ] [Real]Absence check using state equation in 29 ms returned sat
[2020-06-06 06:31:49] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:49] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:50] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:50] [INFO ] [Nat]Absence check using state equation in 38 ms returned sat
[2020-06-06 06:31:50] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:50] [INFO ] Added : 51 causal constraints over 11 iterations in 109 ms. Result :sat
[2020-06-06 06:31:50] [INFO ] [Real]Absence check using 8 positive place invariants in 6 ms returned sat
[2020-06-06 06:31:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:50] [INFO ] [Real]Absence check using state equation in 36 ms returned sat
[2020-06-06 06:31:50] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 8 ms.
[2020-06-06 06:31:50] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 06:31:50] [INFO ] [Nat]Absence check using 8 positive place invariants in 9 ms returned sat
[2020-06-06 06:31:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 06:31:50] [INFO ] [Nat]Absence check using state equation in 32 ms returned sat
[2020-06-06 06:31:50] [INFO ] Computed and/alt/rep : 61/165/61 causal constraints in 12 ms.
[2020-06-06 06:31:50] [INFO ] Added : 56 causal constraints over 12 iterations in 117 ms. Result :sat
[2020-06-06 06:31:50] [INFO ] Flatten gal took : 70 ms
[2020-06-06 06:31:50] [INFO ] Flatten gal took : 23 ms
[2020-06-06 06:31:50] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 6 ms.
[2020-06-06 06:31:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 3 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ Angiogenesis-PT-15 @ 3570 seconds
FORMULA Angiogenesis-PT-15-CTLFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Angiogenesis-PT-15-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Angiogenesis-PT-15-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Angiogenesis-PT-15-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Angiogenesis-PT-15-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Angiogenesis-PT-15-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Angiogenesis-PT-15-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Angiogenesis-PT-15-CTLFireability-08 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for CTLFireability @ Angiogenesis-PT-15
{
"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 06:31:51 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"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 <= p20) AND (1 <= p31))))",
"processed_size": 35,
"rewrites": 33
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 0,
"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": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p15) AND (1 <= p34))",
"processed_size": 27,
"rewrites": 35
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space /EXEG",
"value": true
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "invisibility based",
"visible": 7
},
"threads": 1,
"type": "dfs"
},
"type": "invariance_from_all_successors",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "E (F ((1 <= p17)))",
"processed_size": 18,
"rewrites": 33
},
"result":
{
"edges": 9,
"markings": 10,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 257
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 1,
"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": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "EF(A(((1 <= p12) AND (1 <= p17)) U ((1 <= p15) AND (1 <= p34) AND (1 <= p25))))",
"processed_size": 79,
"rewrites": 34
},
"net":
{
"conflict_clusters": 19,
"singleton_clusters": 0
},
"result":
{
"edges": 9169218,
"markings": 2948116,
"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": 288
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 0,
"G": 2,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E(AG((p27 <= 0)) U EG((1 <= p30)))",
"processed_size": 34,
"rewrites": 35
},
"net":
{
"conflict_clusters": 19,
"singleton_clusters": 0
},
"result":
{
"edges": 6220979,
"markings": 2948039,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 335
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 1,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "E(AG((p23 <= 0)) U (((1 <= p32) AND (1 <= p36)) OR ((1 <= p16) AND (1 <= p24) AND (1 <= p31) AND (1 <= p21))))",
"processed_size": 111,
"rewrites": 34
},
"net":
{
"conflict_clusters": 19,
"singleton_clusters": 0
},
"result":
{
"edges": 6220916,
"markings": 2947994,
"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": 397
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 397
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (((p26 <= 0) OR (p31 <= 0))))",
"processed_size": 35,
"rewrites": 34
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 795
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 794
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((1 <= p12) AND (1 <= p8) AND (1 <= p33))",
"processed_size": 41,
"rewrites": 32
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"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": 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": "E (F (((1 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22)))))",
"processed_size": 98,
"rewrites": 33
},
"result":
{
"edges": 63,
"markings": 61,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 9,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 5845536,
"runtime": 3571.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A((* R E(F(*)))) : E(F((** AND A(G(*))))) : A(G((** OR E(F(*))))) : E(F(A((** U **)))) : A((* R E(F(*)))) : (A((E(G(**)) U **)) OR E((** U **))) : A(F((E(F(**)) OR A(F(**))))) : (A(X(A(F(**)))) AND E(F(**))) : A(X(A(G(E(F(**)))))) : E(F((A(F(**)) AND E(F(**))))) : E(F(**)) : (A(G(A(F(*)))) AND A(G(**))) : E(F(A(X(**)))) : E((A(G(*)) U E(G(**)))) : (E(F(**)) OR (E(F(A(G(**)))) OR **)) : E((A(G(*)) U **))"
},
"net":
{
"arcs": 185,
"conflict_clusters": 19,
"places": 39,
"places_significant": 31,
"singleton_clusters": 0,
"transitions": 64
},
"result":
{
"interim_value": "unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes no unknown no yes no ",
"preliminary_value": "unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes no unknown no yes no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 103/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1248
lola: finding significant places
lola: 39 places, 64 transitions, 31 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: NOT(E ((((p28 <= 0) OR ((1 <= p9) AND (1 <= p11)) OR (1 <= p30)) U A (G ((1 <= p37)))))) : E (F (((p38 <= 0) AND NOT(E (F ((1 <= p16))))))) : A (G ((((1 <= p12) OR (1 <= p21)) OR NOT(A (G (((1 <= p15) AND (1 <= p33)))))))) : E (F (A ((((1 <= p12) AND (1 <= p17)) U ((1 <= p15) AND (1 <= p34) AND (1 <= p25)))))) : NOT(E ((((p1 <= 0) OR (p26 <= 0) OR (p31 <= 0)) U A (G ((1 <= p7)))))) : (A ((E (G ((1 <= p9))) U (1 <= p15))) OR E ((((p6 <= 0) OR (p11 <= 0) OR (p13 <= 0)) U ((1 <= p32) AND (1 <= p35) AND (1 <= p1) AND (1 <= p38))))) : A (F ((E (F (((1 <= p17) AND (1 <= p0) AND (1 <= p32)))) OR A (F (((1 <= p25) AND (1 <= p8) AND (1 <= p34))))))) : (A (X (A (F (((p15 <= 0) OR (p34 <= 0)))))) AND E (F (E (((1 <= p30) U ((1 <= p20) AND (1 <= p31))))))) : A (G (A (X (E (F ((1 <= p15))))))) : E (F ((A (F ((((1 <= p9) AND (1 <= p11)) OR ((1 <= p15) AND (1 <= p34))))) AND E (F (((1 <= p12) AND (1 <= p18) AND (1 <= p31))))))) : E (F ((1 <= p17))) : A (G ((NOT(E (G ((1 <= p13)))) AND ((p26 <= 0) OR (p31 <= 0))))) : E (F (A (X (((1 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0)))))) : E ((NOT(E (F ((1 <= p27)))) U E (G ((1 <= p30))))) : (E (F ((((1 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22))) OR A (G ((1 <= p25)))))) OR ((1 <= p12) AND (1 <= p8) AND (1 <= p33))) : E ((NOT(E (F ((1 <= p23)))) U (((1 <= p32) AND (1 <= p36)) OR ((1 <= p16) AND (1 <= p24) AND (1 <= p31) AND (1 <= p21)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:446
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
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:548
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (A (F (((p15 <= 0) OR (p34 <= 0)))))) AND E (F (((1 <= p20) AND (1 <= p31)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p20) AND (1 <= p31))))
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) AND (1 <= p31))))
lola: processed formula length: 35
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)
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) AND (1 <= p31))
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: 11 markings, 10 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F (((p15 <= 0) OR (p34 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:754
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p15) AND (1 <= p34))
lola: processed formula length: 27
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEG
lola: The predicate eventually occurs from all successors.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (E (F ((1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(AG(EF((1 <= p15))))
lola: processed formula length: 22
lola: 35 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: 2405213 markings, 5071106 edges, 481043 markings/sec, 0 secs
lola: 2948016 markings, 10496255 edges, 108561 markings/sec, 5 secs
lola: 3192405 markings, 16567076 edges, 48878 markings/sec, 10 secs
lola: 4271319 markings, 21658107 edges, 215783 markings/sec, 15 secs
lola: 5320354 markings, 26565746 edges, 209807 markings/sec, 20 secs
lola: 6370532 markings, 31448019 edges, 210036 markings/sec, 25 secs
lola: 7475796 markings, 36319127 edges, 221053 markings/sec, 30 secs
lola: 8479400 markings, 40837740 edges, 200721 markings/sec, 35 secs
lola: 9503377 markings, 45417358 edges, 204795 markings/sec, 40 secs
lola: 10529100 markings, 50334178 edges, 205145 markings/sec, 45 secs
lola: 11568164 markings, 54850496 edges, 207813 markings/sec, 50 secs
lola: 12584856 markings, 59382015 edges, 203338 markings/sec, 55 secs
lola: 13574098 markings, 63794043 edges, 197848 markings/sec, 60 secs
lola: 14524532 markings, 68099811 edges, 190087 markings/sec, 65 secs
lola: 15559492 markings, 72685317 edges, 206992 markings/sec, 70 secs
lola: 16562499 markings, 77237501 edges, 200601 markings/sec, 75 secs
lola: 17551913 markings, 81674291 edges, 197883 markings/sec, 80 secs
lola: 18523372 markings, 85980786 edges, 194292 markings/sec, 85 secs
lola: 19536908 markings, 90373808 edges, 202707 markings/sec, 90 secs
lola: 20520537 markings, 94743968 edges, 196726 markings/sec, 95 secs
lola: 21506148 markings, 99095933 edges, 197122 markings/sec, 100 secs
lola: 22480247 markings, 103367070 edges, 194820 markings/sec, 105 secs
lola: 23466336 markings, 107719964 edges, 197218 markings/sec, 110 secs
lola: 24461214 markings, 112093585 edges, 198976 markings/sec, 115 secs
lola: 25415423 markings, 116328395 edges, 190842 markings/sec, 120 secs
lola: 26414631 markings, 120699845 edges, 199842 markings/sec, 125 secs
lola: 27435736 markings, 125222467 edges, 204221 markings/sec, 130 secs
lola: 28402461 markings, 129381257 edges, 193345 markings/sec, 135 secs
lola: 29350952 markings, 133596505 edges, 189698 markings/sec, 140 secs
lola: 30336277 markings, 137958175 edges, 197065 markings/sec, 145 secs
lola: 31313091 markings, 142253361 edges, 195363 markings/sec, 150 secs
lola: 32283220 markings, 146505129 edges, 194026 markings/sec, 155 secs
lola: 33242425 markings, 150755309 edges, 191841 markings/sec, 160 secs
lola: 34220405 markings, 155021292 edges, 195596 markings/sec, 165 secs
lola: 35151217 markings, 159063234 edges, 186162 markings/sec, 170 secs
lola: 36128095 markings, 163186337 edges, 195376 markings/sec, 175 secs
lola: 37046099 markings, 167196652 edges, 183601 markings/sec, 180 secs
lola: 37995594 markings, 171314404 edges, 189899 markings/sec, 185 secs
lola: 38980055 markings, 175614275 edges, 196892 markings/sec, 190 secs
lola: 39989859 markings, 179884821 edges, 201961 markings/sec, 195 secs
lola: 40990839 markings, 184331484 edges, 200196 markings/sec, 200 secs
lola: 41956266 markings, 188504988 edges, 193085 markings/sec, 205 secs
lola: 42944626 markings, 192723422 edges, 197672 markings/sec, 210 secs
lola: 43892207 markings, 196884573 edges, 189516 markings/sec, 215 secs
lola: 44786044 markings, 200774513 edges, 178767 markings/sec, 220 secs
lola: 45729273 markings, 204881911 edges, 188646 markings/sec, 225 secs
lola: 46681233 markings, 208941173 edges, 190392 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8219768 KB
lola: time consumption: 241 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0))))))
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 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0))))
lola: processed formula length: 79
lola: 34 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: 2101153 markings, 4429914 edges, 420231 markings/sec, 0 secs
lola: 4163545 markings, 8772571 edges, 412478 markings/sec, 5 secs
lola: 6029600 markings, 12691909 edges, 373211 markings/sec, 10 secs
lola: 7877855 markings, 16532915 edges, 369651 markings/sec, 15 secs
lola: 9632173 markings, 20230885 edges, 350864 markings/sec, 20 secs
lola: 11436990 markings, 23971721 edges, 360963 markings/sec, 25 secs
lola: 13090056 markings, 27438676 edges, 330613 markings/sec, 30 secs
lola: 14793436 markings, 31067595 edges, 340676 markings/sec, 35 secs
lola: 16452678 markings, 34531476 edges, 331848 markings/sec, 40 secs
lola: 18095649 markings, 38093227 edges, 328594 markings/sec, 45 secs
lola: 19759810 markings, 41628449 edges, 332832 markings/sec, 50 secs
lola: 21405143 markings, 45136105 edges, 329067 markings/sec, 55 secs
lola: 23006253 markings, 48566952 edges, 320222 markings/sec, 60 secs
lola: 24598549 markings, 52014083 edges, 318459 markings/sec, 65 secs
lola: 26182088 markings, 55455241 edges, 316708 markings/sec, 70 secs
lola: 27845467 markings, 58910021 edges, 332676 markings/sec, 75 secs
lola: 29412720 markings, 62291541 edges, 313451 markings/sec, 80 secs
lola: 31030037 markings, 65712218 edges, 323463 markings/sec, 85 secs
lola: 32590104 markings, 69064154 edges, 312013 markings/sec, 90 secs
lola: 34136633 markings, 72416995 edges, 309306 markings/sec, 95 secs
lola: 35740309 markings, 75752250 edges, 320735 markings/sec, 100 secs
lola: 37243972 markings, 79043823 edges, 300733 markings/sec, 105 secs
lola: 38744866 markings, 82188598 edges, 300179 markings/sec, 110 secs
lola: 40328875 markings, 85424620 edges, 316802 markings/sec, 115 secs
lola: 41942512 markings, 88767918 edges, 322727 markings/sec, 120 secs
lola: 43464081 markings, 91919641 edges, 304314 markings/sec, 125 secs
lola: 44934924 markings, 95174379 edges, 294169 markings/sec, 130 secs
lola: 46467980 markings, 98430946 edges, 306611 markings/sec, 135 secs
lola: 48006918 markings, 101663977 edges, 307788 markings/sec, 140 secs
lola: 49565273 markings, 104922751 edges, 311671 markings/sec, 145 secs
lola: 51061582 markings, 108139715 edges, 299262 markings/sec, 150 secs
lola: 52620798 markings, 111399914 edges, 311843 markings/sec, 155 secs
lola: 54108415 markings, 114598163 edges, 297523 markings/sec, 160 secs
lola: 55603007 markings, 117839939 edges, 298918 markings/sec, 165 secs
lola: 57094536 markings, 121073890 edges, 298306 markings/sec, 170 secs
lola: 58531016 markings, 124205965 edges, 287296 markings/sec, 175 secs
lola: 60037881 markings, 127398370 edges, 301373 markings/sec, 180 secs
lola: 61467174 markings, 130471187 edges, 285859 markings/sec, 185 secs
lola: 62929410 markings, 133682917 edges, 292447 markings/sec, 190 secs
lola: 64384771 markings, 136763611 edges, 291072 markings/sec, 195 secs
lola: 65880815 markings, 139967811 edges, 299209 markings/sec, 200 secs
lola: 67057791 markings, 142510481 edges, 235395 markings/sec, 205 secs
lola: 67913465 markings, 144323152 edges, 171135 markings/sec, 210 secs
lola: 68677808 markings, 145986301 edges, 152869 markings/sec, 215 secs
lola: 69591871 markings, 147909354 edges, 182813 markings/sec, 220 secs
lola: 70343181 markings, 149600976 edges, 150262 markings/sec, 225 secs
lola: 71457934 markings, 151995606 edges, 222951 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p17)))
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 <= p17)))
lola: processed formula length: 18
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)
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 <= p17)
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
lola: The predicate is reachable.
lola: 10 markings, 9 edges
lola: state equation: write sara problem file to CTLFireability-3-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p38 <= 0) AND A (G ((p16 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(((p38 <= 0) AND AG((p16 <= 0))))
lola: processed formula length: 35
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
sara: try reading problem file CTLFireability-3-0.sara.
lola: 1623600 markings, 5620960 edges, 324720 markings/sec, 0 secs
lola: 3276519 markings, 11284750 edges, 330584 markings/sec, 5 secs
lola: 4696290 markings, 16405362 edges, 283954 markings/sec, 10 secs
lola: 6113772 markings, 21414527 edges, 283496 markings/sec, 15 secs
lola: 7403877 markings, 26330048 edges, 258021 markings/sec, 20 secs
lola: 8802347 markings, 31077197 edges, 279694 markings/sec, 25 secs
lola: 10117551 markings, 35876379 edges, 263041 markings/sec, 30 secs
lola: 11301051 markings, 40516204 edges, 236700 markings/sec, 35 secs
lola: 12569832 markings, 45087864 edges, 253756 markings/sec, 40 secs
lola: 13830380 markings, 49654778 edges, 252110 markings/sec, 45 secs
lola: 15073642 markings, 54262977 edges, 248652 markings/sec, 50 secs
lola: 16324683 markings, 58784946 edges, 250208 markings/sec, 55 secs
lola: 17491551 markings, 62976478 edges, 233374 markings/sec, 60 secs
lola: 18743855 markings, 67341610 edges, 250461 markings/sec, 65 secs
lola: 19996259 markings, 71672771 edges, 250481 markings/sec, 70 secs
lola: 21224588 markings, 76053378 edges, 245666 markings/sec, 75 secs
lola: 22426166 markings, 80238203 edges, 240316 markings/sec, 80 secs
lola: 23696796 markings, 84538966 edges, 254126 markings/sec, 85 secs
lola: 24919373 markings, 88911848 edges, 244515 markings/sec, 90 secs
lola: 26133946 markings, 93193794 edges, 242915 markings/sec, 95 secs
lola: 27328727 markings, 97574237 edges, 238956 markings/sec, 100 secs
lola: 28538142 markings, 101799816 edges, 241883 markings/sec, 105 secs
lola: 29721360 markings, 106022781 edges, 236644 markings/sec, 110 secs
lola: 30880916 markings, 110467729 edges, 231911 markings/sec, 115 secs
lola: 32130326 markings, 114663947 edges, 249882 markings/sec, 120 secs
lola: 33392079 markings, 118875925 edges, 252351 markings/sec, 125 secs
lola: 34596030 markings, 123138321 edges, 240790 markings/sec, 130 secs
lola: 35782336 markings, 127412614 edges, 237261 markings/sec, 135 secs
lola: 36975918 markings, 131579568 edges, 238716 markings/sec, 140 secs
lola: 38170062 markings, 135678651 edges, 238829 markings/sec, 145 secs
lola: 39423762 markings, 140042764 edges, 250740 markings/sec, 150 secs
lola: 40610951 markings, 144318284 edges, 237438 markings/sec, 155 secs
lola: 41845037 markings, 148602861 edges, 246817 markings/sec, 160 secs
lola: 43009906 markings, 152796348 edges, 232974 markings/sec, 165 secs
lola: 44138820 markings, 156753814 edges, 225783 markings/sec, 170 secs
lola: 45257036 markings, 160687805 edges, 223643 markings/sec, 175 secs
lola: 46388186 markings, 164612347 edges, 226230 markings/sec, 180 secs
lola: 47557770 markings, 168695145 edges, 233917 markings/sec, 185 secs
lola: 48706829 markings, 172876755 edges, 229812 markings/sec, 190 secs
lola: 49844160 markings, 177050913 edges, 227466 markings/sec, 195 secs
lola: 50962137 markings, 181005444 edges, 223595 markings/sec, 200 secs
lola: 52096246 markings, 185204656 edges, 226822 markings/sec, 205 secs
lola: 53243619 markings, 189350295 edges, 229475 markings/sec, 210 secs
lola: 54481198 markings, 193389790 edges, 247516 markings/sec, 215 secs
lola: 55688935 markings, 197481777 edges, 241547 markings/sec, 220 secs
lola: 56867293 markings, 201545452 edges, 235672 markings/sec, 225 secs
lola: 58033608 markings, 205515740 edges, 233263 markings/sec, 230 secs
lola: 59163283 markings, 209562298 edges, 225935 markings/sec, 235 secs
lola: 60324312 markings, 213524868 edges, 232206 markings/sec, 240 secs
lola: 61544056 markings, 217593081 edges, 243949 markings/sec, 245 secs
lola: 62726166 markings, 221692131 edges, 236422 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: memory consumption: 11054572 KB
lola: time consumption: 736 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((1 <= p12) OR (1 <= p21)) OR E (F (((p15 <= 0) OR (p33 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((((1 <= p12) OR (1 <= p21)) OR EF(((p15 <= 0) OR (p33 <= 0)))))
lola: processed formula length: 68
lola: 34 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: 1809585 markings, 5616245 edges, 361917 markings/sec, 0 secs
lola: 3482917 markings, 10822632 edges, 334666 markings/sec, 5 secs
lola: 5121962 markings, 15943944 edges, 327809 markings/sec, 10 secs
lola: 6731275 markings, 20935649 edges, 321863 markings/sec, 15 secs
lola: 8300534 markings, 25851449 edges, 313852 markings/sec, 20 secs
lola: 9841511 markings, 30686826 edges, 308195 markings/sec, 25 secs
lola: 11385481 markings, 35518178 edges, 308794 markings/sec, 30 secs
lola: 12883253 markings, 40240395 edges, 299554 markings/sec, 35 secs
lola: 14383827 markings, 44937378 edges, 300115 markings/sec, 40 secs
lola: 15856626 markings, 49573463 edges, 294560 markings/sec, 45 secs
lola: 17321785 markings, 54200471 edges, 293032 markings/sec, 50 secs
lola: 18653199 markings, 58485400 edges, 266283 markings/sec, 55 secs
lola: 20071181 markings, 62991092 edges, 283596 markings/sec, 60 secs
lola: 21491045 markings, 67478434 edges, 283973 markings/sec, 65 secs
lola: 22862814 markings, 71849223 edges, 274354 markings/sec, 70 secs
lola: 24254158 markings, 76301054 edges, 278269 markings/sec, 75 secs
lola: 25572496 markings, 80583440 edges, 263668 markings/sec, 80 secs
lola: 26988730 markings, 85051257 edges, 283247 markings/sec, 85 secs
lola: 28284450 markings, 89154834 edges, 259144 markings/sec, 90 secs
lola: 29646581 markings, 93541856 edges, 272426 markings/sec, 95 secs
lola: 31046385 markings, 97948336 edges, 279961 markings/sec, 100 secs
lola: 32403221 markings, 102291764 edges, 271367 markings/sec, 105 secs
lola: 33619871 markings, 106279519 edges, 243330 markings/sec, 110 secs
lola: 35030364 markings, 110726266 edges, 282099 markings/sec, 115 secs
lola: 36370454 markings, 115019293 edges, 268018 markings/sec, 120 secs
lola: 37680636 markings, 119236114 edges, 262036 markings/sec, 125 secs
lola: 39061040 markings, 123605667 edges, 276081 markings/sec, 130 secs
lola: 40425809 markings, 127929209 edges, 272954 markings/sec, 135 secs
lola: 41832968 markings, 132340182 edges, 281432 markings/sec, 140 secs
lola: 43157599 markings, 136524738 edges, 264926 markings/sec, 145 secs
lola: 44485058 markings, 140746986 edges, 265492 markings/sec, 150 secs
lola: 45778755 markings, 144937599 edges, 258739 markings/sec, 155 secs
lola: 47059773 markings, 149069174 edges, 256204 markings/sec, 160 secs
lola: 48413457 markings, 153383866 edges, 270737 markings/sec, 165 secs
lola: 49793635 markings, 157687036 edges, 276036 markings/sec, 170 secs
lola: 51085241 markings, 161861549 edges, 258321 markings/sec, 175 secs
lola: 52444652 markings, 166138199 edges, 271882 markings/sec, 180 secs
lola: 53756632 markings, 170372099 edges, 262396 markings/sec, 185 secs
lola: 55059200 markings, 174553155 edges, 260514 markings/sec, 190 secs
lola: 56372714 markings, 178771356 edges, 262703 markings/sec, 195 secs
lola: 57660126 markings, 182971133 edges, 257482 markings/sec, 200 secs
lola: 58972033 markings, 187182303 edges, 262381 markings/sec, 205 secs
lola: 60235982 markings, 191302400 edges, 252790 markings/sec, 210 secs
lola: 61536921 markings, 195491889 edges, 260188 markings/sec, 215 secs
lola: 62852791 markings, 199722310 edges, 263174 markings/sec, 220 secs
lola: 64139231 markings, 203879497 edges, 257288 markings/sec, 225 secs
lola: 65462696 markings, 208128316 edges, 264693 markings/sec, 230 secs
lola: 66752786 markings, 212307760 edges, 258018 markings/sec, 235 secs
lola: 68062039 markings, 216504355 edges, 261851 markings/sec, 240 secs
lola: 69350494 markings, 220646924 edges, 257691 markings/sec, 245 secs
lola: 70566649 markings, 224635839 edges, 243231 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((1 <= p1) AND (1 <= p26) AND (1 <= p31)) R E (F ((p7 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: processed formula: A(((1 <= p1) AND (1 <= p26) AND (1 <= p31)) R EF((p7 <= 0)))
lola: processed formula length: 60
lola: 34 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: 1740916 markings, 5409346 edges, 348183 markings/sec, 0 secs
lola: 3562221 markings, 11067809 edges, 364261 markings/sec, 5 secs
lola: 5213300 markings, 16204382 edges, 330216 markings/sec, 10 secs
lola: 6840296 markings, 21233475 edges, 325399 markings/sec, 15 secs
lola: 8458437 markings, 26233923 edges, 323628 markings/sec, 20 secs
lola: 10053342 markings, 31176096 edges, 318981 markings/sec, 25 secs
lola: 11657483 markings, 36099445 edges, 320828 markings/sec, 30 secs
lola: 13201915 markings, 40884323 edges, 308886 markings/sec, 35 secs
lola: 14708637 markings, 45603216 edges, 301344 markings/sec, 40 secs
lola: 16253171 markings, 50373357 edges, 308907 markings/sec, 45 secs
lola: 17757980 markings, 55084819 edges, 300962 markings/sec, 50 secs
lola: 19237037 markings, 59723267 edges, 295811 markings/sec, 55 secs
lola: 20713760 markings, 64374708 edges, 295345 markings/sec, 60 secs
lola: 22155183 markings, 68929613 edges, 288285 markings/sec, 65 secs
lola: 23603316 markings, 73476805 edges, 289627 markings/sec, 70 secs
lola: 25056470 markings, 78091004 edges, 290631 markings/sec, 75 secs
lola: 26543817 markings, 82716313 edges, 297469 markings/sec, 80 secs
lola: 28006509 markings, 87279526 edges, 292538 markings/sec, 85 secs
lola: 29428018 markings, 91751458 edges, 284302 markings/sec, 90 secs
lola: 30798269 markings, 96014943 edges, 274050 markings/sec, 95 secs
lola: 32229342 markings, 100553332 edges, 286215 markings/sec, 100 secs
lola: 33624396 markings, 105007750 edges, 279011 markings/sec, 105 secs
lola: 35114118 markings, 109566535 edges, 297944 markings/sec, 110 secs
lola: 36532908 markings, 114000705 edges, 283758 markings/sec, 115 secs
lola: 37907002 markings, 118341405 edges, 274819 markings/sec, 120 secs
lola: 39389455 markings, 122862108 edges, 296491 markings/sec, 125 secs
lola: 40891733 markings, 127453313 edges, 300456 markings/sec, 130 secs
lola: 42355418 markings, 131940603 edges, 292737 markings/sec, 135 secs
lola: 43781810 markings, 136368525 edges, 285278 markings/sec, 140 secs
lola: 45111502 markings, 140653595 edges, 265938 markings/sec, 145 secs
lola: 46510412 markings, 145022710 edges, 279782 markings/sec, 150 secs
lola: 47918804 markings, 149412317 edges, 281678 markings/sec, 155 secs
lola: 49358074 markings, 153841544 edges, 287854 markings/sec, 160 secs
lola: 50725451 markings, 158149508 edges, 273475 markings/sec, 165 secs
lola: 52139446 markings, 162552999 edges, 282799 markings/sec, 170 secs
lola: 53537008 markings, 166911143 edges, 279512 markings/sec, 175 secs
lola: 54898689 markings, 171218011 edges, 272336 markings/sec, 180 secs
lola: 56273366 markings, 175539373 edges, 274935 markings/sec, 185 secs
lola: 57558174 markings, 179642836 edges, 256962 markings/sec, 190 secs
lola: 58946340 markings, 183986945 edges, 277633 markings/sec, 195 secs
lola: 60274768 markings, 188204991 edges, 265686 markings/sec, 200 secs
lola: 61627944 markings, 192478240 edges, 270635 markings/sec, 205 secs
lola: 62966003 markings, 196726346 edges, 267612 markings/sec, 210 secs
lola: 64333466 markings, 200978621 edges, 273493 markings/sec, 215 secs
lola: 65622247 markings, 205030387 edges, 257756 markings/sec, 220 secs
lola: 66976229 markings, 209314665 edges, 270796 markings/sec, 225 secs
lola: 68370708 markings, 213660836 edges, 278896 markings/sec, 230 secs
lola: 69716147 markings, 217900294 edges, 269088 markings/sec, 235 secs
lola: 71021356 markings, 222073130 edges, 261042 markings/sec, 240 secs
lola: 72423957 markings, 226424323 edges, 280520 markings/sec, 245 secs
lola: 73787197 markings, 230692996 edges, 272648 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A ((((1 <= p12) AND (1 <= p17)) U ((1 <= p15) AND (1 <= p34) AND (1 <= p25))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(A(((1 <= p12) AND (1 <= p17)) U ((1 <= p15) AND (1 <= p34) AND (1 <= p25))))
lola: processed formula length: 79
lola: 34 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: 1897693 markings, 5895960 edges, 379539 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 2948116 markings, 9169218 edges
lola: ========================================
lola: subprocess 8 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((1 <= p28) AND ((p9 <= 0) OR (p11 <= 0)) AND (p30 <= 0)) R E (F ((p37 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: processed formula: A(((1 <= p28) AND ((p9 <= 0) OR (p11 <= 0)) AND (p30 <= 0)) R EF((p37 <= 0)))
lola: processed formula length: 78
lola: 34 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: 1919167 markings, 6012610 edges, 383833 markings/sec, 0 secs
lola: 3684600 markings, 11522968 edges, 353087 markings/sec, 5 secs
lola: 5366490 markings, 16867462 edges, 336378 markings/sec, 10 secs
lola: 6989458 markings, 22094003 edges, 324594 markings/sec, 15 secs
lola: 8600464 markings, 27198047 edges, 322201 markings/sec, 20 secs
lola: 10125333 markings, 32118383 edges, 304974 markings/sec, 25 secs
lola: 11650694 markings, 36976213 edges, 305072 markings/sec, 30 secs
lola: 13143416 markings, 41789714 edges, 298544 markings/sec, 35 secs
lola: 14682493 markings, 46621051 edges, 307815 markings/sec, 40 secs
lola: 16182227 markings, 51402569 edges, 299947 markings/sec, 45 secs
lola: 17729632 markings, 56214882 edges, 309481 markings/sec, 50 secs
lola: 19227911 markings, 60897024 edges, 299656 markings/sec, 55 secs
lola: 20626699 markings, 65432318 edges, 279758 markings/sec, 60 secs
lola: 22039277 markings, 69972236 edges, 282516 markings/sec, 65 secs
lola: 23512255 markings, 74567567 edges, 294596 markings/sec, 70 secs
lola: 24932722 markings, 79064199 edges, 284093 markings/sec, 75 secs
lola: 26279137 markings, 83500456 edges, 269283 markings/sec, 80 secs
lola: 27785641 markings, 88138415 edges, 301301 markings/sec, 85 secs
lola: 29253168 markings, 92770304 edges, 293505 markings/sec, 90 secs
lola: 30604217 markings, 97226424 edges, 270210 markings/sec, 95 secs
lola: 31980206 markings, 101715024 edges, 275198 markings/sec, 100 secs
lola: 33310985 markings, 105973431 edges, 266156 markings/sec, 105 secs
lola: 34650856 markings, 110384634 edges, 267974 markings/sec, 110 secs
lola: 36015646 markings, 114816869 edges, 272958 markings/sec, 115 secs
lola: 37298796 markings, 119121622 edges, 256630 markings/sec, 120 secs
lola: 38701395 markings, 123574005 edges, 280520 markings/sec, 125 secs
lola: 40047717 markings, 127939126 edges, 269264 markings/sec, 130 secs
lola: 41425959 markings, 132348384 edges, 275648 markings/sec, 135 secs
lola: 42749002 markings, 136696697 edges, 264609 markings/sec, 140 secs
lola: 44063544 markings, 141029466 edges, 262908 markings/sec, 145 secs
lola: 45410015 markings, 145415719 edges, 269294 markings/sec, 150 secs
lola: 46638455 markings, 149613688 edges, 245688 markings/sec, 155 secs
lola: 47954664 markings, 153907091 edges, 263242 markings/sec, 160 secs
lola: 49286604 markings, 158215117 edges, 266388 markings/sec, 165 secs
lola: 50638748 markings, 162576590 edges, 270429 markings/sec, 170 secs
lola: 51961173 markings, 166873121 edges, 264485 markings/sec, 175 secs
lola: 53279372 markings, 171169237 edges, 263640 markings/sec, 180 secs
lola: 54676321 markings, 175618592 edges, 279390 markings/sec, 185 secs
lola: 55903297 markings, 179787043 edges, 245395 markings/sec, 190 secs
lola: 57134734 markings, 183958857 edges, 246287 markings/sec, 195 secs
lola: 58472837 markings, 188273686 edges, 267621 markings/sec, 200 secs
lola: 59727571 markings, 192440751 edges, 250947 markings/sec, 205 secs
lola: 61069115 markings, 196704663 edges, 268309 markings/sec, 210 secs
lola: 62330704 markings, 200871175 edges, 252318 markings/sec, 215 secs
lola: 63597617 markings, 205034095 edges, 253383 markings/sec, 220 secs
lola: 64869622 markings, 209218604 edges, 254401 markings/sec, 225 secs
lola: 66273147 markings, 213540787 edges, 280705 markings/sec, 230 secs
lola: 67519019 markings, 217700753 edges, 249174 markings/sec, 235 secs
lola: 68767510 markings, 221843217 edges, 249698 markings/sec, 240 secs
lola: 70071260 markings, 226046395 edges, 260750 markings/sec, 245 secs
lola: 71321273 markings, 230174805 edges, 250003 markings/sec, 250 secs
lola: 72587168 markings, 234310211 edges, 253179 markings/sec, 255 secs
lola: 73840226 markings, 238431536 edges, 250612 markings/sec, 260 secs
lola: 75133051 markings, 242633635 edges, 258565 markings/sec, 265 secs
lola: 76482774 markings, 246858075 edges, 269945 markings/sec, 270 secs
lola: 77708033 markings, 250950302 edges, 245052 markings/sec, 275 secs
lola: 78966966 markings, 255073940 edges, 251787 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (G ((p27 <= 0))) U E (G ((1 <= p30)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AG((p27 <= 0)) U EG((1 <= p30)))
lola: processed formula length: 34
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2555743 markings, 5389835 edges, 511149 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 2948039 markings, 6220979 edges
lola: ========================================
lola: subprocess 10 will run for 335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (G ((p23 <= 0))) U (((1 <= p32) AND (1 <= p36)) OR ((1 <= p16) AND (1 <= p24) AND (1 <= p31) AND (1 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AG((p23 <= 0)) U (((1 <= p32) AND (1 <= p36)) OR ((1 <= p16) AND (1 <= p24) AND (1 <= p31) AND (1 <= p21))))
lola: processed formula length: 111
lola: 34 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: 2546645 markings, 5370237 edges, 509329 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 2947994 markings, 6220916 edges
lola: ========================================
lola: subprocess 11 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (F (((1 <= p17) AND (1 <= p0) AND (1 <= p32)))) OR A (F (((1 <= p25) AND (1 <= p8) AND (1 <= p34)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((EF(((1 <= p17) AND (1 <= p0) AND (1 <= p32))) OR AF(((1 <= p25) AND (1 <= p8) AND (1 <= p34)))))
lola: processed formula length: 100
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2407295 markings, 5075417 edges, 481459 markings/sec, 0 secs
lola: 4801027 markings, 10134515 edges, 478746 markings/sec, 5 secs
lola: 7052477 markings, 14826123 edges, 450290 markings/sec, 10 secs
lola: 9199638 markings, 19330808 edges, 429432 markings/sec, 15 secs
lola: 11367690 markings, 23831920 edges, 433610 markings/sec, 20 secs
lola: 13417684 markings, 28151566 edges, 409999 markings/sec, 25 secs
lola: 15466671 markings, 32431059 edges, 409797 markings/sec, 30 secs
lola: 17453880 markings, 36659067 edges, 397442 markings/sec, 35 secs
lola: 19386637 markings, 40811389 edges, 386551 markings/sec, 40 secs
lola: 21315038 markings, 44941538 edges, 385680 markings/sec, 45 secs
lola: 23189873 markings, 48975286 edges, 374967 markings/sec, 50 secs
lola: 25066723 markings, 53056855 edges, 375370 markings/sec, 55 secs
lola: 27016862 markings, 57150875 edges, 390028 markings/sec, 60 secs
lola: 28893464 markings, 61185980 edges, 375320 markings/sec, 65 secs
lola: 30808715 markings, 65240689 edges, 383050 markings/sec, 70 secs
lola: 32644666 markings, 69185135 edges, 367190 markings/sec, 75 secs
lola: 34469280 markings, 73107795 edges, 364923 markings/sec, 80 secs
lola: 36343214 markings, 77044359 edges, 374787 markings/sec, 85 secs
lola: 38113040 markings, 80873461 edges, 353965 markings/sec, 90 secs
lola: 40033688 markings, 84806615 edges, 384130 markings/sec, 95 secs
lola: 41977245 markings, 88832987 edges, 388711 markings/sec, 100 secs
lola: 43867393 markings, 92765771 edges, 378030 markings/sec, 105 secs
lola: 45613707 markings, 96600877 edges, 349263 markings/sec, 110 secs
lola: 47425016 markings, 100449301 edges, 362262 markings/sec, 115 secs
lola: 49250876 markings, 104250610 edges, 365172 markings/sec, 120 secs
lola: 50963274 markings, 107946144 edges, 342480 markings/sec, 125 secs
lola: 52839368 markings, 111852649 edges, 375219 markings/sec, 130 secs
lola: 54596963 markings, 115644336 edges, 351519 markings/sec, 135 secs
lola: 56369746 markings, 119481543 edges, 354557 markings/sec, 140 secs
lola: 58049219 markings, 123138485 edges, 335895 markings/sec, 145 secs
lola: 59816331 markings, 126909277 edges, 353422 markings/sec, 150 secs
lola: 61544029 markings, 130654684 edges, 345540 markings/sec, 155 secs
lola: 63284209 markings, 134450173 edges, 348036 markings/sec, 160 secs
lola: 65116956 markings, 138284886 edges, 366549 markings/sec, 165 secs
lola: 66866545 markings, 142077622 edges, 349918 markings/sec, 170 secs
lola: 68617957 markings, 145849356 edges, 350282 markings/sec, 175 secs
lola: 70315196 markings, 149541332 edges, 339448 markings/sec, 180 secs
lola: 72100906 markings, 153325538 edges, 357142 markings/sec, 185 secs
lola: 73892174 markings, 157130200 edges, 358254 markings/sec, 190 secs
lola: 75632779 markings, 160886226 edges, 348121 markings/sec, 195 secs
lola: 77327679 markings, 164541580 edges, 338980 markings/sec, 200 secs
lola: 78990838 markings, 168190946 edges, 332632 markings/sec, 205 secs
lola: 80666826 markings, 171839171 edges, 335198 markings/sec, 210 secs
lola: 82344676 markings, 175513916 edges, 335570 markings/sec, 215 secs
lola: 84047203 markings, 179155332 edges, 340505 markings/sec, 220 secs
lola: 85640370 markings, 182741191 edges, 318633 markings/sec, 225 secs
lola: 87316405 markings, 186370629 edges, 335207 markings/sec, 230 secs
lola: 88997697 markings, 190006549 edges, 336258 markings/sec, 235 secs
lola: 90668226 markings, 193647054 edges, 334106 markings/sec, 240 secs
lola: 92259487 markings, 197089968 edges, 318252 markings/sec, 245 secs
lola: 93477693 markings, 199701431 edges, 243641 markings/sec, 250 secs
lola: 94840801 markings, 202744569 edges, 272622 markings/sec, 255 secs
lola: 95950859 markings, 205116196 edges, 222012 markings/sec, 260 secs
lola: 97034054 markings, 207545603 edges, 216639 markings/sec, 265 secs
lola: 97980056 markings, 209590855 edges, 189200 markings/sec, 270 secs
lola: 98878158 markings, 211622283 edges, 179620 markings/sec, 275 secs
lola: 99685111 markings, 213379196 edges, 161391 markings/sec, 280 secs
lola: 100472140 markings, 215201926 edges, 157406 markings/sec, 285 secs
lola: 101374903 markings, 217200958 edges, 180553 markings/sec, 290 secs
lola: 102058843 markings, 218714307 edges, 136788 markings/sec, 295 secs
lola: 103176828 markings, 221020208 edges, 223597 markings/sec, 300 secs
lola: 103819676 markings, 222471795 edges, 128570 markings/sec, 305 secs
lola: 104709123 markings, 224454199 edges, 177889 markings/sec, 310 secs
lola: 105193314 markings, 225560273 edges, 96838 markings/sec, 315 secs
lola: 105862312 markings, 227042695 edges, 133800 markings/sec, 320 secs
lola: 106392591 markings, 228259362 edges, 106056 markings/sec, 325 secs
lola: 107449827 markings, 230483486 edges, 211447 markings/sec, 330 secs
lola: 108165085 markings, 232041824 edges, 143052 markings/sec, 335 secs
lola: 108632814 markings, 233037110 edges, 93546 markings/sec, 340 secs
lola: 109299754 markings, 234544795 edges, 133388 markings/sec, 345 secs
lola: 109938708 markings, 235954913 edges, 127791 markings/sec, 350 secs
lola: 110510292 markings, 237240849 edges, 114317 markings/sec, 355 secs
lola: 111286257 markings, 238830467 edges, 155193 markings/sec, 360 secs
lola: 112113207 markings, 240606637 edges, 165390 markings/sec, 365 secs
lola: 112634547 markings, 241724854 edges, 104268 markings/sec, 370 secs
lola: 113041441 markings, 242600511 edges, 81379 markings/sec, 375 secs
lola: 113130327 markings, 242784204 edges, 17777 markings/sec, 380 secs
lola: 113156351 markings, 242831154 edges, 5205 markings/sec, 385 secs
lola: 113194867 markings, 242914653 edges, 7703 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes unknown unknown no unknown no
lola: caught signal User defined signal 2 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (F ((((1 <= p9) AND (1 <= p11)) OR ((1 <= p15) AND (1 <= p34))))) AND E (F (((1 <= p12) AND (1 <= p18) AND (1 <= p31)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AF((((1 <= p9) AND (1 <= p11)) OR ((1 <= p15) AND (1 <= p34)))) AND EF(((1 <= p12) AND (1 <= p18) AND (1 <= p31)))))
lola: processed formula length: 121
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1119617 markings, 4593743 edges, 223923 markings/sec, 0 secs
lola: 2239559 markings, 9200364 edges, 223988 markings/sec, 5 secs
lola: 3723206 markings, 13962518 edges, 296729 markings/sec, 10 secs
lola: 5935631 markings, 18632953 edges, 442485 markings/sec, 15 secs
lola: 7971142 markings, 23085034 edges, 407102 markings/sec, 20 secs
lola: 9971857 markings, 27297047 edges, 400143 markings/sec, 25 secs
lola: 11951145 markings, 31533666 edges, 395858 markings/sec, 30 secs
lola: 13902015 markings, 35718885 edges, 390174 markings/sec, 35 secs
lola: 15841091 markings, 39836754 edges, 387815 markings/sec, 40 secs
lola: 17834104 markings, 44015853 edges, 398603 markings/sec, 45 secs
lola: 19728319 markings, 48027377 edges, 378843 markings/sec, 50 secs
lola: 21611182 markings, 52037891 edges, 376573 markings/sec, 55 secs
lola: 23536459 markings, 56050476 edges, 385055 markings/sec, 60 secs
lola: 25286236 markings, 59826884 edges, 349955 markings/sec, 65 secs
lola: 27215886 markings, 63832455 edges, 385930 markings/sec, 70 secs
lola: 29057584 markings, 67738783 edges, 368340 markings/sec, 75 secs
lola: 30921762 markings, 71648616 edges, 372836 markings/sec, 80 secs
lola: 32701312 markings, 75439343 edges, 355910 markings/sec, 85 secs
lola: 34528612 markings, 79355278 edges, 365460 markings/sec, 90 secs
lola: 36406261 markings, 83286681 edges, 375530 markings/sec, 95 secs
lola: 38266986 markings, 87239312 edges, 372145 markings/sec, 100 secs
lola: 39896647 markings, 90692981 edges, 325932 markings/sec, 105 secs
lola: 41616780 markings, 94473908 edges, 344027 markings/sec, 110 secs
lola: 43430989 markings, 98275234 edges, 362842 markings/sec, 115 secs
lola: 45087211 markings, 101797184 edges, 331244 markings/sec, 120 secs
lola: 46800295 markings, 105547037 edges, 342617 markings/sec, 125 secs
lola: 48572974 markings, 109309348 edges, 354536 markings/sec, 130 secs
lola: 50358285 markings, 113102726 edges, 357062 markings/sec, 135 secs
lola: 52045068 markings, 116768331 edges, 337357 markings/sec, 140 secs
lola: 53838493 markings, 120496177 edges, 358685 markings/sec, 145 secs
lola: 55629892 markings, 124263971 edges, 358280 markings/sec, 150 secs
lola: 57338511 markings, 127920586 edges, 341724 markings/sec, 155 secs
lola: 59087027 markings, 131629212 edges, 349703 markings/sec, 160 secs
lola: 60861398 markings, 135371040 edges, 354874 markings/sec, 165 secs
lola: 62537080 markings, 139019478 edges, 335136 markings/sec, 170 secs
lola: 64278071 markings, 142734600 edges, 348198 markings/sec, 175 secs
lola: 66036125 markings, 146446779 edges, 351611 markings/sec, 180 secs
lola: 67601309 markings, 149971999 edges, 313037 markings/sec, 185 secs
lola: 69303461 markings, 153602586 edges, 340430 markings/sec, 190 secs
lola: 70924260 markings, 157179673 edges, 324160 markings/sec, 195 secs
lola: 72604891 markings, 160778973 edges, 336126 markings/sec, 200 secs
lola: 74171223 markings, 164299253 edges, 313266 markings/sec, 205 secs
lola: 75852537 markings, 167943056 edges, 336263 markings/sec, 210 secs
lola: 77536142 markings, 171541975 edges, 336721 markings/sec, 215 secs
lola: 79175939 markings, 175142222 edges, 327959 markings/sec, 220 secs
lola: 80788285 markings, 178673147 edges, 322469 markings/sec, 225 secs
lola: 82408942 markings, 182185251 edges, 324131 markings/sec, 230 secs
lola: 83945597 markings, 185639588 edges, 307331 markings/sec, 235 secs
lola: 85572927 markings, 189179987 edges, 325466 markings/sec, 240 secs
lola: 87147449 markings, 192675767 edges, 314904 markings/sec, 245 secs
lola: 88779905 markings, 196203966 edges, 326491 markings/sec, 250 secs
lola: 90363271 markings, 199694501 edges, 316673 markings/sec, 255 secs
lola: 91943054 markings, 203110127 edges, 315957 markings/sec, 260 secs
lola: 93011680 markings, 205404477 edges, 213725 markings/sec, 265 secs
lola: 94185946 markings, 208005165 edges, 234853 markings/sec, 270 secs
lola: 95360566 markings, 210608207 edges, 234924 markings/sec, 275 secs
lola: 96446285 markings, 212882504 edges, 217144 markings/sec, 280 secs
lola: 97286019 markings, 214790269 edges, 167947 markings/sec, 285 secs
lola: 98157154 markings, 216712861 edges, 174227 markings/sec, 290 secs
lola: 98959791 markings, 218507430 edges, 160527 markings/sec, 295 secs
lola: 99725261 markings, 220161370 edges, 153094 markings/sec, 300 secs
lola: 100438687 markings, 221756697 edges, 142685 markings/sec, 305 secs
lola: 101265085 markings, 223536429 edges, 165280 markings/sec, 310 secs
lola: 102137961 markings, 225405425 edges, 174575 markings/sec, 315 secs
lola: 102767970 markings, 226812651 edges, 126002 markings/sec, 320 secs
lola: 103499694 markings, 228401741 edges, 146345 markings/sec, 325 secs
lola: 104207172 markings, 229926454 edges, 141496 markings/sec, 330 secs
lola: 104886503 markings, 231474110 edges, 135866 markings/sec, 335 secs
lola: 105567097 markings, 232964758 edges, 136119 markings/sec, 340 secs
lola: 106222623 markings, 234409363 edges, 131105 markings/sec, 345 secs
lola: 106854338 markings, 235784144 edges, 126343 markings/sec, 350 secs
lola: 107610850 markings, 237364793 edges, 151302 markings/sec, 355 secs
lola: 108301880 markings, 238847932 edges, 138206 markings/sec, 360 secs
lola: 108961711 markings, 240305788 edges, 131966 markings/sec, 365 secs
lola: 109637475 markings, 241821098 edges, 135153 markings/sec, 370 secs
lola: 110367512 markings, 243405760 edges, 146007 markings/sec, 375 secs
lola: 111243585 markings, 245229914 edges, 175215 markings/sec, 380 secs
lola: 112015594 markings, 246895123 edges, 154402 markings/sec, 385 secs
lola: 112726082 markings, 248383411 edges, 142098 markings/sec, 390 secs
lola: 113032410 markings, 249051211 edges, 61266 markings/sec, 395 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes unknown unknown no unknown no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((E (G ((1 <= p9))) U (1 <= p15))) OR E ((((p6 <= 0) OR (p11 <= 0) OR (p13 <= 0)) U ((1 <= p32) AND (1 <= p35) AND (1 <= p1) AND (1 <= p38)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: (A(EG((1 <= p9)) U (1 <= p15)) OR E(((p6 <= 0) OR (p11 <= 0) OR (p13 <= 0)) U ((1 <= p32) AND (1 <= p35) AND (1 <= p1) AND (1 <= p38))))
lola: processed formula length: 138
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2420263 markings, 5103301 edges, 484053 markings/sec, 0 secs
lola: 4707392 markings, 9930553 edges, 457426 markings/sec, 5 secs
lola: 6848047 markings, 14409603 edges, 428131 markings/sec, 10 secs
lola: 8921911 markings, 18767209 edges, 414773 markings/sec, 15 secs
lola: 11055524 markings, 23148549 edges, 426723 markings/sec, 20 secs
lola: 12908051 markings, 27053498 edges, 370505 markings/sec, 25 secs
lola: 14889516 markings, 31253206 edges, 396293 markings/sec, 30 secs
lola: 16865701 markings, 35396918 edges, 395237 markings/sec, 35 secs
lola: 18741996 markings, 39476982 edges, 375259 markings/sec, 40 secs
lola: 20572884 markings, 43379359 edges, 366178 markings/sec, 45 secs
lola: 22419286 markings, 47341665 edges, 369280 markings/sec, 50 secs
lola: 24298458 markings, 51333669 edges, 375834 markings/sec, 55 secs
lola: 26077421 markings, 55240433 edges, 355793 markings/sec, 60 secs
lola: 27994446 markings, 59246063 edges, 383405 markings/sec, 65 secs
lola: 29812728 markings, 63173377 edges, 363656 markings/sec, 70 secs
lola: 31563732 markings, 66912095 edges, 350201 markings/sec, 75 secs
lola: 33359334 markings, 70778500 edges, 359120 markings/sec, 80 secs
lola: 35094352 markings, 74411506 edges, 347004 markings/sec, 85 secs
lola: 36864991 markings, 78204171 edges, 354128 markings/sec, 90 secs
lola: 38647979 markings, 82001471 edges, 356598 markings/sec, 95 secs
lola: 40568065 markings, 85915809 edges, 384017 markings/sec, 100 secs
lola: 42449999 markings, 89791856 edges, 376387 markings/sec, 105 secs
lola: 44245583 markings, 93573672 edges, 359117 markings/sec, 110 secs
lola: 45836000 markings, 97074933 edges, 318083 markings/sec, 115 secs
lola: 47592314 markings, 100809674 edges, 351263 markings/sec, 120 secs
lola: 49357704 markings, 104482523 edges, 353078 markings/sec, 125 secs
lola: 51094563 markings, 108201859 edges, 347372 markings/sec, 130 secs
lola: 52904676 markings, 111986731 edges, 362023 markings/sec, 135 secs
lola: 54599556 markings, 115649596 edges, 338976 markings/sec, 140 secs
lola: 56310292 markings, 119354788 edges, 342147 markings/sec, 145 secs
lola: 57995695 markings, 123022357 edges, 337081 markings/sec, 150 secs
lola: 59685354 markings, 126648828 edges, 337932 markings/sec, 155 secs
lola: 61386246 markings, 130296471 edges, 340178 markings/sec, 160 secs
lola: 63054668 markings, 133947495 edges, 333684 markings/sec, 165 secs
lola: 64794659 markings, 137633278 edges, 347998 markings/sec, 170 secs
lola: 66504668 markings, 141283661 edges, 342002 markings/sec, 175 secs
lola: 68243871 markings, 145014040 edges, 347841 markings/sec, 180 secs
lola: 69897051 markings, 148583681 edges, 330636 markings/sec, 185 secs
lola: 71534043 markings, 152166343 edges, 327398 markings/sec, 190 secs
lola: 73340267 markings, 155904488 edges, 361245 markings/sec, 195 secs
lola: 75000049 markings, 159528630 edges, 331956 markings/sec, 200 secs
lola: 76730283 markings, 163197537 edges, 346047 markings/sec, 205 secs
lola: 78366734 markings, 166758497 edges, 327290 markings/sec, 210 secs
lola: 79901880 markings, 170247636 edges, 307029 markings/sec, 215 secs
lola: 81659487 markings, 173959498 edges, 351521 markings/sec, 220 secs
lola: 83251780 markings, 177484066 edges, 318459 markings/sec, 225 secs
lola: 84924740 markings, 181080808 edges, 334592 markings/sec, 230 secs
lola: 86443075 markings, 184573354 edges, 303667 markings/sec, 235 secs
lola: 88184539 markings, 188214528 edges, 348293 markings/sec, 240 secs
lola: 89865952 markings, 191866014 edges, 336283 markings/sec, 245 secs
lola: 91388496 markings, 195171703 edges, 304509 markings/sec, 250 secs
lola: 92860854 markings, 198385118 edges, 294472 markings/sec, 255 secs
lola: 94005462 markings, 200864364 edges, 228922 markings/sec, 260 secs
lola: 95124658 markings, 203344515 edges, 223839 markings/sec, 265 secs
lola: 96272953 markings, 205841426 edges, 229659 markings/sec, 270 secs
lola: 96833535 markings, 207123730 edges, 112116 markings/sec, 275 secs
lola: 97888215 markings, 209386174 edges, 210936 markings/sec, 280 secs
lola: 98637139 markings, 211066278 edges, 149785 markings/sec, 285 secs
lola: 99523447 markings, 213027939 edges, 177262 markings/sec, 290 secs
lola: 100225184 markings, 214627752 edges, 140347 markings/sec, 295 secs
lola: 100780934 markings, 215932067 edges, 111150 markings/sec, 300 secs
lola: 101649094 markings, 217772704 edges, 173632 markings/sec, 305 secs
lola: 102308782 markings, 219242849 edges, 131938 markings/sec, 310 secs
lola: 103179557 markings, 221026293 edges, 174155 markings/sec, 315 secs
lola: 103889250 markings, 222638667 edges, 141939 markings/sec, 320 secs
lola: 104560255 markings, 224121090 edges, 134201 markings/sec, 325 secs
lola: 105109316 markings, 225373651 edges, 109812 markings/sec, 330 secs
lola: 105648211 markings, 226559885 edges, 107779 markings/sec, 335 secs
lola: 106214195 markings, 227837114 edges, 113197 markings/sec, 340 secs
lola: 107152337 markings, 229867015 edges, 187628 markings/sec, 345 secs
lola: 107954262 markings, 231599766 edges, 160385 markings/sec, 350 secs
lola: 108696107 markings, 233178049 edges, 148369 markings/sec, 355 secs
lola: 109262148 markings, 234462609 edges, 113208 markings/sec, 360 secs
lola: 109843918 markings, 235730012 edges, 116354 markings/sec, 365 secs
lola: 110295562 markings, 236746779 edges, 90329 markings/sec, 370 secs
lola: 111038928 markings, 238313451 edges, 148673 markings/sec, 375 secs
lola: 111710237 markings, 239740297 edges, 134262 markings/sec, 380 secs
lola: 112383496 markings, 241210549 edges, 134652 markings/sec, 385 secs
lola: 112788863 markings, 242067030 edges, 81073 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes unknown unknown no unknown no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (A (F ((p13 <= 0))))) AND A (G (((p26 <= 0) OR (p31 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p26 <= 0) OR (p31 <= 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 (((p26 <= 0) OR (p31 <= 0))))
lola: processed formula length: 35
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p26) AND (1 <= p31))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 11 markings, 10 edges
lola: state equation: write sara problem file to CTLFireability-14-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 795 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22))))) OR (E (F (A (G ((1 <= p25))))) OR ((1 <= p12) AND (1 <= p8) AND (1 <= p33))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 794 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p12) AND (1 <= p8) AND (1 <= p33))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p12) AND (1 <= p8) AND (1 <= p33))
lola: processed formula length: 41
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 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
sara: try reading problem file CTLFireability-14-0.sara.
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (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 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22)))))
lola: processed formula length: 98
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)
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 <= p25) AND (1 <= p7) AND (1 <= p11) AND (((1 <= p15) AND (1 <= p33)) OR (1 <= p22)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 9 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 61 markings, 63 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (A (G (E (F ((1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(AG(EF((1 <= p15))))
lola: processed formula length: 22
lola: 35 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: 2522476 markings, 5319178 edges, 504495 markings/sec, 0 secs
lola: 2948016 markings, 10734307 edges, 85108 markings/sec, 5 secs
lola: 3221841 markings, 16716009 edges, 54765 markings/sec, 10 secs
lola: 4224303 markings, 21438499 edges, 200492 markings/sec, 15 secs
lola: 5271516 markings, 26339042 edges, 209443 markings/sec, 20 secs
lola: 6323490 markings, 31221726 edges, 210395 markings/sec, 25 secs
lola: 7426451 markings, 36111326 edges, 220592 markings/sec, 30 secs
lola: 8438136 markings, 40654699 edges, 202337 markings/sec, 35 secs
lola: 9463858 markings, 45247970 edges, 205144 markings/sec, 40 secs
lola: 10494323 markings, 50178879 edges, 206093 markings/sec, 45 secs
lola: 11530001 markings, 54717534 edges, 207136 markings/sec, 50 secs
lola: 12558941 markings, 59269444 edges, 205788 markings/sec, 55 secs
lola: 13551647 markings, 63697417 edges, 198541 markings/sec, 60 secs
lola: 14549292 markings, 68209575 edges, 199529 markings/sec, 65 secs
lola: 15569309 markings, 72729762 edges, 204003 markings/sec, 70 secs
lola: 16563768 markings, 77242948 edges, 198892 markings/sec, 75 secs
lola: 17544380 markings, 81641969 edges, 196122 markings/sec, 80 secs
lola: 18499557 markings, 85867225 edges, 191035 markings/sec, 85 secs
lola: 19502807 markings, 90224033 edges, 200650 markings/sec, 90 secs
lola: 20472399 markings, 94529341 edges, 193918 markings/sec, 95 secs
lola: 21444387 markings, 98824999 edges, 194398 markings/sec, 100 secs
lola: 22391493 markings, 102983912 edges, 189421 markings/sec, 105 secs
lola: 23355851 markings, 107241360 edges, 192872 markings/sec, 110 secs
lola: 24347780 markings, 111580178 edges, 198386 markings/sec, 115 secs
lola: 25281947 markings, 115742991 edges, 186833 markings/sec, 120 secs
lola: 26264466 markings, 120025989 edges, 196504 markings/sec, 125 secs
lola: 27281940 markings, 124522681 edges, 203495 markings/sec, 130 secs
lola: 28233337 markings, 128670649 edges, 190279 markings/sec, 135 secs
lola: 29186479 markings, 132873816 edges, 190628 markings/sec, 140 secs
lola: 30159104 markings, 137163009 edges, 194525 markings/sec, 145 secs
lola: 31128842 markings, 141437257 edges, 193948 markings/sec, 150 secs
lola: 32065122 markings, 145586924 edges, 187256 markings/sec, 155 secs
lola: 32962989 markings, 149492451 edges, 179573 markings/sec, 160 secs
lola: 33870660 markings, 153497609 edges, 181534 markings/sec, 165 secs
lola: 34853769 markings, 157739084 edges, 196622 markings/sec, 170 secs
lola: 35851578 markings, 162005678 edges, 199562 markings/sec, 175 secs
lola: 36783744 markings, 166038516 edges, 186433 markings/sec, 180 secs
lola: 37721806 markings, 170110355 edges, 187612 markings/sec, 185 secs
lola: 38666083 markings, 174286170 edges, 188855 markings/sec, 190 secs
lola: 39701253 markings, 178654238 edges, 207034 markings/sec, 195 secs
lola: 40696551 markings, 182982051 edges, 199060 markings/sec, 200 secs
lola: 41661127 markings, 187244346 edges, 192915 markings/sec, 205 secs
lola: 42621650 markings, 191352929 edges, 192105 markings/sec, 210 secs
lola: 43579970 markings, 195481604 edges, 191664 markings/sec, 215 secs
lola: 44473777 markings, 199409476 edges, 178761 markings/sec, 220 secs
lola: 45324144 markings, 203126780 edges, 170073 markings/sec, 225 secs
lola: 46284234 markings, 207290577 edges, 192018 markings/sec, 230 secs
lola: 47233601 markings, 211372497 edges, 189873 markings/sec, 235 secs
lola: 48124405 markings, 215178965 edges, 178161 markings/sec, 240 secs
lola: 49110833 markings, 219409967 edges, 197286 markings/sec, 245 secs
lola: 50070118 markings, 223590078 edges, 191857 markings/sec, 250 secs
lola: 50979062 markings, 227489753 edges, 181789 markings/sec, 255 secs
lola: 51948632 markings, 231752625 edges, 193914 markings/sec, 260 secs
lola: 52908983 markings, 235905487 edges, 192070 markings/sec, 265 secs
lola: 53824136 markings, 239848091 edges, 183031 markings/sec, 270 secs
lola: 54776893 markings, 243928143 edges, 190551 markings/sec, 275 secs
lola: 55701012 markings, 247979352 edges, 184824 markings/sec, 280 secs
lola: 56621648 markings, 251954869 edges, 184127 markings/sec, 285 secs
lola: 57548662 markings, 255930294 edges, 185403 markings/sec, 290 secs
lola: 58450072 markings, 259843705 edges, 180282 markings/sec, 295 secs
lola: 59405458 markings, 263954670 edges, 191077 markings/sec, 300 secs
lola: 60335088 markings, 267928433 edges, 185926 markings/sec, 305 secs
lola: 61281387 markings, 272015722 edges, 189260 markings/sec, 310 secs
lola: 62218581 markings, 276098583 edges, 187439 markings/sec, 315 secs
lola: 63113828 markings, 280018009 edges, 179049 markings/sec, 320 secs
lola: 64075242 markings, 284069266 edges, 192283 markings/sec, 325 secs
lola: 65034740 markings, 288245977 edges, 191900 markings/sec, 330 secs
lola: 65933457 markings, 292180881 edges, 179743 markings/sec, 335 secs
lola: 66890699 markings, 296296112 edges, 191448 markings/sec, 340 secs
lola: 67822169 markings, 300382989 edges, 186294 markings/sec, 345 secs
lola: 68722426 markings, 304326457 edges, 180051 markings/sec, 350 secs
lola: 69679656 markings, 308385968 edges, 191446 markings/sec, 355 secs
lola: 70563291 markings, 312199588 edges, 176727 markings/sec, 360 secs
lola: 71480248 markings, 316187643 edges, 183391 markings/sec, 365 secs
lola: 72456879 markings, 320332371 edges, 195326 markings/sec, 370 secs
lola: 73422504 markings, 324507422 edges, 193125 markings/sec, 375 secs
lola: 74295015 markings, 328335427 edges, 174502 markings/sec, 380 secs
lola: 75264346 markings, 332490187 edges, 193866 markings/sec, 385 secs
lola: 76223824 markings, 336586359 edges, 191896 markings/sec, 390 secs
lola: 77109361 markings, 340417426 edges, 177107 markings/sec, 395 secs
lola: 77998452 markings, 344246850 edges, 177818 markings/sec, 400 secs
lola: 78916807 markings, 348171509 edges, 183671 markings/sec, 405 secs
lola: 79774431 markings, 351922621 edges, 171525 markings/sec, 410 secs
lola: 80706969 markings, 355993384 edges, 186508 markings/sec, 415 secs
lola: 81619332 markings, 360077300 edges, 182473 markings/sec, 420 secs
lola: 82486108 markings, 363814152 edges, 173355 markings/sec, 425 secs
lola: 83408081 markings, 367775098 edges, 184395 markings/sec, 430 secs
lola: 84324531 markings, 371721350 edges, 183290 markings/sec, 435 secs
lola: 85195568 markings, 375535165 edges, 174207 markings/sec, 440 secs
lola: 86049913 markings, 379275749 edges, 170869 markings/sec, 445 secs
lola: 86973671 markings, 383183651 edges, 184752 markings/sec, 450 secs
lola: 87905855 markings, 387171676 edges, 186437 markings/sec, 455 secs
lola: 88802393 markings, 391018231 edges, 179308 markings/sec, 460 secs
lola: 89724836 markings, 395057341 edges, 184489 markings/sec, 465 secs
lola: 90611768 markings, 398884210 edges, 177386 markings/sec, 470 secs
lola: 91512822 markings, 402699032 edges, 180211 markings/sec, 475 secs
lola: 92323196 markings, 406212408 edges, 162075 markings/sec, 480 secs
lola: 93062853 markings, 409499717 edges, 147931 markings/sec, 485 secs
lola: 93707713 markings, 412264907 edges, 128972 markings/sec, 490 secs
lola: 94319168 markings, 414955993 edges, 122291 markings/sec, 495 secs
lola: 94999089 markings, 417890117 edges, 135984 markings/sec, 500 secs
lola: 95745863 markings, 421185769 edges, 149355 markings/sec, 505 secs
lola: 96287883 markings, 423486251 edges, 108404 markings/sec, 510 secs
lola: 96744253 markings, 425487412 edges, 91274 markings/sec, 515 secs
lola: 97481815 markings, 428707115 edges, 147512 markings/sec, 520 secs
lola: 98231702 markings, 431835135 edges, 149977 markings/sec, 525 secs
lola: 98818123 markings, 434383118 edges, 117284 markings/sec, 530 secs
lola: 99377733 markings, 436789798 edges, 111922 markings/sec, 535 secs
lola: 99901315 markings, 439015077 edges, 104716 markings/sec, 540 secs
lola: 100445357 markings, 441413646 edges, 108808 markings/sec, 545 secs
lola: 100938668 markings, 443591354 edges, 98662 markings/sec, 550 secs
lola: 101604016 markings, 446426823 edges, 133070 markings/sec, 555 secs
lola: 102149619 markings, 448754708 edges, 109121 markings/sec, 560 secs
lola: 102662094 markings, 450847340 edges, 102495 markings/sec, 565 secs
lola: 103280999 markings, 453503282 edges, 123781 markings/sec, 570 secs
lola: 103715049 markings, 455380443 edges, 86810 markings/sec, 575 secs
lola: 104285649 markings, 457919161 edges, 114120 markings/sec, 580 secs
lola: 104694112 markings, 459695324 edges, 81693 markings/sec, 585 secs
lola: 105119812 markings, 461545479 edges, 85140 markings/sec, 590 secs
lola: 105616546 markings, 463680968 edges, 99347 markings/sec, 595 secs
lola: 105990261 markings, 465296112 edges, 74743 markings/sec, 600 secs
lola: 106472934 markings, 467381391 edges, 96535 markings/sec, 605 secs
lola: 107021111 markings, 469657991 edges, 109635 markings/sec, 610 secs
lola: 107630847 markings, 472182336 edges, 121947 markings/sec, 615 secs
lola: 108168346 markings, 474440777 edges, 107500 markings/sec, 620 secs
lola: 108574419 markings, 476212903 edges, 81215 markings/sec, 625 secs
lola: 108932173 markings, 477763593 edges, 71551 markings/sec, 630 secs
lola: 109322801 markings, 479454642 edges, 78126 markings/sec, 635 secs
lola: 109812448 markings, 481643437 edges, 97929 markings/sec, 640 secs
lola: 110188044 markings, 483302770 edges, 75119 markings/sec, 645 secs
lola: 110645033 markings, 485242324 edges, 91398 markings/sec, 650 secs
lola: 111149784 markings, 487446777 edges, 100950 markings/sec, 655 secs
lola: 111682834 markings, 489804619 edges, 106610 markings/sec, 660 secs
lola: 112154888 markings, 491843976 edges, 94411 markings/sec, 665 secs
lola: 112579405 markings, 493589207 edges, 84903 markings/sec, 670 secs
lola: 112738615 markings, 494303886 edges, 31842 markings/sec, 675 secs
lola: 112760182 markings, 494392768 edges, 4313 markings/sec, 680 secs
lola: 112871599 markings, 494888787 edges, 22283 markings/sec, 685 secs
lola: 112882202 markings, 494940229 edges, 2121 markings/sec, 690 secs
lola: 112899400 markings, 495015225 edges, 3440 markings/sec, 695 secs
lola: 112918542 markings, 495099028 edges, 3828 markings/sec, 700 secs
lola: 112922479 markings, 495116782 edges, 787 markings/sec, 705 secs
lola: 112922893 markings, 495118759 edges, 83 markings/sec, 710 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0))))))
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 <= p8) AND (1 <= p34) AND (1 <= p14) AND (1 <= p32) AND (p30 <= 0))))
lola: processed formula length: 79
lola: 34 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: 1963259 markings, 4137175 edges, 392652 markings/sec, 0 secs
lola: 4025662 markings, 8479783 edges, 412481 markings/sec, 5 secs
lola: 5904752 markings, 12430347 edges, 375818 markings/sec, 10 secs
lola: 7677043 markings, 16093344 edges, 354458 markings/sec, 15 secs
lola: 9366110 markings, 19683421 edges, 337813 markings/sec, 20 secs
lola: 11195779 markings, 23457611 edges, 365934 markings/sec, 25 secs
lola: 12781680 markings, 26798140 edges, 317180 markings/sec, 30 secs
lola: 14361476 markings, 30122851 edges, 315959 markings/sec, 35 secs
lola: 16056883 markings, 33731108 edges, 339081 markings/sec, 40 secs
lola: 17742379 markings, 37290173 edges, 337099 markings/sec, 45 secs
lola: 19270336 markings, 40560188 edges, 305591 markings/sec, 50 secs
lola: 20921623 markings, 44098525 edges, 330257 markings/sec, 55 secs
lola: 22450368 markings, 47410333 edges, 305749 markings/sec, 60 secs
lola: 24063827 markings, 50839408 edges, 322692 markings/sec, 65 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes no unknown no yes no
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes no unknown no yes no
lola: memory consumption: 5845536 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes unknown unknown yes no unknown no yes no
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 10468340 kB
After kill :
MemTotal: 16427332 kB
MemFree: 10467084 kB
--------------------
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="Angiogenesis-PT-15"
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 Angiogenesis-PT-15, 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 r166-smll-158987787600340"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Angiogenesis-PT-15.tgz
mv Angiogenesis-PT-15 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 ;