About the Execution of ITS-LoLa for CircularTrains-PT-192
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15790.340 | 3600000.00 | 3601267.00 | 24064.20 | TT?TFF?TTF?FFF?T | 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.r168-smll-158987806200084.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 CircularTrains-PT-192, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806200084
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 08:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 26 07:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 07:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 147K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CircularTrains-PT-192-CTLFireability-00
FORMULA_NAME CircularTrains-PT-192-CTLFireability-01
FORMULA_NAME CircularTrains-PT-192-CTLFireability-02
FORMULA_NAME CircularTrains-PT-192-CTLFireability-03
FORMULA_NAME CircularTrains-PT-192-CTLFireability-04
FORMULA_NAME CircularTrains-PT-192-CTLFireability-05
FORMULA_NAME CircularTrains-PT-192-CTLFireability-06
FORMULA_NAME CircularTrains-PT-192-CTLFireability-07
FORMULA_NAME CircularTrains-PT-192-CTLFireability-08
FORMULA_NAME CircularTrains-PT-192-CTLFireability-09
FORMULA_NAME CircularTrains-PT-192-CTLFireability-10
FORMULA_NAME CircularTrains-PT-192-CTLFireability-11
FORMULA_NAME CircularTrains-PT-192-CTLFireability-12
FORMULA_NAME CircularTrains-PT-192-CTLFireability-13
FORMULA_NAME CircularTrains-PT-192-CTLFireability-14
FORMULA_NAME CircularTrains-PT-192-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591157917346
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 04:18:40] [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-03 04:18:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 04:18:40] [INFO ] Load time of PNML (sax parser for PT used): 141 ms
[2020-06-03 04:18:40] [INFO ] Transformed 384 places.
[2020-06-03 04:18:40] [INFO ] Transformed 192 transitions.
[2020-06-03 04:18:40] [INFO ] Parsed PT model containing 384 places and 192 transitions in 226 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 36 ms.
Finished random walk after 1318 steps, including 0 resets, run visited all 44 properties in 81 ms. (steps per millisecond=16 )
[2020-06-03 04:18:41] [INFO ] Flatten gal took : 92 ms
[2020-06-03 04:18:41] [INFO ] Flatten gal took : 42 ms
[2020-06-03 04:18:41] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 6 ms.
[2020-06-03 04:18:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 10 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ CircularTrains-PT-192 @ 3570 seconds
FORMULA CircularTrains-PT-192-CTLFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-192-CTLFireability-06 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ CircularTrains-PT-192
{
"exit":
{
"memory": 2398388,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "AG(EX(((p86 <= 0) OR (p187 <= 0) OR (p288 <= 0) OR (p367 <= 0))))",
"processed_size": 68,
"rewrites": 28
},
"net":
{
"conflict_clusters": 192,
"singleton_clusters": 0
},
"result":
{
"preliminary_value": "yes yes unknown yes no no unknown yes yes no unknown no no no unknown yes "
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
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: 576/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 12288
lola: finding significant places
lola: 384 places, 192 transitions, 191 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: E (G (E (F (((p26 <= 0) OR (p358 <= 0) OR ((1 <= p196) AND (1 <= p265) AND (1 <= p173) AND (1 <= p271))))))) : (A (F ((((1 <= p193) AND (1 <= p261)) OR ((1 <= p7) AND (1 <= p76))))) OR E (G (E (X (((1 <= p17) AND (1 <= p328))))))) : E ((((A (F (((1 <= p84) AND (1 <= p266)))) AND ((p108 <= 0) OR (p192 <= 0))) AND (((1 <= p159) AND (1 <= p219)) OR ((1 <= p173) AND (1 <= p271)))) U ((1 <= p211) AND (1 <= p338)))) : (NOT(A (G ((((1 <= p71) AND (1 <= p345)) OR ((1 <= p120) AND (1 <= p257)) OR (p85 <= 0) OR (p323 <= 0))))) OR ((E (X (((1 <= p196) AND (1 <= p265) AND (1 <= p305) AND (1 <= p317)))) AND A (G ((((1 <= p101) AND (1 <= p175)) OR ((1 <= p134) AND (1 <= p224)))))) AND ((((E (G (((1 <= p163) AND (1 <= p252) AND (1 <= p72) AND (1 <= p121)))) OR E (G (((1 <= p18) AND (1 <= p91))))) OR (p66 <= 0)) OR (p256 <= 0)) OR ((1 <= p16) AND (1 <= p263) AND (1 <= p138) AND (1 <= p242))))) : (NOT(A (G (A (F (((1 <= p34) AND (1 <= p36))))))) OR ((1 <= p238) AND (1 <= p330))) : A (G (((p26 <= 0) OR (p358 <= 0) OR ((1 <= p176) AND (1 <= p283))))) : (A ((A (X (((1 <= p233) AND (1 <= p322)))) U A (G (((1 <= p135) AND (1 <= p208)))))) OR A (F (A ((((1 <= p15) AND (1 <= p316)) U ((1 <= p253) AND (1 <= p313))))))) : E (X (E ((((p28 <= 0) OR (p32 <= 0)) U ((1 <= p150) AND (1 <= p213)))))) : E ((E (F ((((1 <= p23) AND (1 <= p143)) OR ((1 <= p59) AND (1 <= p221))))) U ((1 <= p104) AND (1 <= p227)))) : (E (X (E (X (((1 <= p273) AND (1 <= p355)))))) OR ((1 <= p104) AND (1 <= p227))) : A (G (NOT(A (X (((1 <= p86) AND (1 <= p187) AND (1 <= p288) AND (1 <= p367))))))) : A (F (A (G ((((1 <= p95) AND (1 <= p319)) OR ((1 <= p69) AND (1 <= p360) AND (1 <= p114) AND (1 <= p218))))))) : (A ((((1 <= p41) AND (1 <= p87)) U ((1 <= p300) AND (1 <= p346)))) OR NOT(E (G ((((1 <= p107) AND (1 <= p195)) OR ((1 <= p41) AND (1 <= p87)) OR ((1 <= p66) AND (1 <= p256))))))) : (E (X (A (X (((1 <= p158) AND (1 <= p228)))))) AND E ((E (G (((1 <= p31) AND (1 <= p93)))) U ((p38 <= 0) OR (p129 <= 0) OR (p58 <= 0) OR (p291 <= 0))))) : (E (F (((1 <= p16) AND (1 <= p263)))) OR (((((1 <= p357) AND (1 <= p362)) AND E (F (((1 <= p77) AND (1 <= p255))))) AND E (G (((1 <= p42) AND (1 <= p264))))) AND A (G (((1 <= p33) AND (1 <= p381)))))) : (E (((((1 <= p235) AND (1 <= p336)) OR ((1 <= p50) AND (1 <= p308))) U ((1 <= p237) AND (1 <= p270)))) OR ((1 <= p7) AND (1 <= p76)))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:440
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
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 (F ((((1 <= p193) AND (1 <= p261)) OR ((1 <= p7) AND (1 <= p76))))) OR E (G (E (X (((1 <= p17) AND (1 <= p328)))))))
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: A (F ((((1 <= p193) AND (1 <= p261)) OR ((1 <= p7) AND (1 <= p76)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((p193 <= 0) OR (p261 <= 0)) AND ((p7 <= 0) OR (p76 <= 0)))
lola: processed formula length: 62
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p193) AND (1 <= p261)) OR ((1 <= p7) AND (1 <= p76)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: state equation: write sara problem file to CTLFireability-0.sara
lola: The predicate eventually occurs.
lola: 1610 markings, 1610 edges
lola: state equation: calling and running sara
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: (E (F ((((p71 <= 0) OR (p345 <= 0)) AND ((p120 <= 0) OR (p257 <= 0)) AND (1 <= p85) AND (1 <= p323)))) OR (E (X (((1 <= p196) AND (1 <= p265) AND (1 <= p305) AND (1 <= p317)))) AND (A (G ((((1 <= p101) AND (1 <= p175)) OR ((1 <= p134) AND (1 <= p224))))) AND (E (G (((1 <= p163) AND (1 <= p252) AND (1 <= p72) AND (1 <= p121)))) OR (E (G (((1 <= p18) AND (1 <= p91)))) OR ((p66 <= 0) OR ((p256 <= ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p66 <= 0) OR ((p256 <= 0) OR ((1 <= p16) AND (1 <= p263) AND (1 <= p138) AND (1 <= p242))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:798
lola: processed formula: ((p66 <= 0) OR (p256 <= 0) OR ((1 <= p16) AND (1 <= p263) AND (1 <= p138) AND (1 <= p242)))
lola: processed formula length: 91
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 6 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((1 <= p101) AND (1 <= p175)) OR ((1 <= p134) AND (1 <= p224)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: sara: try reading problem file CTLFireability-0.sara.
rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((1 <= p101) AND (1 <= p175)) OR ((1 <= p134) AND (1 <= p224)))))
lola: processed formula length: 73
lola: 28 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: (((p101 <= 0) OR (p175 <= 0)) AND ((p134 <= 0) OR (p224 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 8 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p71 <= 0) OR (p345 <= 0)) AND ((p120 <= 0) OR (p257 <= 0)) AND (1 <= p85) AND (1 <= p323))))
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 ((((p71 <= 0) OR (p345 <= 0)) AND ((p120 <= 0) OR (p257 <= 0)) AND (1 <= p85) AND (1 <= p323))))
lola: processed formula length: 103
lola: 27 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: (((p71 <= 0) OR (p345 <= 0)) AND ((p120 <= 0) OR (p257 <= 0)) AND (1 <= p85) AND (1 <= p323))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 16 literals and 4 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((A (X (((1 <= p233) AND (1 <= p322)))) U A (G (((1 <= p135) AND (1 <= p208)))))) OR A (F (((1 <= p253) AND (1 <= p313)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: (A(AX(((1 <= p233) AND (1 <= p322))) U AG(((1 <= p135) AND (1 <= p208)))) OR AF(((1 <= p253) AND (1 <= p313))))
lola: processed formula length: 111
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
sara: place or transition ordering is non-deterministic
lola: 762383 markings, 2029021 edges, 152477 markings/sec, 0 secs
lola: 1509235 markings, 4100597 edges, 149370 markings/sec, 5 secs
lola: 2153908 markings, 6169004 edges, 128935 markings/sec, 10 secs
lola: 2808567 markings, 8246856 edges, 130932 markings/sec, 15 secs
lola: 3465541 markings, 10318854 edges, 131395 markings/sec, 20 secs
lola: 4112319 markings, 12391276 edges, 129356 markings/sec, 25 secs
lola: 4766562 markings, 14446995 edges, 130849 markings/sec, 30 secs
lola: 5421890 markings, 16507019 edges, 131066 markings/sec, 35 secs
lola: 6072136 markings, 18543231 edges, 130049 markings/sec, 40 secs
lola: 6719029 markings, 20568766 edges, 129379 markings/sec, 45 secs
lola: 7390150 markings, 22639205 edges, 134224 markings/sec, 50 secs
lola: 8049826 markings, 24651268 edges, 131935 markings/sec, 55 secs
lola: 8762379 markings, 26666574 edges, 142511 markings/sec, 60 secs
lola: 9399822 markings, 28710020 edges, 127489 markings/sec, 65 secs
lola: 10018194 markings, 30709504 edges, 123674 markings/sec, 70 secs
lola: 10685651 markings, 32805932 edges, 133491 markings/sec, 75 secs
lola: 11312775 markings, 34822288 edges, 125425 markings/sec, 80 secs
lola: 11989261 markings, 36890423 edges, 135297 markings/sec, 85 secs
lola: 12630441 markings, 38947543 edges, 128236 markings/sec, 90 secs
lola: 13194579 markings, 40996805 edges, 112828 markings/sec, 95 secs
lola: 13750351 markings, 43029738 edges, 111154 markings/sec, 100 secs
lola: 14298474 markings, 45061848 edges, 109625 markings/sec, 105 secs
lola: 14860331 markings, 47098871 edges, 112371 markings/sec, 110 secs
lola: 15414873 markings, 49128091 edges, 110908 markings/sec, 115 secs
lola: 15962481 markings, 51123858 edges, 109522 markings/sec, 120 secs
lola: 16513961 markings, 53126827 edges, 110296 markings/sec, 125 secs
lola: 17060719 markings, 55095231 edges, 109352 markings/sec, 130 secs
lola: 17618944 markings, 57104923 edges, 111645 markings/sec, 135 secs
lola: 18173704 markings, 59079116 edges, 110952 markings/sec, 140 secs
lola: 18761718 markings, 61083737 edges, 117603 markings/sec, 145 secs
lola: 19335412 markings, 63102493 edges, 114739 markings/sec, 150 secs
lola: 19860268 markings, 65046388 edges, 104971 markings/sec, 155 secs
lola: 20404942 markings, 67037028 edges, 108935 markings/sec, 160 secs
lola: 20939838 markings, 69030185 edges, 106979 markings/sec, 165 secs
lola: 21502112 markings, 71006898 edges, 112455 markings/sec, 170 secs
lola: 22145223 markings, 73044017 edges, 128622 markings/sec, 175 secs
lola: 22741695 markings, 75067542 edges, 119294 markings/sec, 180 secs
lola: 23283581 markings, 77066230 edges, 108377 markings/sec, 185 secs
lola: 23837724 markings, 79100015 edges, 110829 markings/sec, 190 secs
lola: 24385375 markings, 81097190 edges, 109530 markings/sec, 195 secs
lola: 24923381 markings, 83082993 edges, 107601 markings/sec, 200 secs
lola: 25474300 markings, 85087710 edges, 110184 markings/sec, 205 secs
lola: 26014661 markings, 87050899 edges, 108072 markings/sec, 210 secs
lola: 26564411 markings, 89034950 edges, 109950 markings/sec, 215 secs
lola: 27109212 markings, 91011847 edges, 108960 markings/sec, 220 secs
lola: 27666793 markings, 92999615 edges, 111516 markings/sec, 225 secs
lola: 28217451 markings, 94948197 edges, 110132 markings/sec, 230 secs
lola: 28814197 markings, 96925847 edges, 119349 markings/sec, 235 secs
lola: 29358353 markings, 98942095 edges, 108831 markings/sec, 240 secs
lola: 29886270 markings, 100906341 edges, 105583 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2439992 KB
lola: time consumption: 260 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 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E ((((p28 <= 0) OR (p32 <= 0)) U ((1 <= p150) AND (1 <= p213))))))
lola: ========================================
lola: SUBTASK
lola: checking existential until from successors
lola: rewrite Frontend/Parser/formula_rewrite.k:688
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:716
lola: rewrite Frontend/Parser/formula_rewrite.k:688
lola: processed formula: E (X (E ((((p28 <= 0) OR (p32 <= 0)) U ((1 <= p150) AND (1 <= p213))))))
lola: processed formula length: 73
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EXEU)
lola: state space: using reachability graph (EXEU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p150) AND (1 <= p213))
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 / EXEU
lola: There is a path where Predicate Phi holds until Predicate Psi from some successor.
lola: 1473 markings, 1472 edges
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (E (X (((1 <= p273) AND (1 <= p355)))))) OR ((1 <= p104) AND (1 <= p227)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p104) AND (1 <= p227))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p104) AND (1 <= p227))
lola: processed formula length: 29
lola: 26 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (X (((1 <= p273) AND (1 <= p355))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EX(((1 <= p273) AND (1 <= p355))))
lola: processed formula length: 37
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X (((p86 <= 0) OR (p187 <= 0) OR (p288 <= 0) OR (p367 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX(((p86 <= 0) OR (p187 <= 0) OR (p288 <= 0) OR (p367 <= 0))))
lola: processed formula length: 68
lola: 28 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: 829580 markings, 1615002 edges, 165916 markings/sec, 0 secs
lola: 1567165 markings, 3100966 edges, 147517 markings/sec, 5 secs
lola: 2265386 markings, 4527931 edges, 139644 markings/sec, 10 secs
lola: 2936430 markings, 5911758 edges, 134209 markings/sec, 15 secs
lola: 3589158 markings, 7272158 edges, 130546 markings/sec, 20 secs
lola: 4215507 markings, 8582689 edges, 125270 markings/sec, 25 secs
lola: 4837938 markings, 9895951 edges, 124486 markings/sec, 30 secs
lola: 5457031 markings, 11208599 edges, 123819 markings/sec, 35 secs
lola: 6063244 markings, 12495103 edges, 121243 markings/sec, 40 secs
lola: 6660889 markings, 13769693 edges, 119529 markings/sec, 45 secs
lola: 7252588 markings, 15035099 edges, 118340 markings/sec, 50 secs
lola: 7837954 markings, 16292014 edges, 117073 markings/sec, 55 secs
lola: 8419317 markings, 17540163 edges, 116273 markings/sec, 60 secs
lola: 8995726 markings, 18780118 edges, 115282 markings/sec, 65 secs
lola: 9566530 markings, 20015518 edges, 114161 markings/sec, 70 secs
lola: 10132014 markings, 21243312 edges, 113097 markings/sec, 75 secs
lola: 10694478 markings, 22463930 edges, 112493 markings/sec, 80 secs
lola: 11252866 markings, 23677877 edges, 111678 markings/sec, 85 secs
lola: 11808274 markings, 24888648 edges, 111082 markings/sec, 90 secs
lola: 12364365 markings, 26091185 edges, 111218 markings/sec, 95 secs
lola: 12912183 markings, 27294766 edges, 109564 markings/sec, 100 secs
lola: 13456487 markings, 28486268 edges, 108861 markings/sec, 105 secs
lola: 13999924 markings, 29676686 edges, 108687 markings/sec, 110 secs
lola: 14541256 markings, 30859627 edges, 108266 markings/sec, 115 secs
lola: 15076093 markings, 32039367 edges, 106967 markings/sec, 120 secs
lola: 15611496 markings, 33216942 edges, 107081 markings/sec, 125 secs
lola: 16142859 markings, 34388864 edges, 106273 markings/sec, 130 secs
lola: 16674416 markings, 35557085 edges, 106311 markings/sec, 135 secs
lola: 17200629 markings, 36719916 edges, 105243 markings/sec, 140 secs
lola: 17727416 markings, 37880282 edges, 105357 markings/sec, 145 secs
lola: 18250227 markings, 39036065 edges, 104562 markings/sec, 150 secs
lola: 18772624 markings, 40190865 edges, 104479 markings/sec, 155 secs
lola: 19290980 markings, 41342026 edges, 103671 markings/sec, 160 secs
lola: 19808366 markings, 42492032 edges, 103477 markings/sec, 165 secs
lola: 20322463 markings, 43639817 edges, 102819 markings/sec, 170 secs
lola: 20840089 markings, 44786720 edges, 103525 markings/sec, 175 secs
lola: 21332982 markings, 45888090 edges, 98579 markings/sec, 180 secs
lola: 21844002 markings, 47029846 edges, 102204 markings/sec, 185 secs
lola: 22336481 markings, 48128425 edges, 98496 markings/sec, 190 secs
lola: 22843298 markings, 49258941 edges, 101363 markings/sec, 195 secs
lola: 23349014 markings, 50386950 edges, 101143 markings/sec, 200 secs
lola: 23852002 markings, 51513482 edges, 100598 markings/sec, 205 secs
lola: 24348529 markings, 52625802 edges, 99305 markings/sec, 210 secs
lola: 24850409 markings, 53748324 edges, 100376 markings/sec, 215 secs
lola: 25332958 markings, 54830881 edges, 96510 markings/sec, 220 secs
lola: 25830520 markings, 55948233 edges, 99512 markings/sec, 225 secs
lola: 26327927 markings, 57062950 edges, 99481 markings/sec, 230 secs
lola: 26824109 markings, 58172734 edges, 99236 markings/sec, 235 secs
lola: 27303543 markings, 59245676 edges, 95887 markings/sec, 240 secs
lola: 27793556 markings, 60354223 edges, 98003 markings/sec, 245 secs
lola: 28286517 markings, 61460702 edges, 98592 markings/sec, 250 secs
lola: 28777666 markings, 62564159 edges, 98230 markings/sec, 255 secs
lola: 29271341 markings, 63670709 edges, 98735 markings/sec, 260 secs
lola: 29756429 markings, 64773113 edges, 97018 markings/sec, 265 secs
lola: 30244203 markings, 65874784 edges, 97555 markings/sec, 270 secs
lola: 30728341 markings, 66974166 edges, 96828 markings/sec, 275 secs
lola: 31217945 markings, 68079007 edges, 97921 markings/sec, 280 secs
lola: 31701373 markings, 69171538 edges, 96686 markings/sec, 285 secs
lola: 32184291 markings, 70262236 edges, 96584 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown yes unknown unknown unknown yes unknown no unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes unknown yes unknown unknown unknown yes unknown no unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6321000 KB
lola: time consumption: 560 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 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (X (((1 <= p158) AND (1 <= p228)))))) AND E ((E (G (((1 <= p31) AND (1 <= p93)))) U ((p38 <= 0) OR (p129 <= 0) OR (p58 <= 0) OR (p291 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: (EX(AX(((1 <= p158) AND (1 <= p228)))) AND E(EG(((1 <= p31) AND (1 <= p93))) U ((p38 <= 0) OR (p129 <= 0) OR (p58 <= 0) OR (p291 <= 0))))
lola: processed formula length: 140
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p26 <= 0) OR (p358 <= 0) OR ((1 <= p176) AND (1 <= p283)))))
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 (p358 <= 0) OR ((1 <= p176) AND (1 <= p283)))))
lola: processed formula length: 70
lola: 28 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 <= p358) AND ((p176 <= 0) OR (p283 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((((1 <= p23) AND (1 <= p143)) OR ((1 <= p59) AND (1 <= p221))))) U ((1 <= p104) AND (1 <= p227))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EF((((1 <= p23) AND (1 <= p143)) OR ((1 <= p59) AND (1 <= p221)))) U ((1 <= p104) AND (1 <= p227)))
lola: processed formula length: 102
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1908 markings, 5427 edges
lola: ========================================
lola: subprocess 9 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A (F (((1 <= p84) AND (1 <= p266)))) AND (((p108 <= 0) OR (p192 <= 0)) AND (((1 <= p159) AND (1 <= p219)) OR ((1 <= p173) AND (1 <= p271))))) U ((1 <= p211) AND (1 <= p338))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((AF(((1 <= p84) AND (1 <= p266))) AND (((p108 <= 0) OR (p192 <= 0)) AND (((1 <= p159) AND (1 <= p219)) OR ((1 <= p173) AND (1 <= p271))))) U ((1 <= p211) AND (1 <= p338)))
lola: processed formula length: 175
lola: 28 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: 744970 markings, 1980637 edges, 148994 markings/sec, 0 secs
lola: 1448993 markings, 3894119 edges, 140805 markings/sec, 5 secs
lola: 2051448 markings, 5827838 edges, 120491 markings/sec, 10 secs
lola: 2659415 markings, 7743197 edges, 121593 markings/sec, 15 secs
lola: 3272326 markings, 9718217 edges, 122582 markings/sec, 20 secs
lola: 3853642 markings, 11546742 edges, 116263 markings/sec, 25 secs
lola: 4469849 markings, 13507895 edges, 123241 markings/sec, 30 secs
lola: 5088190 markings, 15470248 edges, 123668 markings/sec, 35 secs
lola: 5713884 markings, 17434667 edges, 125139 markings/sec, 40 secs
lola: 6327641 markings, 19367479 edges, 122751 markings/sec, 45 secs
lola: 6941604 markings, 21297545 edges, 122793 markings/sec, 50 secs
lola: 7551726 markings, 23214681 edges, 122024 markings/sec, 55 secs
lola: 8157292 markings, 25104533 edges, 121113 markings/sec, 60 secs
lola: 8761350 markings, 26972425 edges, 120812 markings/sec, 65 secs
lola: 9392696 markings, 28895461 edges, 126269 markings/sec, 70 secs
lola: 10032071 markings, 30749278 edges, 127875 markings/sec, 75 secs
lola: 10641716 markings, 32741957 edges, 121929 markings/sec, 80 secs
lola: 11226519 markings, 34623162 edges, 116961 markings/sec, 85 secs
lola: 11879830 markings, 36496746 edges, 130662 markings/sec, 90 secs
lola: 12411814 markings, 38224031 edges, 106397 markings/sec, 95 secs
lola: 13001718 markings, 40154265 edges, 117981 markings/sec, 100 secs
lola: 13503710 markings, 42016502 edges, 100398 markings/sec, 105 secs
lola: 14031593 markings, 43942935 edges, 105577 markings/sec, 110 secs
lola: 14534536 markings, 45803426 edges, 100589 markings/sec, 115 secs
lola: 15070051 markings, 47751610 edges, 107103 markings/sec, 120 secs
lola: 15574053 markings, 49584532 edges, 100800 markings/sec, 125 secs
lola: 16098871 markings, 51491738 edges, 104964 markings/sec, 130 secs
lola: 16619373 markings, 53381019 edges, 104100 markings/sec, 135 secs
lola: 17136838 markings, 55254921 edges, 103493 markings/sec, 140 secs
lola: 17647111 markings, 57083424 edges, 102055 markings/sec, 145 secs
lola: 18178046 markings, 58983765 edges, 106187 markings/sec, 150 secs
lola: 18713999 markings, 60869625 edges, 107191 markings/sec, 155 secs
lola: 19272965 markings, 62810131 edges, 111793 markings/sec, 160 secs
lola: 19788352 markings, 64742772 edges, 103077 markings/sec, 165 secs
lola: 20353263 markings, 66653868 edges, 112982 markings/sec, 170 secs
lola: 20962038 markings, 68581833 edges, 121755 markings/sec, 175 secs
lola: 21526972 markings, 70502152 edges, 112987 markings/sec, 180 secs
lola: 22024366 markings, 72341679 edges, 99479 markings/sec, 185 secs
lola: 22547320 markings, 74244204 edges, 104591 markings/sec, 190 secs
lola: 23061201 markings, 76113914 edges, 102776 markings/sec, 195 secs
lola: 23582348 markings, 78006930 edges, 104229 markings/sec, 200 secs
lola: 24090897 markings, 79851531 edges, 101710 markings/sec, 205 secs
lola: 24588729 markings, 81656979 edges, 99566 markings/sec, 210 secs
lola: 25087106 markings, 83439679 edges, 99675 markings/sec, 215 secs
lola: 25605950 markings, 85299437 edges, 103769 markings/sec, 220 secs
lola: 26137385 markings, 87175666 edges, 106287 markings/sec, 225 secs
lola: 26687860 markings, 89077120 edges, 110095 markings/sec, 230 secs
lola: 27185561 markings, 90939817 edges, 99540 markings/sec, 235 secs
lola: 27764979 markings, 92835165 edges, 115884 markings/sec, 240 secs
lola: 28366668 markings, 94762895 edges, 120338 markings/sec, 245 secs
lola: 28917221 markings, 96691274 edges, 110111 markings/sec, 250 secs
lola: 29447397 markings, 98610672 edges, 106035 markings/sec, 255 secs
lola: 29963633 markings, 100518938 edges, 103247 markings/sec, 260 secs
lola: 30484856 markings, 102420513 edges, 104245 markings/sec, 265 secs
lola: 31003998 markings, 104306367 edges, 103828 markings/sec, 270 secs
lola: 31518018 markings, 106170197 edges, 102804 markings/sec, 275 secs
lola: 32028892 markings, 108019411 edges, 102175 markings/sec, 280 secs
lola: 32539530 markings, 109848886 edges, 102128 markings/sec, 285 secs
lola: 33066248 markings, 111719868 edges, 105344 markings/sec, 290 secs
lola: 33597082 markings, 113582756 edges, 106167 markings/sec, 295 secs
lola: 34145140 markings, 115523557 edges, 109612 markings/sec, 300 secs
lola: 34659461 markings, 117420334 edges, 102864 markings/sec, 305 secs
lola: 35260350 markings, 119332852 edges, 120178 markings/sec, 310 secs
lola: 35853209 markings, 121258485 edges, 118572 markings/sec, 315 secs
lola: 36379100 markings, 123170530 edges, 105178 markings/sec, 320 secs
lola: 36900512 markings, 125065161 edges, 104282 markings/sec, 325 secs
lola: 37416562 markings, 126939597 edges, 103210 markings/sec, 330 secs
lola: 37928235 markings, 128789050 edges, 102335 markings/sec, 335 secs
lola: 38454349 markings, 130673091 edges, 105223 markings/sec, 340 secs
lola: 38992139 markings, 132568408 edges, 107558 markings/sec, 345 secs
lola: 39550406 markings, 134488820 edges, 111653 markings/sec, 350 secs
lola: 40074964 markings, 136408083 edges, 104912 markings/sec, 355 secs
lola: 40692483 markings, 138350242 edges, 123504 markings/sec, 360 secs
lola: 41241562 markings, 140270663 edges, 109816 markings/sec, 365 secs
lola: 41757249 markings, 142144886 edges, 103137 markings/sec, 370 secs
lola: 42286672 markings, 144046573 edges, 105885 markings/sec, 375 secs
lola: 42805685 markings, 145914511 edges, 103803 markings/sec, 380 secs
lola: 43344522 markings, 147831823 edges, 107767 markings/sec, 385 secs
lola: 43905600 markings, 149750075 edges, 112216 markings/sec, 390 secs
lola: 44438564 markings, 151702288 edges, 106593 markings/sec, 395 secs
lola: 45042392 markings, 153616910 edges, 120766 markings/sec, 400 secs
lola: 45594443 markings, 155515020 edges, 110410 markings/sec, 405 secs
lola: 46105526 markings, 157367039 edges, 102217 markings/sec, 410 secs
lola: 46622186 markings, 159232028 edges, 103332 markings/sec, 415 secs
lola: 47132437 markings, 161063847 edges, 102050 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown yes unknown no unknown yes yes no unknown unknown unknown no unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes unknown yes unknown no unknown yes yes no unknown unknown unknown no unknown unknown
lola: memory consumption: 3736888 KB
lola: time consumption: 990 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((((1 <= p235) AND (1 <= p336)) OR ((1 <= p50) AND (1 <= p308))) U ((1 <= p237) AND (1 <= p270)))) OR ((1 <= p7) AND (1 <= p76)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p7) AND (1 <= p76))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p7) AND (1 <= p76))
lola: processed formula length: 26
lola: 26 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 516 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((((1 <= p235) AND (1 <= p336)) OR ((1 <= p50) AND (1 <= p308))) U ((1 <= p237) AND (1 <= p270))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E (((((1 <= p235) AND (1 <= p336)) OR ((1 <= p50) AND (1 <= p308))) U ((1 <= p237) AND (1 <= p270))))
lola: processed formula length: 102
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p237) AND (1 <= p270))
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 /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 74 markings, 73 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 11 will run for 516 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (E (G (((p34 <= 0) OR (p36 <= 0)))))) OR ((1 <= p238) AND (1 <= p330)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 516 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p238) AND (1 <= p330))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p238) AND (1 <= p330))
lola: processed formula length: 29
lola: 26 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 645 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((p34 <= 0) OR (p36 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: ((p34 <= 0) OR (p36 <= 0))
lola: processed formula length: 27
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p34) AND (1 <= p36))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p34 <= 0) OR (p36 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-12-0.sara
lola: state equation: write sara problem file to CTLFireability-12-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-12-0.sara.
sara: try reading problem file CTLFireability-12-1.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate is not possibly preserved from any reachable marking.
lola: 3324 markings, 6646 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
sara: place or transition ordering is non-deterministic
lola: subprocess 12 will run for 645 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F (((p26 <= 0) OR (p358 <= 0) OR ((1 <= p196) AND (1 <= p265) AND (1 <= p173) AND (1 <= p271)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: ((p26 <= 0) OR (p358 <= 0) OR ((1 <= p196) AND (1 <= p265) AND (1 <= p173) AND (1 <= p271)))
lola: processed formula length: 94
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p26 <= 0) OR (p358 <= 0) OR ((1 <= p196) AND (1 <= p265) AND (1 <= p173) AND (1 <= p271)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 6 literals and 3 conjunctive subformulas
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p26) AND (1 <= p358) AND ((p196 <= 0) OR (p265 <= 0) OR (p173 <= 0) OR (p271 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 12 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 3185 markings, 3185 edges
lola: ========================================
lola: subprocess 13 will run for 860 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((((1 <= p95) AND (1 <= p319)) OR ((1 <= p69) AND (1 <= p360) AND (1 <= p114) AND (1 <= p218)))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((p95 <= 0) OR (p319 <= 0)) AND ((p69 <= 0) OR (p360 <= 0) OR (p114 <= 0) OR (p218 <= 0)))
lola: processed formula length: 95
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p95) AND (1 <= p319)) OR ((1 <= p69) AND (1 <= p360) AND (1 <= p114) AND (1 <= p218)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((p95 <= 0) OR (p319 <= 0)) AND ((p69 <= 0) OR (p360 <= 0) OR (p114 <= 0) OR (p218 <= 0)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 16 literals and 8 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-13-0.sara
lola: state equation: write sara problem file to CTLFireability-13-1.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 3185 markings, 3185 edges
lola: ========================================
lola: subprocess 14 will run for 1290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((((1 <= p41) AND (1 <= p87)) U ((1 <= p300) AND (1 <= p346)))) OR A (F ((((p107 <= 0) OR (p195 <= 0)) AND ((p41 <= 0) OR (p87 <= 0)) AND ((p66 <= 0) OR (p256 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((1 <= p41) AND (1 <= p87)) U ((1 <= p300) AND (1 <= p346))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:577
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A ((((1 <= p41) AND (1 <= p87)) U ((1 <= p300) AND (1 <= p346))))
lola: processed formula length: 65
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p41) AND (1 <= p87))
lola: state equation task get result unparse finished id 0
lola: 1
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2580 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((p107 <= 0) OR (p195 <= 0)) AND ((p41 <= 0) OR (p87 <= 0)) AND ((p66 <= 0) OR (p256 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (((1 <= p107) AND (1 <= p195)) OR ((1 <= p41) AND (1 <= p87)) OR ((1 <= p66) AND (1 <= p256)))
lola: processed formula length: 96
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p107 <= 0) OR (p195 <= 0)) AND ((p41 <= 0) OR (p87 <= 0)) AND ((p66 <= 0) OR (p256 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 24 literals and 8 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 3311 markings, 3311 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2580 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p16) AND (1 <= p263)))) OR (((1 <= p357) AND (1 <= p362)) AND (E (F (((1 <= p77) AND (1 <= p255)))) AND (E (G (((1 <= p42) AND (1 <= p264)))) AND A (G (((1 <= p33) AND (1 <= p381))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2580 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p357) AND (1 <= p362))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p357) AND (1 <= p362))
lola: processed formula length: 29
lola: 26 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A ((A (X (((1 <= p233) AND (1 <= p322)))) U A (G (((1 <= p135) AND (1 <= p208)))))) OR A (F (((1 <= p253) AND (1 <= p313)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: (A(AX(((1 <= p233) AND (1 <= p322))) U AG(((1 <= p135) AND (1 <= p208)))) OR AF(((1 <= p253) AND (1 <= p313))))
lola: processed formula length: 111
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 743461 markings, 1978785 edges, 148692 markings/sec, 0 secs
lola: 1490727 markings, 4039020 edges, 149453 markings/sec, 5 secs
lola: 2122309 markings, 6070427 edges, 126316 markings/sec, 10 secs
lola: 2771523 markings, 8128007 edges, 129843 markings/sec, 15 secs
lola: 3410391 markings, 10140749 edges, 127774 markings/sec, 20 secs
lola: 4033658 markings, 12144467 edges, 124653 markings/sec, 25 secs
lola: 4679855 markings, 14174377 edges, 129239 markings/sec, 30 secs
lola: 5324083 markings, 16204200 edges, 128846 markings/sec, 35 secs
lola: 5955565 markings, 18193039 edges, 126296 markings/sec, 40 secs
lola: 6599394 markings, 20187967 edges, 128766 markings/sec, 45 secs
lola: 7239689 markings, 22178243 edges, 128059 markings/sec, 50 secs
lola: 7881763 markings, 24141508 edges, 128415 markings/sec, 55 secs
lola: 8539000 markings, 26053923 edges, 131447 markings/sec, 60 secs
lola: 9186041 markings, 28015664 edges, 129408 markings/sec, 65 secs
lola: 9800661 markings, 29989302 edges, 122924 markings/sec, 70 secs
lola: 10437008 markings, 31994569 edges, 127269 markings/sec, 75 secs
lola: 11060888 markings, 34010312 edges, 124776 markings/sec, 80 secs
lola: 11715715 markings, 36000588 edges, 130965 markings/sec, 85 secs
lola: 12347021 markings, 38028530 edges, 126261 markings/sec, 90 secs
lola: 12938729 markings, 40052624 edges, 118342 markings/sec, 95 secs
lola: 13476677 markings, 42042404 edges, 107590 markings/sec, 100 secs
lola: 14031240 markings, 44069815 edges, 110913 markings/sec, 105 secs
lola: 14582549 markings, 46083389 edges, 110262 markings/sec, 110 secs
lola: 15130541 markings, 48088099 edges, 109598 markings/sec, 115 secs
lola: 15680858 markings, 50098572 edges, 110063 markings/sec, 120 secs
lola: 16218846 markings, 52067214 edges, 107598 markings/sec, 125 secs
lola: 16750066 markings, 53977358 edges, 106244 markings/sec, 130 secs
lola: 17294854 markings, 55946839 edges, 108958 markings/sec, 135 secs
lola: 17855325 markings, 57950020 edges, 112094 markings/sec, 140 secs
lola: 18411956 markings, 59914344 edges, 111326 markings/sec, 145 secs
lola: 19017461 markings, 61915287 edges, 121101 markings/sec, 150 secs
lola: 19549115 markings, 63903949 edges, 106331 markings/sec, 155 secs
lola: 20071575 markings, 65851228 edges, 104492 markings/sec, 160 secs
lola: 20630775 markings, 67883698 edges, 111840 markings/sec, 165 secs
lola: 21167530 markings, 69872935 edges, 107351 markings/sec, 170 secs
lola: 21783682 markings, 71896257 edges, 123230 markings/sec, 175 secs
lola: 22417482 markings, 73925788 edges, 126760 markings/sec, 180 secs
lola: 22985950 markings, 75971992 edges, 113694 markings/sec, 185 secs
lola: 23542884 markings, 78000668 edges, 111387 markings/sec, 190 secs
lola: 24088986 markings, 80027772 edges, 109220 markings/sec, 195 secs
lola: 24641791 markings, 82044555 edges, 110561 markings/sec, 200 secs
lola: 25194226 markings, 84059630 edges, 110487 markings/sec, 205 secs
lola: 25744555 markings, 86064312 edges, 110066 markings/sec, 210 secs
lola: 26289700 markings, 88045618 edges, 109029 markings/sec, 215 secs
lola: 26833134 markings, 90017475 edges, 108687 markings/sec, 220 secs
lola: 27396845 markings, 92038622 edges, 112742 markings/sec, 225 secs
lola: 27949381 markings, 94006803 edges, 110507 markings/sec, 230 secs
lola: 28515427 markings, 95956924 edges, 113209 markings/sec, 235 secs
lola: 29086931 markings, 97924119 edges, 114301 markings/sec, 240 secs
lola: 29612218 markings, 99880203 edges, 105057 markings/sec, 245 secs
lola: 30156326 markings, 101855134 edges, 108822 markings/sec, 250 secs
lola: 30700503 markings, 103890056 edges, 108835 markings/sec, 255 secs
lola: 31246952 markings, 105875337 edges, 109290 markings/sec, 260 secs
lola: 31890867 markings, 107899760 edges, 128783 markings/sec, 265 secs
lola: 32475628 markings, 109900412 edges, 116952 markings/sec, 270 secs
lola: 33019869 markings, 111883700 edges, 108848 markings/sec, 275 secs
lola: 33538048 markings, 113766864 edges, 103636 markings/sec, 280 secs
lola: 34050493 markings, 115633384 edges, 102489 markings/sec, 285 secs
lola: 34558703 markings, 117480687 edges, 101642 markings/sec, 290 secs
lola: 35096467 markings, 119428670 edges, 107553 markings/sec, 295 secs
lola: 35648694 markings, 121394260 edges, 110445 markings/sec, 300 secs
lola: 36195213 markings, 123320405 edges, 109304 markings/sec, 305 secs
lola: 36784504 markings, 125289748 edges, 117858 markings/sec, 310 secs
lola: 37310190 markings, 127233852 edges, 105137 markings/sec, 315 secs
lola: 37852979 markings, 129215796 edges, 108558 markings/sec, 320 secs
lola: 38383103 markings, 131181334 edges, 106025 markings/sec, 325 secs
lola: 39013734 markings, 133196207 edges, 126126 markings/sec, 330 secs
lola: 39594884 markings, 135204331 edges, 116230 markings/sec, 335 secs
lola: 40133156 markings, 137168030 edges, 107654 markings/sec, 340 secs
lola: 40674116 markings, 139134349 edges, 108192 markings/sec, 345 secs
lola: 41216306 markings, 141086121 edges, 108438 markings/sec, 350 secs
lola: 41766786 markings, 143066812 edges, 110096 markings/sec, 355 secs
lola: 42310216 markings, 145001809 edges, 108686 markings/sec, 360 secs
lola: 42882647 markings, 146957927 edges, 114486 markings/sec, 365 secs
lola: 43432374 markings, 148914312 edges, 109945 markings/sec, 370 secs
lola: 43968958 markings, 150863944 edges, 107317 markings/sec, 375 secs
lola: 44496801 markings, 152821405 edges, 105569 markings/sec, 380 secs
lola: 45129821 markings, 154836747 edges, 126604 markings/sec, 385 secs
lola: 45710159 markings, 156854650 edges, 116068 markings/sec, 390 secs
lola: 46254632 markings, 158833189 edges, 108895 markings/sec, 395 secs
lola: 46794758 markings, 160805873 edges, 108025 markings/sec, 400 secs
lola: 47337848 markings, 162759188 edges, 108618 markings/sec, 405 secs
lola: 47890812 markings, 164746083 edges, 110593 markings/sec, 410 secs
lola: 48435820 markings, 166684139 edges, 109002 markings/sec, 415 secs
lola: 49015093 markings, 168651094 edges, 115855 markings/sec, 420 secs
lola: 49561646 markings, 170614869 edges, 109311 markings/sec, 425 secs
lola: 50103953 markings, 172588188 edges, 108461 markings/sec, 430 secs
lola: 50638406 markings, 174556006 edges, 106891 markings/sec, 435 secs
lola: 51267670 markings, 176544800 edges, 125853 markings/sec, 440 secs
lola: 51818957 markings, 178513077 edges, 110257 markings/sec, 445 secs
lola: 52352155 markings, 180445472 edges, 106640 markings/sec, 450 secs
lola: 52899878 markings, 182397948 edges, 109545 markings/sec, 455 secs
lola: 53439742 markings, 184308771 edges, 107973 markings/sec, 460 secs
lola: 54016886 markings, 186257140 edges, 115429 markings/sec, 465 secs
lola: 54549832 markings, 188187346 edges, 106589 markings/sec, 470 secs
lola: 55090258 markings, 190155909 edges, 108085 markings/sec, 475 secs
lola: 55697750 markings, 192123690 edges, 121498 markings/sec, 480 secs
lola: 56235597 markings, 194068345 edges, 107569 markings/sec, 485 secs
lola: 56786586 markings, 196032060 edges, 110198 markings/sec, 490 secs
lola: 57331779 markings, 197954066 edges, 109039 markings/sec, 495 secs
lola: 57898654 markings, 199895954 edges, 113375 markings/sec, 500 secs
lola: 58433968 markings, 201838885 edges, 107063 markings/sec, 505 secs
lola: 59031610 markings, 203819727 edges, 119528 markings/sec, 510 secs
lola: 59579156 markings, 205739860 edges, 109509 markings/sec, 515 secs
lola: 60113752 markings, 207660920 edges, 106919 markings/sec, 520 secs
lola: 60643814 markings, 209548209 edges, 106012 markings/sec, 525 secs
lola: 61202650 markings, 211462490 edges, 111767 markings/sec, 530 secs
lola: 61733154 markings, 213362645 edges, 106101 markings/sec, 535 secs
lola: 62271371 markings, 215299966 edges, 107643 markings/sec, 540 secs
lola: 62873228 markings, 217272024 edges, 120371 markings/sec, 545 secs
lola: 63417571 markings, 219211004 edges, 108869 markings/sec, 550 secs
lola: 63977994 markings, 221144806 edges, 112085 markings/sec, 555 secs
lola: 64532884 markings, 223087960 edges, 110978 markings/sec, 560 secs
lola: 65114053 markings, 225031820 edges, 116234 markings/sec, 565 secs
lola: 65643261 markings, 226916218 edges, 105842 markings/sec, 570 secs
lola: 66190021 markings, 228794431 edges, 109352 markings/sec, 575 secs
lola: 66721235 markings, 230677099 edges, 106243 markings/sec, 580 secs
lola: 67307890 markings, 232637501 edges, 117331 markings/sec, 585 secs
lola: 67859158 markings, 234586704 edges, 110254 markings/sec, 590 secs
lola: 68426090 markings, 236524253 edges, 113386 markings/sec, 595 secs
lola: 68988841 markings, 238481335 edges, 112550 markings/sec, 600 secs
lola: 69556539 markings, 240425633 edges, 113540 markings/sec, 605 secs
lola: 70119273 markings, 242356622 edges, 112547 markings/sec, 610 secs
lola: 70691570 markings, 244295392 edges, 114459 markings/sec, 615 secs
lola: 71257422 markings, 246235556 edges, 113170 markings/sec, 620 secs
lola: 71821549 markings, 248139933 edges, 112825 markings/sec, 625 secs
lola: 72372707 markings, 250040857 edges, 110232 markings/sec, 630 secs
lola: 72933480 markings, 251889383 edges, 112155 markings/sec, 635 secs
lola: 73498376 markings, 253780219 edges, 112979 markings/sec, 640 secs
lola: 74076015 markings, 255710692 edges, 115528 markings/sec, 645 secs
lola: 74664953 markings, 257642854 edges, 117788 markings/sec, 650 secs
lola: 75265987 markings, 259569962 edges, 120207 markings/sec, 655 secs
lola: 75959287 markings, 261522544 edges, 138660 markings/sec, 660 secs
lola: 76566464 markings, 263503816 edges, 121435 markings/sec, 665 secs
lola: 77167575 markings, 265439806 edges, 120222 markings/sec, 670 secs
lola: 77727921 markings, 267405898 edges, 112069 markings/sec, 675 secs
lola: 78256452 markings, 269359897 edges, 105706 markings/sec, 680 secs
lola: 78781479 markings, 271289775 edges, 105005 markings/sec, 685 secs
lola: 79312314 markings, 273271285 edges, 106167 markings/sec, 690 secs
lola: 79831218 markings, 275205065 edges, 103781 markings/sec, 695 secs
lola: 80365734 markings, 277150937 edges, 106903 markings/sec, 700 secs
lola: 80883440 markings, 279073982 edges, 103541 markings/sec, 705 secs
lola: 81415697 markings, 281018298 edges, 106451 markings/sec, 710 secs
lola: 81936506 markings, 282946981 edges, 104162 markings/sec, 715 secs
lola: 82474948 markings, 284909858 edges, 107688 markings/sec, 720 secs
lola: 83000804 markings, 286829615 edges, 105171 markings/sec, 725 secs
lola: 83511307 markings, 288713952 edges, 102101 markings/sec, 730 secs
lola: 84035570 markings, 290617253 edges, 104853 markings/sec, 735 secs
lola: 84552361 markings, 292504216 edges, 103358 markings/sec, 740 secs
lola: 85080642 markings, 294410526 edges, 105656 markings/sec, 745 secs
lola: 85601059 markings, 296287447 edges, 104083 markings/sec, 750 secs
lola: 86134945 markings, 298204431 edges, 106777 markings/sec, 755 secs
lola: 86660458 markings, 300065444 edges, 105103 markings/sec, 760 secs
lola: 87216028 markings, 301951610 edges, 111114 markings/sec, 765 secs
lola: 87818853 markings, 303843105 edges, 120565 markings/sec, 770 secs
lola: 88395343 markings, 305725402 edges, 115298 markings/sec, 775 secs
lola: 88965928 markings, 307566746 edges, 114117 markings/sec, 780 secs
lola: 89571838 markings, 309462990 edges, 121182 markings/sec, 785 secs
lola: 90166192 markings, 311404958 edges, 118871 markings/sec, 790 secs
lola: 90760720 markings, 313319852 edges, 118906 markings/sec, 795 secs
lola: 91392954 markings, 315234450 edges, 126447 markings/sec, 800 secs
lola: 92005679 markings, 317203089 edges, 122545 markings/sec, 805 secs
lola: 92577809 markings, 319200969 edges, 114426 markings/sec, 810 secs
lola: 93113182 markings, 321170595 edges, 107075 markings/sec, 815 secs
lola: 93663583 markings, 323184207 edges, 110080 markings/sec, 820 secs
lola: 94198469 markings, 325144958 edges, 106977 markings/sec, 825 secs
lola: 94733052 markings, 327089938 edges, 106917 markings/sec, 830 secs
lola: 95270739 markings, 329048620 edges, 107537 markings/sec, 835 secs
lola: 95789012 markings, 330955436 edges, 103655 markings/sec, 840 secs
lola: 96326126 markings, 332888934 edges, 107423 markings/sec, 845 secs
lola: 96862558 markings, 334828846 edges, 107286 markings/sec, 850 secs
lola: 97403022 markings, 336758127 edges, 108093 markings/sec, 855 secs
lola: 97937048 markings, 338646899 edges, 106805 markings/sec, 860 secs
lola: 98512956 markings, 340553122 edges, 115182 markings/sec, 865 secs
lola: 99042284 markings, 342506716 edges, 105866 markings/sec, 870 secs
lola: 99554522 markings, 344408849 edges, 102448 markings/sec, 875 secs
lola: 100095753 markings, 346379057 edges, 108246 markings/sec, 880 secs
lola: 100619923 markings, 348320318 edges, 104834 markings/sec, 885 secs
lola: 101170658 markings, 350273383 edges, 110147 markings/sec, 890 secs
lola: 101699882 markings, 352234821 edges, 105845 markings/sec, 895 secs
lola: 102197765 markings, 354203574 edges, 99577 markings/sec, 900 secs
lola: 102665273 markings, 356137026 edges, 93502 markings/sec, 905 secs
lola: 103130169 markings, 358082603 edges, 92979 markings/sec, 910 secs
lola: 103593109 markings, 359996529 edges, 92588 markings/sec, 915 secs
lola: 104059951 markings, 361919967 edges, 93368 markings/sec, 920 secs
lola: 104521003 markings, 363805191 edges, 92210 markings/sec, 925 secs
lola: 104991480 markings, 365741808 edges, 94095 markings/sec, 930 secs
lola: 105456524 markings, 367637047 edges, 93009 markings/sec, 935 secs
lola: 105915823 markings, 369475892 edges, 91860 markings/sec, 940 secs
lola: 106416512 markings, 371375022 edges, 100138 markings/sec, 945 secs
lola: 106867643 markings, 373274579 edges, 90226 markings/sec, 950 secs
lola: 107324091 markings, 375155624 edges, 91290 markings/sec, 955 secs
lola: 107784617 markings, 377091024 edges, 92105 markings/sec, 960 secs
lola: 108243364 markings, 378980679 edges, 91749 markings/sec, 965 secs
lola: 108779514 markings, 380931554 edges, 107230 markings/sec, 970 secs
lola: 109247516 markings, 382781822 edges, 93600 markings/sec, 975 secs
lola: 109710864 markings, 384697801 edges, 92670 markings/sec, 980 secs
lola: 110167019 markings, 386583769 edges, 91231 markings/sec, 985 secs
lola: 110629930 markings, 388494317 edges, 92582 markings/sec, 990 secs
lola: 111086959 markings, 390375077 edges, 91406 markings/sec, 995 secs
lola: 111556394 markings, 392290100 edges, 93887 markings/sec, 1000 secs
lola: 112011036 markings, 394134679 edges, 90928 markings/sec, 1005 secs
lola: 112487690 markings, 396017577 edges, 95331 markings/sec, 1010 secs
lola: 112972568 markings, 397931548 edges, 96976 markings/sec, 1015 secs
lola: 113420399 markings, 399813523 edges, 89566 markings/sec, 1020 secs
lola: 113884169 markings, 401729472 edges, 92754 markings/sec, 1025 secs
lola: 114343725 markings, 403618409 edges, 91911 markings/sec, 1030 secs
lola: 114853574 markings, 405469617 edges, 101970 markings/sec, 1035 secs
lola: 115335298 markings, 407374095 edges, 96345 markings/sec, 1040 secs
lola: 115768611 markings, 409163677 edges, 86663 markings/sec, 1045 secs
lola: 116232841 markings, 411082422 edges, 92846 markings/sec, 1050 secs
lola: 116688314 markings, 412963497 edges, 91095 markings/sec, 1055 secs
lola: 117147055 markings, 414848335 edges, 91748 markings/sec, 1060 secs
lola: 117616564 markings, 416770983 edges, 93902 markings/sec, 1065 secs
lola: 118084961 markings, 418669589 edges, 93679 markings/sec, 1070 secs
lola: 118568748 markings, 420581950 edges, 96757 markings/sec, 1075 secs
lola: 119057413 markings, 422510056 edges, 97733 markings/sec, 1080 secs
lola: 119507555 markings, 424403603 edges, 90028 markings/sec, 1085 secs
lola: 119968506 markings, 426307027 edges, 92190 markings/sec, 1090 secs
lola: 120444844 markings, 428258802 edges, 95268 markings/sec, 1095 secs
lola: 120979833 markings, 430202470 edges, 106998 markings/sec, 1100 secs
lola: 121454455 markings, 432133153 edges, 94924 markings/sec, 1105 secs
lola: 121911604 markings, 434012259 edges, 91430 markings/sec, 1110 secs
lola: 122374039 markings, 435910109 edges, 92487 markings/sec, 1115 secs
lola: 122826238 markings, 437744104 edges, 90440 markings/sec, 1120 secs
lola: 123283490 markings, 439574604 edges, 91450 markings/sec, 1125 secs
lola: 123766942 markings, 441447997 edges, 96690 markings/sec, 1130 secs
lola: 124217977 markings, 443308859 edges, 90207 markings/sec, 1135 secs
lola: 124672710 markings, 445204932 edges, 90947 markings/sec, 1140 secs
lola: 125190999 markings, 447129243 edges, 103658 markings/sec, 1145 secs
lola: 125658363 markings, 449012187 edges, 93473 markings/sec, 1150 secs
lola: 126122629 markings, 450922551 edges, 92853 markings/sec, 1155 secs
lola: 126588492 markings, 452820959 edges, 93173 markings/sec, 1160 secs
lola: 127056910 markings, 454694258 edges, 93684 markings/sec, 1165 secs
lola: 127547887 markings, 456605080 edges, 98195 markings/sec, 1170 secs
lola: 128010978 markings, 458514280 edges, 92618 markings/sec, 1175 secs
lola: 128498073 markings, 460460741 edges, 97419 markings/sec, 1180 secs
lola: 129007916 markings, 462390151 edges, 101969 markings/sec, 1185 secs
lola: 129458550 markings, 464245815 edges, 90127 markings/sec, 1190 secs
lola: 129921683 markings, 466135184 edges, 92627 markings/sec, 1195 secs
lola: 130372514 markings, 467960333 edges, 90166 markings/sec, 1200 secs
lola: 130845575 markings, 469827483 edges, 94612 markings/sec, 1205 secs
lola: 131299672 markings, 471639327 edges, 90819 markings/sec, 1210 secs
lola: 131760741 markings, 473542076 edges, 92214 markings/sec, 1215 secs
lola: 132256243 markings, 475444238 edges, 99100 markings/sec, 1220 secs
lola: 132743019 markings, 477369210 edges, 97355 markings/sec, 1225 secs
lola: 133204848 markings, 479243176 edges, 92366 markings/sec, 1230 secs
lola: 133679175 markings, 481116263 edges, 94865 markings/sec, 1235 secs
lola: 134151112 markings, 483000537 edges, 94387 markings/sec, 1240 secs
lola: 134631495 markings, 484906190 edges, 96077 markings/sec, 1245 secs
lola: 135107287 markings, 486758634 edges, 95158 markings/sec, 1250 secs
lola: 135563081 markings, 488598317 edges, 91159 markings/sec, 1255 secs
lola: 136032702 markings, 490419132 edges, 93924 markings/sec, 1260 secs
lola: 136478508 markings, 492249726 edges, 89161 markings/sec, 1265 secs
lola: 136982598 markings, 494163573 edges, 100818 markings/sec, 1270 secs
lola: 137452875 markings, 496065960 edges, 94055 markings/sec, 1275 secs
lola: 137939213 markings, 497966508 edges, 97268 markings/sec, 1280 secs
lola: 138410268 markings, 499872479 edges, 94211 markings/sec, 1285 secs
lola: 138905450 markings, 501773161 edges, 99036 markings/sec, 1290 secs
lola: 139382919 markings, 503675278 edges, 95494 markings/sec, 1295 secs
lola: 139862354 markings, 505566554 edges, 95887 markings/sec, 1300 secs
lola: 140346145 markings, 507434274 edges, 96758 markings/sec, 1305 secs
lola: 140827458 markings, 509317475 edges, 96263 markings/sec, 1310 secs
lola: 141303378 markings, 511157350 edges, 95184 markings/sec, 1315 secs
lola: 141783393 markings, 513020660 edges, 96003 markings/sec, 1320 secs
lola: 142255110 markings, 514864885 edges, 94343 markings/sec, 1325 secs
lola: 142708318 markings, 516627420 edges, 90642 markings/sec, 1330 secs
lola: 143184879 markings, 518449815 edges, 95312 markings/sec, 1335 secs
lola: 143672101 markings, 520318652 edges, 97444 markings/sec, 1340 secs
lola: 144158870 markings, 522181858 edges, 97354 markings/sec, 1345 secs
lola: 144656136 markings, 524052274 edges, 99453 markings/sec, 1350 secs
lola: 145181375 markings, 525906683 edges, 105048 markings/sec, 1355 secs
lola: 145744639 markings, 527850185 edges, 112653 markings/sec, 1360 secs
lola: 146261274 markings, 529775879 edges, 103327 markings/sec, 1365 secs
lola: 146765938 markings, 531659540 edges, 100933 markings/sec, 1370 secs
lola: 147233586 markings, 533584549 edges, 93530 markings/sec, 1375 secs
lola: 147682395 markings, 535472709 edges, 89762 markings/sec, 1380 secs
lola: 148143604 markings, 537385535 edges, 92242 markings/sec, 1385 secs
lola: 148593833 markings, 539274388 edges, 90046 markings/sec, 1390 secs
lola: 149058608 markings, 541202440 edges, 92955 markings/sec, 1395 secs
lola: 149514259 markings, 543109332 edges, 91130 markings/sec, 1400 secs
lola: 149970100 markings, 545000867 edges, 91168 markings/sec, 1405 secs
lola: 150424462 markings, 546879797 edges, 90872 markings/sec, 1410 secs
lola: 150880314 markings, 548766905 edges, 91170 markings/sec, 1415 secs
lola: 151316067 markings, 550587273 edges, 87151 markings/sec, 1420 secs
lola: 151769062 markings, 552449274 edges, 90599 markings/sec, 1425 secs
lola: 152214941 markings, 554274559 edges, 89176 markings/sec, 1430 secs
lola: 152674080 markings, 556165014 edges, 91828 markings/sec, 1435 secs
lola: 153130158 markings, 558020888 edges, 91216 markings/sec, 1440 secs
lola: 153581574 markings, 559836003 edges, 90283 markings/sec, 1445 secs
lola: 154062205 markings, 561681236 edges, 96126 markings/sec, 1450 secs
lola: 154585430 markings, 563570122 edges, 104645 markings/sec, 1455 secs
lola: 155083212 markings, 565425356 edges, 99556 markings/sec, 1460 secs
lola: 155587492 markings, 567261569 edges, 100856 markings/sec, 1465 secs
lola: 156106425 markings, 569187613 edges, 103787 markings/sec, 1470 secs
lola: 156615306 markings, 571070071 edges, 101776 markings/sec, 1475 secs
lola: 157170060 markings, 572969556 edges, 110951 markings/sec, 1480 secs
lola: 157796975 markings, 574986376 edges, 125383 markings/sec, 1485 secs
lola: 158363872 markings, 576973907 edges, 113379 markings/sec, 1490 secs
lola: 158903304 markings, 578948235 edges, 107886 markings/sec, 1495 secs
lola: 159441003 markings, 580905513 edges, 107540 markings/sec, 1500 secs
lola: 159977300 markings, 582853518 edges, 107259 markings/sec, 1505 secs
lola: 160506718 markings, 584770919 edges, 105884 markings/sec, 1510 secs
lola: 161055988 markings, 586746858 edges, 109854 markings/sec, 1515 secs
lola: 161600068 markings, 588684958 edges, 108816 markings/sec, 1520 secs
lola: 162167729 markings, 590641519 edges, 113532 markings/sec, 1525 secs
lola: 162732711 markings, 592604933 edges, 112996 markings/sec, 1530 secs
lola: 163245712 markings, 594509949 edges, 102600 markings/sec, 1535 secs
lola: 163788341 markings, 596478490 edges, 108526 markings/sec, 1540 secs
lola: 164329725 markings, 598418303 edges, 108277 markings/sec, 1545 secs
lola: 164869175 markings, 600389767 edges, 107890 markings/sec, 1550 secs
lola: 165358863 markings, 602348011 edges, 97938 markings/sec, 1555 secs
lola: 165820053 markings, 604263125 edges, 92238 markings/sec, 1560 secs
lola: 166280443 markings, 606165613 edges, 92078 markings/sec, 1565 secs
lola: 166738481 markings, 608050698 edges, 91608 markings/sec, 1570 secs
lola: 167198206 markings, 609942934 edges, 91945 markings/sec, 1575 secs
lola: 167669810 markings, 611868307 edges, 94321 markings/sec, 1580 secs
lola: 168131571 markings, 613732270 edges, 92352 markings/sec, 1585 secs
lola: 168622615 markings, 615648957 edges, 98209 markings/sec, 1590 secs
lola: 169095013 markings, 617554658 edges, 94480 markings/sec, 1595 secs
lola: 169550445 markings, 619441976 edges, 91086 markings/sec, 1600 secs
lola: 170008694 markings, 621356452 edges, 91650 markings/sec, 1605 secs
lola: 170497546 markings, 623279431 edges, 97770 markings/sec, 1610 secs
lola: 171032585 markings, 625253575 edges, 107008 markings/sec, 1615 secs
lola: 171505629 markings, 627191757 edges, 94609 markings/sec, 1620 secs
lola: 171969195 markings, 629107864 edges, 92713 markings/sec, 1625 secs
lola: 172434878 markings, 631032685 edges, 93137 markings/sec, 1630 secs
lola: 172894335 markings, 632929198 edges, 91891 markings/sec, 1635 secs
lola: 173366322 markings, 634858715 edges, 94397 markings/sec, 1640 secs
lola: 173844456 markings, 636808599 edges, 95627 markings/sec, 1645 secs
lola: 174314788 markings, 638708885 edges, 94066 markings/sec, 1650 secs
lola: 174822143 markings, 640648426 edges, 101471 markings/sec, 1655 secs
lola: 175282451 markings, 642563211 edges, 92062 markings/sec, 1660 secs
lola: 175746964 markings, 644476028 edges, 92903 markings/sec, 1665 secs
lola: 176205850 markings, 646400124 edges, 91777 markings/sec, 1670 secs
lola: 176710311 markings, 648338331 edges, 100892 markings/sec, 1675 secs
lola: 177220179 markings, 650277654 edges, 101974 markings/sec, 1680 secs
lola: 177679161 markings, 652165113 edges, 91796 markings/sec, 1685 secs
lola: 178136201 markings, 654050146 edges, 91408 markings/sec, 1690 secs
lola: 178607145 markings, 655969683 edges, 94189 markings/sec, 1695 secs
lola: 179065717 markings, 657818730 edges, 91714 markings/sec, 1700 secs
lola: 179553788 markings, 659724073 edges, 97614 markings/sec, 1705 secs
lola: 180019216 markings, 661608929 edges, 93086 markings/sec, 1710 secs
lola: 180477723 markings, 663501913 edges, 91701 markings/sec, 1715 secs
lola: 180959597 markings, 665407988 edges, 96375 markings/sec, 1720 secs
lola: 181461899 markings, 667319362 edges, 100460 markings/sec, 1725 secs
lola: 181920314 markings, 669207640 edges, 91683 markings/sec, 1730 secs
lola: 182395799 markings, 671144045 edges, 95097 markings/sec, 1735 secs
lola: 182857859 markings, 673015202 edges, 92412 markings/sec, 1740 secs
lola: 183348155 markings, 674931321 edges, 98059 markings/sec, 1745 secs
lola: 183813504 markings, 676820258 edges, 93070 markings/sec, 1750 secs
lola: 184274997 markings, 678718629 edges, 92299 markings/sec, 1755 secs
lola: 184787151 markings, 680645166 edges, 102431 markings/sec, 1760 secs
lola: 185244497 markings, 682474126 edges, 91469 markings/sec, 1765 secs
lola: 185701394 markings, 684346814 edges, 91379 markings/sec, 1770 secs
lola: 186157001 markings, 686203187 edges, 91121 markings/sec, 1775 secs
lola: 186609291 markings, 688023420 edges, 90458 markings/sec, 1780 secs
lola: 187097180 markings, 689900728 edges, 97578 markings/sec, 1785 secs
lola: 187541832 markings, 691739304 edges, 88930 markings/sec, 1790 secs
lola: 187984143 markings, 693584214 edges, 88462 markings/sec, 1795 secs
lola: 188503737 markings, 695506394 edges, 103919 markings/sec, 1800 secs
lola: 188969771 markings, 697403773 edges, 93207 markings/sec, 1805 secs
lola: 189429901 markings, 699259196 edges, 92026 markings/sec, 1810 secs
lola: 189920586 markings, 701159552 edges, 98137 markings/sec, 1815 secs
lola: 190376264 markings, 703032899 edges, 91136 markings/sec, 1820 secs
lola: 190870693 markings, 704905369 edges, 98886 markings/sec, 1825 secs
lola: 191316032 markings, 706717523 edges, 89068 markings/sec, 1830 secs
lola: 191768285 markings, 708526153 edges, 90451 markings/sec, 1835 secs
lola: 192225244 markings, 710324030 edges, 91392 markings/sec, 1840 secs
lola: 192684822 markings, 712145852 edges, 91916 markings/sec, 1845 secs
lola: 193178756 markings, 714066604 edges, 98787 markings/sec, 1850 secs
lola: 193647094 markings, 715955808 edges, 93668 markings/sec, 1855 secs
lola: 194131866 markings, 717844112 edges, 96954 markings/sec, 1860 secs
lola: 194588346 markings, 719719922 edges, 91296 markings/sec, 1865 secs
lola: 195083734 markings, 721603550 edges, 99078 markings/sec, 1870 secs
lola: 195580265 markings, 723532338 edges, 99306 markings/sec, 1875 secs
lola: 196053030 markings, 725418614 edges, 94553 markings/sec, 1880 secs
lola: 196534513 markings, 727296368 edges, 96297 markings/sec, 1885 secs
lola: 197012119 markings, 729174384 edges, 95521 markings/sec, 1890 secs
lola: 197493322 markings, 731029823 edges, 96241 markings/sec, 1895 secs
lola: 197970100 markings, 732893360 edges, 95356 markings/sec, 1900 secs
lola: 198440131 markings, 734712889 edges, 94006 markings/sec, 1905 secs
lola: 198897821 markings, 736475723 edges, 91538 markings/sec, 1910 secs
lola: 199381476 markings, 738346416 edges, 96731 markings/sec, 1915 secs
lola: 199875294 markings, 740238998 edges, 98764 markings/sec, 1920 secs
lola: 200374949 markings, 742105229 edges, 99931 markings/sec, 1925 secs
lola: 200879550 markings, 743989022 edges, 100920 markings/sec, 1930 secs
lola: 201441895 markings, 745901307 edges, 112469 markings/sec, 1935 secs
lola: 201978473 markings, 747859630 edges, 107316 markings/sec, 1940 secs
lola: 202495887 markings, 749777601 edges, 103483 markings/sec, 1945 secs
lola: 202954590 markings, 751688449 edges, 91741 markings/sec, 1950 secs
lola: 203409279 markings, 753579802 edges, 90938 markings/sec, 1955 secs
lola: 203868105 markings, 755499253 edges, 91765 markings/sec, 1960 secs
lola: 204329334 markings, 757405762 edges, 92246 markings/sec, 1965 secs
lola: 204775145 markings, 759276164 edges, 89162 markings/sec, 1970 secs
lola: 205225582 markings, 761141143 edges, 90087 markings/sec, 1975 secs
lola: 205676235 markings, 763004891 edges, 90131 markings/sec, 1980 secs
lola: 206117938 markings, 764827676 edges, 88341 markings/sec, 1985 secs
lola: 206564988 markings, 766674838 edges, 89410 markings/sec, 1990 secs
lola: 207007897 markings, 768496472 edges, 88582 markings/sec, 1995 secs
lola: 207462463 markings, 770354660 edges, 90913 markings/sec, 2000 secs
lola: 207911877 markings, 772184597 edges, 89883 markings/sec, 2005 secs
lola: 208374918 markings, 774029666 edges, 92608 markings/sec, 2010 secs
lola: 208652416 markings, 775083619 edges, 55500 markings/sec, 2015 secs
lola: 209152230 markings, 776896681 edges, 99963 markings/sec, 2020 secs
lola: 209654431 markings, 778753075 edges, 100440 markings/sec, 2025 secs
lola: 210170980 markings, 780632283 edges, 103310 markings/sec, 2030 secs
lola: 210682057 markings, 782547099 edges, 102215 markings/sec, 2035 secs
lola: 211197335 markings, 784429589 edges, 103056 markings/sec, 2040 secs
lola: 211829549 markings, 786429627 edges, 126443 markings/sec, 2045 secs
lola: 212418147 markings, 788413998 edges, 117720 markings/sec, 2050 secs
lola: 212956725 markings, 790373655 edges, 107716 markings/sec, 2055 secs
lola: 213497957 markings, 792344976 edges, 108246 markings/sec, 2060 secs
lola: 214030361 markings, 794283171 edges, 106481 markings/sec, 2065 secs
lola: 214566063 markings, 796230781 edges, 107140 markings/sec, 2070 secs
lola: 215107264 markings, 798182846 edges, 108240 markings/sec, 2075 secs
lola: 215654861 markings, 800140481 edges, 109519 markings/sec, 2080 secs
lola: 216201038 markings, 802062041 edges, 109235 markings/sec, 2085 secs
lola: 216783932 markings, 804013825 edges, 116579 markings/sec, 2090 secs
lola: 217301929 markings, 805926702 edges, 103599 markings/sec, 2095 secs
lola: 217835104 markings, 807874579 edges, 106635 markings/sec, 2100 secs
lola: 218358085 markings, 809812436 edges, 104596 markings/sec, 2105 secs
lola: 218915968 markings, 811790314 edges, 111577 markings/sec, 2110 secs
lola: 219431686 markings, 813772660 edges, 103144 markings/sec, 2115 secs
lola: 219904820 markings, 815724536 edges, 94627 markings/sec, 2120 secs
lola: 220360376 markings, 817633589 edges, 91111 markings/sec, 2125 secs
lola: 220835473 markings, 819574219 edges, 95019 markings/sec, 2130 secs
lola: 221304409 markings, 821505844 edges, 93787 markings/sec, 2135 secs
lola: 221779653 markings, 823448922 edges, 95049 markings/sec, 2140 secs
lola: 222245036 markings, 825341003 edges, 93077 markings/sec, 2145 secs
lola: 222726483 markings, 827252690 edges, 96289 markings/sec, 2150 secs
lola: 223217152 markings, 829171178 edges, 98134 markings/sec, 2155 secs
lola: 223666724 markings, 831058573 edges, 89914 markings/sec, 2160 secs
lola: 224134941 markings, 832995218 edges, 93643 markings/sec, 2165 secs
lola: 224595466 markings, 834898252 edges, 92105 markings/sec, 2170 secs
lola: 225143203 markings, 836889408 edges, 109547 markings/sec, 2175 secs
lola: 225640119 markings, 838865533 edges, 99383 markings/sec, 2180 secs
lola: 226108968 markings, 840807616 edges, 93770 markings/sec, 2185 secs
lola: 226571651 markings, 842719754 edges, 92537 markings/sec, 2190 secs
lola: 227039385 markings, 844647865 edges, 93547 markings/sec, 2195 secs
lola: 227510241 markings, 846584259 edges, 94171 markings/sec, 2200 secs
lola: 227985273 markings, 848523565 edges, 95006 markings/sec, 2205 secs
lola: 228454174 markings, 850417405 edges, 93780 markings/sec, 2210 secs
lola: 228948170 markings, 852345758 edges, 98799 markings/sec, 2215 secs
lola: 229426600 markings, 854276691 edges, 95686 markings/sec, 2220 secs
lola: 229883751 markings, 856168052 edges, 91430 markings/sec, 2225 secs
lola: 230351388 markings, 858125642 edges, 93527 markings/sec, 2230 secs
lola: 230845507 markings, 860065491 edges, 98824 markings/sec, 2235 secs
lola: 231367514 markings, 862006783 edges, 104401 markings/sec, 2240 secs
lola: 231833151 markings, 863928634 edges, 93127 markings/sec, 2245 secs
lola: 232296904 markings, 865836459 edges, 92751 markings/sec, 2250 secs
lola: 232769057 markings, 867764438 edges, 94431 markings/sec, 2255 secs
lola: 233230386 markings, 869632995 edges, 92266 markings/sec, 2260 secs
lola: 233711314 markings, 871528987 edges, 96186 markings/sec, 2265 secs
lola: 234187199 markings, 873427737 edges, 95177 markings/sec, 2270 secs
lola: 234647166 markings, 875321160 edges, 91993 markings/sec, 2275 secs
lola: 235127202 markings, 877268375 edges, 96007 markings/sec, 2280 secs
lola: 235648346 markings, 879213759 edges, 104229 markings/sec, 2285 secs
lola: 236118440 markings, 881147538 edges, 94019 markings/sec, 2290 secs
lola: 236593946 markings, 883089778 edges, 95101 markings/sec, 2295 secs
lola: 237059864 markings, 884977206 edges, 93184 markings/sec, 2300 secs
lola: 237546007 markings, 886886795 edges, 97229 markings/sec, 2305 secs
lola: 238017289 markings, 888779207 edges, 94256 markings/sec, 2310 secs
lola: 238482368 markings, 890700198 edges, 93016 markings/sec, 2315 secs
lola: 238991894 markings, 892629567 edges, 101905 markings/sec, 2320 secs
lola: 239465136 markings, 894515933 edges, 94648 markings/sec, 2325 secs
lola: 239929051 markings, 896411133 edges, 92783 markings/sec, 2330 secs
lola: 240387738 markings, 898280118 edges, 91737 markings/sec, 2335 secs
lola: 240843348 markings, 900114864 edges, 91122 markings/sec, 2340 secs
lola: 241329345 markings, 901982436 edges, 97199 markings/sec, 2345 secs
lola: 241775373 markings, 903830026 edges, 89206 markings/sec, 2350 secs
lola: 242222015 markings, 905691187 edges, 89328 markings/sec, 2355 secs
lola: 242743847 markings, 907621918 edges, 104366 markings/sec, 2360 secs
lola: 243211559 markings, 909525794 edges, 93542 markings/sec, 2365 secs
lola: 243674376 markings, 911392364 edges, 92563 markings/sec, 2370 secs
lola: 244161037 markings, 913276791 edges, 97332 markings/sec, 2375 secs
lola: 244618841 markings, 915157936 edges, 91561 markings/sec, 2380 secs
lola: 245117283 markings, 917048349 edges, 99688 markings/sec, 2385 secs
lola: 245575129 markings, 918912539 edges, 91569 markings/sec, 2390 secs
lola: 246043766 markings, 920777941 edges, 93727 markings/sec, 2395 secs
lola: 246504757 markings, 922604704 edges, 92198 markings/sec, 2400 secs
lola: 246990413 markings, 924497024 edges, 97131 markings/sec, 2405 secs
lola: 247478638 markings, 926428054 edges, 97645 markings/sec, 2410 secs
lola: 247959025 markings, 928356927 edges, 96077 markings/sec, 2415 secs
lola: 248440175 markings, 930239386 edges, 96230 markings/sec, 2420 secs
lola: 248919170 markings, 932161783 edges, 95799 markings/sec, 2425 secs
lola: 249413214 markings, 934078288 edges, 98809 markings/sec, 2430 secs
lola: 249902667 markings, 935983030 edges, 97891 markings/sec, 2435 secs
lola: 250386664 markings, 937867969 edges, 96799 markings/sec, 2440 secs
lola: 250866089 markings, 939766952 edges, 95885 markings/sec, 2445 secs
lola: 251346317 markings, 941649255 edges, 96046 markings/sec, 2450 secs
lola: 251829365 markings, 943523828 edges, 96610 markings/sec, 2455 secs
lola: 252303008 markings, 945384136 edges, 94729 markings/sec, 2460 secs
lola: 252697840 markings, 946897475 edges, 78966 markings/sec, 2465 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (E (X (((p86 <= 0) OR (p187 <= 0) OR (p288 <= 0) OR (p367 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX(((p86 <= 0) OR (p187 <= 0) OR (p288 <= 0) OR (p367 <= 0))))
lola: processed formula length: 68
lola: 28 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: 721675 markings, 1400628 edges, 144335 markings/sec, 0 secs
lola: 1462088 markings, 2888726 edges, 148083 markings/sec, 5 secs
lola: 2160522 markings, 4312411 edges, 139687 markings/sec, 10 secs
lola: 2831065 markings, 5692319 edges, 134109 markings/sec, 15 secs
lola: 3479988 markings, 7043175 edges, 129785 markings/sec, 20 secs
lola: 4112330 markings, 8367402 edges, 126468 markings/sec, 25 secs
lola: 4731679 markings, 9672459 edges, 123870 markings/sec, 30 secs
lola: 5340384 markings, 10960329 edges, 121741 markings/sec, 35 secs
lola: 5940828 markings, 12234870 edges, 120089 markings/sec, 40 secs
lola: 6534747 markings, 13499535 edges, 118784 markings/sec, 45 secs
lola: 7120321 markings, 14752998 edges, 117115 markings/sec, 50 secs
lola: 7700680 markings, 15999754 edges, 116072 markings/sec, 55 secs
lola: 8278414 markings, 17235802 edges, 115547 markings/sec, 60 secs
lola: 8849261 markings, 18464369 edges, 114169 markings/sec, 65 secs
lola: 9415125 markings, 19686381 edges, 113173 markings/sec, 70 secs
lola: 9974753 markings, 20901145 edges, 111926 markings/sec, 75 secs
lola: 10531742 markings, 22110119 edges, 111398 markings/sec, 80 secs
lola: 11084952 markings, 23314037 edges, 110642 markings/sec, 85 secs
lola: 11635399 markings, 24511247 edges, 110089 markings/sec, 90 secs
lola: 12185849 markings, 25702847 edges, 110090 markings/sec, 95 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes unknown yes no no unknown yes yes no unknown no no no unknown yes
lola:
preliminary result: yes yes unknown yes no no unknown yes yes no unknown no no no unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no no unknown yes yes no unknown no no no unknown yes
lola: memory consumption: 2398388 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no no unknown yes yes no unknown no no no unknown yes
lola: memory consumption: 2398388 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CircularTrains-PT-192"
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 CircularTrains-PT-192, 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 r168-smll-158987806200084"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-192.tgz
mv CircularTrains-PT-192 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 ;