About the Execution of ITS-LoLa for DLCround-PT-04a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.300 | 3600000.00 | 2684865.00 | 870.80 | ??F??TTFF?TF?FF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r180-ebro-158987900300468.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 DLCround-PT-04a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r180-ebro-158987900300468
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 372K
-rw-r--r-- 1 mcc users 2.6K Mar 30 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 29 08:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 29 08:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 04:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 04:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 23:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 23:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 200K 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 DLCround-PT-04a-CTLFireability-00
FORMULA_NAME DLCround-PT-04a-CTLFireability-01
FORMULA_NAME DLCround-PT-04a-CTLFireability-02
FORMULA_NAME DLCround-PT-04a-CTLFireability-03
FORMULA_NAME DLCround-PT-04a-CTLFireability-04
FORMULA_NAME DLCround-PT-04a-CTLFireability-05
FORMULA_NAME DLCround-PT-04a-CTLFireability-06
FORMULA_NAME DLCround-PT-04a-CTLFireability-07
FORMULA_NAME DLCround-PT-04a-CTLFireability-08
FORMULA_NAME DLCround-PT-04a-CTLFireability-09
FORMULA_NAME DLCround-PT-04a-CTLFireability-10
FORMULA_NAME DLCround-PT-04a-CTLFireability-11
FORMULA_NAME DLCround-PT-04a-CTLFireability-12
FORMULA_NAME DLCround-PT-04a-CTLFireability-13
FORMULA_NAME DLCround-PT-04a-CTLFireability-14
FORMULA_NAME DLCround-PT-04a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591232472540
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 01:01:15] [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-04 01:01:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 01:01:16] [INFO ] Load time of PNML (sax parser for PT used): 178 ms
[2020-06-04 01:01:16] [INFO ] Transformed 139 places.
[2020-06-04 01:01:16] [INFO ] Transformed 823 transitions.
[2020-06-04 01:01:16] [INFO ] Found NUPN structural information;
[2020-06-04 01:01:16] [INFO ] Parsed PT model containing 139 places and 823 transitions in 262 ms.
Ensure Unique test removed 91 transitions
Reduce redundant transitions removed 91 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 65 ms.
Incomplete random walk after 100000 steps, including 0 resets, run finished after 635 ms. (steps per millisecond=157 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1]
[2020-06-04 01:01:16] [INFO ] Flow matrix only has 122 transitions (discarded 610 similar events)
// Phase 1: matrix 122 rows 139 cols
[2020-06-04 01:01:16] [INFO ] Computed 69 place invariants in 13 ms
[2020-06-04 01:01:17] [INFO ] [Real]Absence check using 69 positive place invariants in 64 ms returned unsat
[2020-06-04 01:01:17] [INFO ] [Real]Absence check using 69 positive place invariants in 17 ms returned unsat
[2020-06-04 01:01:17] [INFO ] [Real]Absence check using 69 positive place invariants in 29 ms returned unsat
Successfully simplified 3 atomic propositions for a total of 3 simplifications.
[2020-06-04 01:01:17] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-04 01:01:17] [INFO ] Flatten gal took : 156 ms
[2020-06-04 01:01:17] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-04 01:01:17] [INFO ] Flatten gal took : 74 ms
FORMULA DLCround-PT-04a-CTLFireability-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-04a-CTLFireability-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCround-PT-04a-CTLFireability-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 01:01:17] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 7 ms.
[2020-06-04 01:01:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 16 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ DLCround-PT-04a @ 3570 seconds
FORMULA DLCround-PT-04a-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-04a-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-04a-CTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-04a-CTLFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-04a-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-04a-CTLFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ DLCround-PT-04a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Jun 4 01:01:18 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "EX(EX(AF(((1 <= p61) AND (1 <= p106)))))",
"processed_size": 40,
"rewrites": 21
},
"net":
{
"conflict_clusters": 19,
"singleton_clusters": 0
},
"result":
{
"edges": 202,
"markings": 65,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 308
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((1 <= p74))",
"processed_size": 12,
"rewrites": 21
},
"result":
{
"edges": 4,
"markings": 5,
"produced_by": "state space /EXEF",
"value": false
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance_from_all_successors",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 352
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p74))))",
"processed_size": 20,
"rewrites": 19
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 411
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 4,
"adisj": 2,
"aneg": 1,
"comp": 14,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 14,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 14,
"visible_transitions": 0
},
"processed": "A (G (((p28 <= 0) OR (((p33 <= 0) OR (p119 <= 0)) AND ((p46 <= 0) OR (p94 <= 0)) AND ((p65 <= 0) OR (p106 <= 0) OR (p57 <= 0) OR (p97 <= 0))) OR (p102 <= 0) OR (p66 <= 0) OR (p131 <= 0) OR ((1 <= p37) AND (1 <= p83)))))",
"processed_size": 229,
"rewrites": 20
},
"result":
{
"edges": 12,
"markings": 13,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 46,
"problems": 6
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 493
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p43) AND (1 <= p123))",
"processed_size": 28,
"rewrites": 21
},
"result":
{
"edges": 4,
"markings": 4,
"produced_by": "state space /EFEG",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 20
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability_of_possible_preservation",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 616
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 616
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p4) AND (1 <= p87))",
"processed_size": 26,
"rewrites": 18
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 925
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 9,
"visible_transitions": 0
},
"processed": "A (G (((p46 <= 0) OR ((1 <= p14) AND (1 <= p53) AND (1 <= p96)) OR (p123 <= 0) OR (p15 <= 0) OR (p107 <= 0) OR ((1 <= p76) AND (1 <= p114)))))",
"processed_size": 147,
"rewrites": 20
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 36,
"problems": 6
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 4966176,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(E(X(A(G(**)))) OR (E(X(**)) OR E(X(A(X(**)))))) : (A(G(**)) OR E(F(A(G(*))))) : (A(G(**)) OR **) : E(F(A(X(**)))) : A(X(E(F(A(X(**)))))) : E(F(**)) : A(G(*)) : E(F(A(X(**)))) : E(F(E(G(**)))) : A(G(E(F(**)))) : E(X(E(X(A(F(**)))))) : A(X(A(G(**)))) : (A(G(A(F(**)))) AND (A(G(**)) AND A(G(**))))"
},
"net":
{
"arcs": 2772,
"conflict_clusters": 19,
"places": 139,
"places_significant": 70,
"singleton_clusters": 0,
"transitions": 732
},
"result":
{
"interim_value": "unknown unknown no unknown unknown yes no unknown yes unknown no no unknown ",
"preliminary_value": "unknown unknown no unknown unknown yes no unknown yes unknown no no unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 871/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 139
lola: finding significant places
lola: 139 places, 732 transitions, 70 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: LP says that atomic proposition is always true: (p34 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p3 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p127 <= 1)
lola: LP says that atomic proposition is always true: (p44 <= 1)
lola: LP says that atomic proposition is always true: (p94 <= 1)
lola: LP says that atomic proposition is always true: (p14 <= 1)
lola: LP says that atomic proposition is always true: (p53 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p123 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p4 <= 1)
lola: LP says that atomic proposition is always true: (p87 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p138 <= 1)
lola: LP says that atomic proposition is always true: (p77 <= 1)
lola: LP says that atomic proposition is always true: (p74 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p94 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p57 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p28 <= 1)
lola: LP says that atomic proposition is always true: (p102 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p43 <= 1)
lola: LP says that atomic proposition is always true: (p123 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p64 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p74 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p41 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p14 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: E (X (((A (G (((p34 <= 0) OR (p80 <= 0)))) OR ((1 <= p3))) OR A (X (((1 <= p37) AND (1 <= p122))))))) : (A (G (E (G (((1 <= p37) AND (1 <= p127)))))) OR E (F (NOT(E (F (((1 <= p44) AND (1 <= p94)))))))) : (A (G (((p46 <= 0) OR ((1 <= p14) AND (1 <= p53) AND (1 <= p96)) OR (p123 <= 0) OR (p15 <= 0) OR (p107 <= 0) OR ((1 <= p76) AND (1 <= p114))))) OR ((1 <= p4) AND (1 <= p87))) : E (F (E (F (A (X (((1 <= p67) AND (1 <= p138)))))))) : A (X (E (F (A (X (((1 <= p77)))))))) : E (F (A (F (((1 <= p74)))))) : NOT(E (F (((1 <= p28) AND (((1 <= p33) AND (1 <= p119)) OR ((1 <= p46) AND (1 <= p94)) OR ((1 <= p65) AND (1 <= p106) AND (1 <= p57) AND (1 <= p97))) AND (1 <= p102) AND (1 <= p66) AND (1 <= p131) AND ((p37 <= 0) OR (p83 <= 0)))))) : E (F (A (F (A (X (((1 <= p66) AND (1 <= p106)))))))) : A (F (E (F (E (G (((1 <= p43) AND (1 <= p123)))))))) : A (G (E (F ((((p72 <= 0)) AND ((p64 <= 0))))))) : E (X (E (X (A (F (((1 <= p61) AND (1 <= p106)))))))) : A (G (A (X (((p74 <= 0)))))) : A (G (((A (F ((((1 <= p7) AND (1 <= p80)) OR ((1 <= p38) AND (1 <= p122))))) AND ((p41 <= 0) OR (p126 <= 0))) AND ((p37 <= 0) OR (p14 <= 0) OR (p106 <= 0)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:554
lola: rewrite Frontend/Parser/formula_rewrite.k:554
lola: rewrite Frontend/Parser/formula_rewrite.k:458
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (G (((p34 <= 0) OR (p80 <= 0)))))) OR (E (X (((1 <= p3)))) OR E (X (A (X (((1 <= p37) AND (1 <= p122))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (((1 <= p3))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(((1 <= p3)))
lola: processed formula length: 15
lola: 19 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: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (G (((p34 <= 0) OR (p80 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AG(((p34 <= 0) OR (p80 <= 0))))
lola: processed formula length: 35
lola: 20 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: 128075 markings, 3607872 edges, 25615 markings/sec, 0 secs
lola: 235760 markings, 7059740 edges, 21537 markings/sec, 5 secs
lola: 337235 markings, 10467281 edges, 20295 markings/sec, 10 secs
lola: 440489 markings, 13902720 edges, 20651 markings/sec, 15 secs
lola: 554202 markings, 17684724 edges, 22743 markings/sec, 20 secs
lola: 652904 markings, 21087869 edges, 19740 markings/sec, 25 secs
lola: 756796 markings, 24624223 edges, 20778 markings/sec, 30 secs
lola: 852677 markings, 28037922 edges, 19176 markings/sec, 35 secs
lola: 943930 markings, 31529857 edges, 18251 markings/sec, 40 secs
lola: 1034910 markings, 35025308 edges, 18196 markings/sec, 45 secs
lola: 1129037 markings, 38484459 edges, 18825 markings/sec, 50 secs
lola: 1230674 markings, 41974423 edges, 20327 markings/sec, 55 secs
lola: 1322773 markings, 45426529 edges, 18420 markings/sec, 60 secs
lola: 1409467 markings, 48848447 edges, 17339 markings/sec, 65 secs
lola: 1498295 markings, 52267803 edges, 17766 markings/sec, 70 secs
lola: 1591760 markings, 55617157 edges, 18693 markings/sec, 75 secs
lola: 1683228 markings, 59006315 edges, 18294 markings/sec, 80 secs
lola: 1770336 markings, 62397800 edges, 17422 markings/sec, 85 secs
lola: 1866567 markings, 65735924 edges, 19246 markings/sec, 90 secs
lola: 1950655 markings, 69002060 edges, 16818 markings/sec, 95 secs
lola: 2031500 markings, 72277235 edges, 16169 markings/sec, 100 secs
lola: 2117491 markings, 75600135 edges, 17198 markings/sec, 105 secs
lola: 2199522 markings, 78874439 edges, 16406 markings/sec, 110 secs
lola: 2289686 markings, 82259900 edges, 18033 markings/sec, 115 secs
lola: 2380112 markings, 85633748 edges, 18085 markings/sec, 120 secs
lola: 2474642 markings, 89030361 edges, 18906 markings/sec, 125 secs
lola: 2567776 markings, 92379401 edges, 18627 markings/sec, 130 secs
lola: 2652208 markings, 95641079 edges, 16886 markings/sec, 135 secs
lola: 2731347 markings, 98870710 edges, 15828 markings/sec, 140 secs
lola: 2817548 markings, 102113908 edges, 17240 markings/sec, 145 secs
lola: 2901324 markings, 105335552 edges, 16755 markings/sec, 150 secs
lola: 2981155 markings, 108515917 edges, 15966 markings/sec, 155 secs
lola: 3068141 markings, 111801403 edges, 17397 markings/sec, 160 secs
lola: 3143300 markings, 115000977 edges, 15032 markings/sec, 165 secs
lola: 3245344 markings, 118476182 edges, 20409 markings/sec, 170 secs
lola: 3336353 markings, 121840550 edges, 18202 markings/sec, 175 secs
lola: 3417303 markings, 125064617 edges, 16190 markings/sec, 180 secs
lola: 3501830 markings, 128308405 edges, 16905 markings/sec, 185 secs
lola: 3583984 markings, 131535447 edges, 16431 markings/sec, 190 secs
lola: 3656621 markings, 134557186 edges, 14527 markings/sec, 195 secs
lola: 3739964 markings, 137817319 edges, 16669 markings/sec, 200 secs
lola: 3829205 markings, 141142269 edges, 17848 markings/sec, 205 secs
lola: 3912464 markings, 144386179 edges, 16652 markings/sec, 210 secs
lola: 3998088 markings, 147640868 edges, 17125 markings/sec, 215 secs
lola: 4087529 markings, 150923420 edges, 17888 markings/sec, 220 secs
lola: 4171853 markings, 154204713 edges, 16865 markings/sec, 225 secs
lola: 4258618 markings, 157473159 edges, 17353 markings/sec, 230 secs
lola: 4335328 markings, 160636966 edges, 15342 markings/sec, 235 secs
lola: 4413271 markings, 163828709 edges, 15589 markings/sec, 240 secs
lola: 4498646 markings, 167061929 edges, 17075 markings/sec, 245 secs
lola: 4575408 markings, 170308188 edges, 15352 markings/sec, 250 secs
lola: 4653442 markings, 173471309 edges, 15607 markings/sec, 255 secs
lola: 4732757 markings, 176691389 edges, 15863 markings/sec, 260 secs
lola: 4812129 markings, 179857806 edges, 15874 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2051148 KB
lola: time consumption: 280 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2051148 KB
lola: time consumption: 280 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 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p67) AND (1 <= p138))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p67) AND (1 <= p138))))
lola: processed formula length: 36
lola: 20 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: 120629 markings, 3352415 edges, 24126 markings/sec, 0 secs
lola: 220155 markings, 6561368 edges, 19905 markings/sec, 5 secs
lola: 315752 markings, 9749516 edges, 19119 markings/sec, 10 secs
lola: 412123 markings, 12912738 edges, 19274 markings/sec, 15 secs
lola: 515132 markings, 16307064 edges, 20602 markings/sec, 20 secs
lola: 608329 markings, 19556472 edges, 18639 markings/sec, 25 secs
lola: 700367 markings, 22682769 edges, 18408 markings/sec, 30 secs
lola: 793120 markings, 25917633 edges, 18551 markings/sec, 35 secs
lola: 881514 markings, 29281365 edges, 17679 markings/sec, 40 secs
lola: 969678 markings, 32546939 edges, 17633 markings/sec, 45 secs
lola: 1054275 markings, 35705298 edges, 16919 markings/sec, 50 secs
lola: 1139572 markings, 38863343 edges, 17059 markings/sec, 55 secs
lola: 1235512 markings, 42154984 edges, 19188 markings/sec, 60 secs
lola: 1321739 markings, 45388615 edges, 17245 markings/sec, 65 secs
lola: 1403878 markings, 48661491 edges, 16428 markings/sec, 70 secs
lola: 1486511 markings, 51871266 edges, 16527 markings/sec, 75 secs
lola: 1577542 markings, 55042525 edges, 18206 markings/sec, 80 secs
lola: 1661357 markings, 58199554 edges, 16763 markings/sec, 85 secs
lola: 1744301 markings, 61376493 edges, 16589 markings/sec, 90 secs
lola: 1833235 markings, 64576676 edges, 17787 markings/sec, 95 secs
lola: 1916037 markings, 67651917 edges, 16560 markings/sec, 100 secs
lola: 1994263 markings, 70777764 edges, 15645 markings/sec, 105 secs
lola: 2077216 markings, 73891623 edges, 16591 markings/sec, 110 secs
lola: 2150771 markings, 77022938 edges, 14711 markings/sec, 115 secs
lola: 2233749 markings, 80143972 edges, 16596 markings/sec, 120 secs
lola: 2315573 markings, 83271650 edges, 16365 markings/sec, 125 secs
lola: 2403270 markings, 86397675 edges, 17539 markings/sec, 130 secs
lola: 2487977 markings, 89545259 edges, 16941 markings/sec, 135 secs
lola: 2573463 markings, 92643995 edges, 17097 markings/sec, 140 secs
lola: 2653915 markings, 95696815 edges, 16090 markings/sec, 145 secs
lola: 2726872 markings, 98704297 edges, 14591 markings/sec, 150 secs
lola: 2808848 markings, 101796700 edges, 16395 markings/sec, 155 secs
lola: 2887692 markings, 104787243 edges, 15769 markings/sec, 160 secs
lola: 2961427 markings, 107781417 edges, 14747 markings/sec, 165 secs
lola: 3043623 markings, 110837588 edges, 16439 markings/sec, 170 secs
lola: 3115312 markings, 113841387 edges, 14338 markings/sec, 175 secs
lola: 3203165 markings, 116977970 edges, 17571 markings/sec, 180 secs
lola: 3291422 markings, 120158561 edges, 17651 markings/sec, 185 secs
lola: 3372478 markings, 123226068 edges, 16211 markings/sec, 190 secs
lola: 3447140 markings, 126217616 edges, 14932 markings/sec, 195 secs
lola: 3527401 markings, 129260530 edges, 16052 markings/sec, 200 secs
lola: 3601028 markings, 132273909 edges, 14725 markings/sec, 205 secs
lola: 3672123 markings, 135190413 edges, 14219 markings/sec, 210 secs
lola: 3748852 markings, 138192267 edges, 15346 markings/sec, 215 secs
lola: 3832970 markings, 141299046 edges, 16824 markings/sec, 220 secs
lola: 3910572 markings, 144317077 edges, 15520 markings/sec, 225 secs
lola: 3988514 markings, 147317937 edges, 15588 markings/sec, 230 secs
lola: 4073981 markings, 150409205 edges, 17093 markings/sec, 235 secs
lola: 4150173 markings, 153423283 edges, 15238 markings/sec, 240 secs
lola: 4230110 markings, 156470313 edges, 15987 markings/sec, 245 secs
lola: 4306464 markings, 159432617 edges, 15271 markings/sec, 250 secs
lola: 4378860 markings, 162433550 edges, 14479 markings/sec, 255 secs
lola: 4451646 markings, 165265854 edges, 14557 markings/sec, 260 secs
lola: 4527155 markings, 168264223 edges, 15102 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3337728 KB
lola: time consumption: 554 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (F (A (X (((1 <= p77))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(EF(AX(((1 <= p77)))))
lola: processed formula length: 24
lola: 21 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: 121423 markings, 3377633 edges, 24285 markings/sec, 0 secs
lola: 226272 markings, 6748076 edges, 20970 markings/sec, 5 secs
lola: 324429 markings, 10033185 edges, 19631 markings/sec, 10 secs
lola: 423177 markings, 13308225 edges, 19750 markings/sec, 15 secs
lola: 530138 markings, 16867204 edges, 21392 markings/sec, 20 secs
lola: 625634 markings, 20146225 edges, 19099 markings/sec, 25 secs
lola: 722216 markings, 23420882 edges, 19316 markings/sec, 30 secs
lola: 816303 markings, 26767574 edges, 18817 markings/sec, 35 secs
lola: 905282 markings, 30191149 edges, 17796 markings/sec, 40 secs
lola: 992627 markings, 33359525 edges, 17469 markings/sec, 45 secs
lola: 1078077 markings, 36628663 edges, 17090 markings/sec, 50 secs
lola: 1169470 markings, 39899323 edges, 18279 markings/sec, 55 secs
lola: 1265532 markings, 43306008 edges, 19212 markings/sec, 60 secs
lola: 1353342 markings, 46627388 edges, 17562 markings/sec, 65 secs
lola: 1439419 markings, 49972386 edges, 17215 markings/sec, 70 secs
lola: 1527543 markings, 53259996 edges, 17625 markings/sec, 75 secs
lola: 1616383 markings, 56503230 edges, 17768 markings/sec, 80 secs
lola: 1704772 markings, 59798695 edges, 17678 markings/sec, 85 secs
lola: 1789321 markings, 63051895 edges, 16910 markings/sec, 90 secs
lola: 1880900 markings, 66328875 edges, 18316 markings/sec, 95 secs
lola: 1963454 markings, 69542290 edges, 16511 markings/sec, 100 secs
lola: 2046091 markings, 72775689 edges, 16527 markings/sec, 105 secs
lola: 2127653 markings, 76010695 edges, 16312 markings/sec, 110 secs
lola: 2206972 markings, 79144571 edges, 15864 markings/sec, 115 secs
lola: 2290298 markings, 82282386 edges, 16665 markings/sec, 120 secs
lola: 2376407 markings, 85513512 edges, 17222 markings/sec, 125 secs
lola: 2468141 markings, 88758560 edges, 18347 markings/sec, 130 secs
lola: 2558536 markings, 91941808 edges, 18079 markings/sec, 135 secs
lola: 2635724 markings, 95042338 edges, 15438 markings/sec, 140 secs
lola: 2711397 markings, 98050842 edges, 15135 markings/sec, 145 secs
lola: 2793696 markings, 101223325 edges, 16460 markings/sec, 150 secs
lola: 2875910 markings, 104325478 edges, 16443 markings/sec, 155 secs
lola: 2952087 markings, 107417145 edges, 15235 markings/sec, 160 secs
lola: 3032945 markings, 110440011 edges, 16172 markings/sec, 165 secs
lola: 3105629 markings, 113446875 edges, 14537 markings/sec, 170 secs
lola: 3193559 markings, 116649611 edges, 17586 markings/sec, 175 secs
lola: 3284238 markings, 119893334 edges, 18136 markings/sec, 180 secs
lola: 3367394 markings, 123022520 edges, 16631 markings/sec, 185 secs
lola: 3443226 markings, 126067715 edges, 15166 markings/sec, 190 secs
lola: 3524295 markings, 129134191 edges, 16214 markings/sec, 195 secs
lola: 3598953 markings, 132175778 edges, 14932 markings/sec, 200 secs
lola: 3671348 markings, 135159308 edges, 14479 markings/sec, 205 secs
lola: 3748321 markings, 138173216 edges, 15395 markings/sec, 210 secs
lola: 3833239 markings, 141310493 edges, 16984 markings/sec, 215 secs
lola: 3910983 markings, 144332976 edges, 15549 markings/sec, 220 secs
lola: 3990700 markings, 147379762 edges, 15943 markings/sec, 225 secs
lola: 4075229 markings, 150465576 edges, 16906 markings/sec, 230 secs
lola: 4152145 markings, 153486401 edges, 15383 markings/sec, 235 secs
lola: 4233292 markings, 156591641 edges, 16229 markings/sec, 240 secs
lola: 4311039 markings, 159630540 edges, 15549 markings/sec, 245 secs
lola: 4384637 markings, 162686185 edges, 14720 markings/sec, 250 secs
lola: 4463550 markings, 165758034 edges, 15783 markings/sec, 255 secs
lola: 4540760 markings, 168840891 edges, 15442 markings/sec, 260 secs
lola: 4618590 markings, 171938291 edges, 15566 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3402868 KB
lola: time consumption: 829 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 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p66) AND (1 <= p106))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p66) AND (1 <= p106))))
lola: processed formula length: 36
lola: 20 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: 121355 markings, 3375736 edges, 24271 markings/sec, 0 secs
lola: 222611 markings, 6655719 edges, 20251 markings/sec, 5 secs
lola: 318168 markings, 9826093 edges, 19111 markings/sec, 10 secs
lola: 413858 markings, 12974031 edges, 19138 markings/sec, 15 secs
lola: 516110 markings, 16340163 edges, 20450 markings/sec, 20 secs
lola: 609596 markings, 19597433 edges, 18697 markings/sec, 25 secs
lola: 700932 markings, 22701180 edges, 18267 markings/sec, 30 secs
lola: 793646 markings, 25934864 edges, 18543 markings/sec, 35 secs
lola: 879917 markings, 29221499 edges, 17254 markings/sec, 40 secs
lola: 967083 markings, 32430835 edges, 17433 markings/sec, 45 secs
lola: 1046429 markings, 35433983 edges, 15869 markings/sec, 50 secs
lola: 1132450 markings, 38598348 edges, 17204 markings/sec, 55 secs
lola: 1226699 markings, 41847746 edges, 18850 markings/sec, 60 secs
lola: 1313779 markings, 45081089 edges, 17416 markings/sec, 65 secs
lola: 1394117 markings, 48321354 edges, 16068 markings/sec, 70 secs
lola: 1475554 markings, 51487990 edges, 16287 markings/sec, 75 secs
lola: 1566418 markings, 54605792 edges, 18173 markings/sec, 80 secs
lola: 1648951 markings, 57689648 edges, 16507 markings/sec, 85 secs
lola: 1731380 markings, 60847649 edges, 16486 markings/sec, 90 secs
lola: 1816448 markings, 64015756 edges, 17014 markings/sec, 95 secs
lola: 1901645 markings, 67130705 edges, 17039 markings/sec, 100 secs
lola: 1979881 markings, 70218691 edges, 15647 markings/sec, 105 secs
lola: 2060638 markings, 73324514 edges, 16151 markings/sec, 110 secs
lola: 2137449 markings, 76431925 edges, 15362 markings/sec, 115 secs
lola: 2218512 markings, 79541561 edges, 16213 markings/sec, 120 secs
lola: 2298600 markings, 82640765 edges, 16018 markings/sec, 125 secs
lola: 2385835 markings, 85816133 edges, 17447 markings/sec, 130 secs
lola: 2472927 markings, 88946894 edges, 17418 markings/sec, 135 secs
lola: 2561845 markings, 92083643 edges, 17784 markings/sec, 140 secs
lola: 2636499 markings, 95083230 edges, 14931 markings/sec, 145 secs
lola: 2712881 markings, 98109436 edges, 15276 markings/sec, 150 secs
lola: 2793065 markings, 101202382 edges, 16037 markings/sec, 155 secs
lola: 2873164 markings, 104198148 edges, 16020 markings/sec, 160 secs
lola: 2946000 markings, 107178262 edges, 14567 markings/sec, 165 secs
lola: 3026208 markings, 110179272 edges, 16042 markings/sec, 170 secs
lola: 3100842 markings, 113228617 edges, 14927 markings/sec, 175 secs
lola: 3185057 markings, 116326718 edges, 16843 markings/sec, 180 secs
lola: 3273297 markings, 119503664 edges, 17648 markings/sec, 185 secs
lola: 3357135 markings, 122630800 edges, 16768 markings/sec, 190 secs
lola: 3429840 markings, 125566720 edges, 14541 markings/sec, 195 secs
lola: 3509986 markings, 128609680 edges, 16029 markings/sec, 200 secs
lola: 3585692 markings, 131606267 edges, 15141 markings/sec, 205 secs
lola: 3656666 markings, 134558646 edges, 14195 markings/sec, 210 secs
lola: 3733834 markings, 137583951 edges, 15434 markings/sec, 215 secs
lola: 3818503 markings, 140681832 edges, 16934 markings/sec, 220 secs
lola: 3893266 markings, 143652038 edges, 14953 markings/sec, 225 secs
lola: 3970799 markings, 146658983 edges, 15507 markings/sec, 230 secs
lola: 4053773 markings, 149700376 edges, 16595 markings/sec, 235 secs
lola: 4134168 markings, 152761161 edges, 16079 markings/sec, 240 secs
lola: 4211387 markings, 155766759 edges, 15444 markings/sec, 245 secs
lola: 4290494 markings, 158749874 edges, 15821 markings/sec, 250 secs
lola: 4358747 markings, 161640948 edges, 13651 markings/sec, 255 secs
lola: 4435044 markings, 164623997 edges, 15259 markings/sec, 260 secs
lola: 4512109 markings, 167610146 edges, 15413 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3323352 KB
lola: time consumption: 1103 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 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (X (A (F (((1 <= p61) AND (1 <= p106))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EX(AF(((1 <= p61) AND (1 <= p106)))))
lola: processed formula length: 40
lola: 21 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 65 markings, 202 edges
lola: subprocess 5 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (((p74 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: ========================================
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:624
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p74))
lola: processed formula length: 12
lola: 21 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 /EXEF)
lola: state space: using reachability graph (EXef 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: RUNNING
lola: state equation task get result started, id 0
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 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p74))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p74))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p74))))
lola: processed formula length: 20
lola: 19 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p74))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 7 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p28 <= 0) OR (((p33 <= 0) OR (p119 <= 0)) AND ((p46 <= 0) OR (p94 <= 0)) AND ((p65 <= 0) OR (p106 <= 0) OR (p57 <= 0) OR (p97 <= 0))) OR (p102 <= 0) OR (p66 <= 0) OR (p131 <= 0) OR ((1 <= p37) AND (1 <= p83)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((p28 <= 0) OR (((p33 <= 0) OR (p119 <= 0)) AND ((p46 <= 0) OR (p94 <= 0)) AND ((p65 <= 0) OR (p106 <= 0) OR (p57 <= 0) OR (p97 <= 0))) OR (p102 <= 0) OR (p66 <= 0) OR (p131 <= 0) OR ((1 <= p37) AND (1 <= p83)))))
lola: processed formula length: 229
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p28) AND (((1 <= p33) AND (1 <= p119)) OR ((1 <= p46) AND (1 <= p94)) OR ((1 <= p65) AND (1 <= p106) AND (1 <= p57) AND (1 <= p97))) AND (1 <= p102) AND (1 <= p66) AND (1 <= p131) AND ((p37 <= 0) OR (p83 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 46 literals and 6 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 13 markings, 12 edges
lola: ========================================
lola: subprocess 8 will run for 493 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((1 <= p43) AND (1 <= p123))))))
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: ((1 <= p43) AND (1 <= p123))
lola: processed formula length: 28
lola: 21 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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p43 <= 0) OR (p123 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 9 will run for 616 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((((p72 <= 0)) AND ((p64 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (((p72 <= 0)) AND ((p64 <= 0)))
lola: processed formula length: 31
lola: 21 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: 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 <= p72)) OR ((1 <= p64)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 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: (((p72 <= 0)) AND ((p64 <= 0)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-9-0.sara
lola: state equation: write sara problem file to CTLFireability-9-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-9-0.sara.
sara: try reading problem file CTLFireability-9-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 150248 markings, 3541842 edges, 30050 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 269770 markings, 6932013 edges, 23904 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 391768 markings, 10288840 edges, 24400 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 515915 markings, 13705194 edges, 24829 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 632133 markings, 17116420 edges, 23244 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 757424 markings, 20484543 edges, 25058 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 870620 markings, 23855484 edges, 22639 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 998464 markings, 27279464 edges, 25569 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 1100507 markings, 30647816 edges, 20409 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 1205829 markings, 33902667 edges, 21064 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 1332589 markings, 37265578 edges, 25352 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 1438466 markings, 40649214 edges, 21175 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 1546890 markings, 44013437 edges, 21685 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 1655362 markings, 47336169 edges, 21694 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 1753583 markings, 50713139 edges, 19644 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 1850324 markings, 53993578 edges, 19348 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 1963899 markings, 57349067 edges, 22715 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 2064098 markings, 60666486 edges, 20040 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 2165733 markings, 63919969 edges, 20327 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 2260143 markings, 67156629 edges, 18882 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 2363502 markings, 70446590 edges, 20672 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 2472762 markings, 73741888 edges, 21852 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 2577589 markings, 76915988 edges, 20965 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 2675312 markings, 80039417 edges, 19545 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 2774299 markings, 83173056 edges, 19797 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 2866315 markings, 86296213 edges, 18403 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 2966846 markings, 89468988 edges, 20106 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 3068292 markings, 92593910 edges, 20289 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 3164877 markings, 95699705 edges, 19317 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 3255363 markings, 98788924 edges, 18097 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 3358862 markings, 101930372 edges, 20700 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 3460370 markings, 105013197 edges, 20302 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 3552824 markings, 107950036 edges, 18491 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 3657318 markings, 111152965 edges, 20899 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 3740157 markings, 114183193 edges, 16568 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 3834098 markings, 117297918 edges, 18788 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 3938031 markings, 120565212 edges, 20787 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 4046126 markings, 123763793 edges, 21619 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 4146025 markings, 126989257 edges, 19980 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 4240979 markings, 130069696 edges, 18991 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 4337458 markings, 133199320 edges, 19296 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 4431373 markings, 136273068 edges, 18783 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 4529355 markings, 139338019 edges, 19596 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 4627404 markings, 142552923 edges, 19610 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 4720753 markings, 145691194 edges, 18670 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 4812436 markings, 148783518 edges, 18337 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 4904106 markings, 151902789 edges, 18334 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 5018861 markings, 155212774 edges, 22951 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 5113465 markings, 158308361 edges, 18921 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 5223124 markings, 161470099 edges, 21932 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 5317754 markings, 164589642 edges, 18926 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 5419075 markings, 167658445 edges, 20264 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 5502693 markings, 170756245 edges, 16724 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 5587127 markings, 173840599 edges, 16887 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 5692091 markings, 176964253 edges, 20993 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 5783286 markings, 180117540 edges, 18239 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 5876663 markings, 183210902 edges, 18675 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 5980723 markings, 186362002 edges, 20812 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 6088038 markings, 189582071 edges, 21463 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 6197774 markings, 192693537 edges, 21947 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 6288746 markings, 195854653 edges, 18194 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 6374924 markings, 198971299 edges, 17236 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 6471289 markings, 202089092 edges, 19273 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 6577562 markings, 205306041 edges, 21255 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 6683974 markings, 208574223 edges, 21282 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 6771330 markings, 211713798 edges, 17471 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 6857631 markings, 214730457 edges, 17260 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 6952634 markings, 217797883 edges, 19001 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 7050907 markings, 220827115 edges, 19655 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 7146705 markings, 223894672 edges, 19160 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 7240410 markings, 227014484 edges, 18741 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 7327771 markings, 230028839 edges, 17472 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 7419199 markings, 233040869 edges, 18286 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 7512746 markings, 236121694 edges, 18709 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 7601783 markings, 239271541 edges, 17807 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 7696109 markings, 242332821 edges, 18865 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 7784263 markings, 245351702 edges, 17631 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 7856253 markings, 248328697 edges, 14398 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 7960906 markings, 251440367 edges, 20931 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 8055085 markings, 254623796 edges, 18836 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 8170604 markings, 257684908 edges, 23104 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 8264002 markings, 260789416 edges, 18680 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 8358064 markings, 263823460 edges, 18812 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 8433131 markings, 266893239 edges, 15013 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 8520774 markings, 269884601 edges, 17529 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 8613959 markings, 272937593 edges, 18637 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 8703829 markings, 275931108 edges, 17974 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 8784346 markings, 279023879 edges, 16103 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 8872425 markings, 282076304 edges, 17616 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 8966401 markings, 285127729 edges, 18795 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 9041867 markings, 288099398 edges, 15093 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 9131002 markings, 291063363 edges, 17827 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 9222717 markings, 294147822 edges, 18343 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 9309550 markings, 297181078 edges, 17367 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 9380562 markings, 300155460 edges, 14202 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 9481048 markings, 303196760 edges, 20097 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 9570062 markings, 306183409 edges, 17803 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 9653055 markings, 309161209 edges, 16599 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 9746605 markings, 312231797 edges, 18710 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 9821049 markings, 315185621 edges, 14889 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 9914035 markings, 318227988 edges, 18597 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 10001628 markings, 321297647 edges, 17519 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 10087586 markings, 324294784 edges, 17192 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 10171482 markings, 327306562 edges, 16779 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 10242123 markings, 330344197 edges, 14128 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 10312513 markings, 333337733 edges, 14078 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 10412715 markings, 336447528 edges, 20040 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 10506943 markings, 339500847 edges, 18846 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 10601454 markings, 342594580 edges, 18902 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 10696814 markings, 345659789 edges, 19072 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 10787635 markings, 348745358 edges, 18164 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 10858376 markings, 351713667 edges, 14148 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 10922276 markings, 354700451 edges, 12780 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 11016763 markings, 357750829 edges, 18897 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 11092582 markings, 360822077 edges, 15164 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 11173293 markings, 363849433 edges, 16142 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 11267530 markings, 366903793 edges, 18847 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 11345660 markings, 369911606 edges, 15626 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 11430437 markings, 372942586 edges, 16955 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 11523149 markings, 375980155 edges, 18542 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 11612871 markings, 379053460 edges, 17944 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 11697472 markings, 382076011 edges, 16920 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 11775431 markings, 385081459 edges, 15592 markings/sec, 610 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown yes no unknown yes unknown no no unknown
lola: memory consumption: 3834156 KB
lola: time consumption: 1720 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 616 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p46 <= 0) OR ((1 <= p14) AND (1 <= p53) AND (1 <= p96)) OR (p123 <= 0) OR (p15 <= 0) OR (p107 <= 0) OR ((1 <= p76) AND (1 <= p114))))) OR ((1 <= p4) AND (1 <= p87)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 616 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p4) AND (1 <= p87))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p4) AND (1 <= p87))
lola: processed formula length: 26
lola: 18 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 925 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p46 <= 0) OR ((1 <= p14) AND (1 <= p53) AND (1 <= p96)) OR (p123 <= 0) OR (p15 <= 0) OR (p107 <= 0) OR ((1 <= p76) AND (1 <= p114)))))
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 (((p46 <= 0) OR ((1 <= p14) AND (1 <= p53) AND (1 <= p96)) OR (p123 <= 0) OR (p15 <= 0) OR (p107 <= 0) OR ((1 <= p76) AND (1 <= p114)))))
lola: processed formula length: 147
lola: 20 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 <= p46) AND ((p14 <= 0) OR (p53 <= 0) OR (p96 <= 0)) AND (1 <= p123) AND (1 <= p15) AND (1 <= p107) AND ((p76 <= 0) OR (p114 <= 0)))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 36 literals and 6 conjunctive subformulas
lola: The predicate is not invariant.
lola: 6 markings, 5 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 925 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((1 <= p37) AND (1 <= p127)))) OR E (F (A (G (((p44 <= 0) OR (p94 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 925 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p37) AND (1 <= p127))))
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 (((1 <= p37) AND (1 <= p127))))
lola: processed formula length: 36
lola: 20 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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p37 <= 0) OR (p127 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: ========================================
lola: subprocess 12 will run for 1850 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((p44 <= 0) OR (p94 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((1 <= p44) AND (1 <= p94))
lola: processed formula length: 27
lola: 22 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: 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: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: formula 0: ((p44 <= 0) OR (p94 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p44) AND (1 <= p94))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-12-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLFireability-12-1.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.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 189341 markings, 3425318 edges, 37868 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 342579 markings, 6981962 edges, 30648 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 489454 markings, 10385178 edges, 29375 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 638381 markings, 13868958 edges, 29785 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 784084 markings, 17266158 edges, 29141 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 931218 markings, 20658256 edges, 29427 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 1089409 markings, 24030096 edges, 31638 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 1227611 markings, 27368264 edges, 27640 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 1364022 markings, 30694541 edges, 27282 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 1498162 markings, 34002971 edges, 26828 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 1630814 markings, 37381565 edges, 26530 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 1760643 markings, 40746742 edges, 25966 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 1885228 markings, 44082427 edges, 24917 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 2013695 markings, 47322676 edges, 25693 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 2125818 markings, 50610683 edges, 22425 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 2250847 markings, 53844313 edges, 25006 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 2375683 markings, 57143864 edges, 24967 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 2505838 markings, 60412259 edges, 26031 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 2635726 markings, 63707809 edges, 25978 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 2755017 markings, 66970724 edges, 23858 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 2874418 markings, 70259671 edges, 23880 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 2990335 markings, 73510447 edges, 23183 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 3095331 markings, 76752219 edges, 20999 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 3215568 markings, 80015582 edges, 24047 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 3339392 markings, 83218253 edges, 24765 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 3450046 markings, 86430013 edges, 22131 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 3555482 markings, 89666648 edges, 21087 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 3667644 markings, 92874496 edges, 22432 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 3792079 markings, 96091107 edges, 24887 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 3893378 markings, 99276346 edges, 20260 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 4006725 markings, 102493483 edges, 22669 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 4115605 markings, 105706139 edges, 21776 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 4225501 markings, 108898158 edges, 21979 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 4347832 markings, 112153081 edges, 24466 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 4475445 markings, 115347589 edges, 25523 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 4594686 markings, 118612919 edges, 23848 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 4709025 markings, 121774585 edges, 22868 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 4824645 markings, 124965712 edges, 23124 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 4954881 markings, 128171975 edges, 26047 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 5080044 markings, 131355469 edges, 25033 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 5189273 markings, 134521668 edges, 21846 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 5296462 markings, 137655845 edges, 21438 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 5400110 markings, 140795485 edges, 20730 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 5527417 markings, 144018932 edges, 25461 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 5637565 markings, 147135177 edges, 22030 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 5742762 markings, 150282796 edges, 21039 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 5860637 markings, 153396698 edges, 23575 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 5982581 markings, 156557091 edges, 24389 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 6102312 markings, 159685738 edges, 23946 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 6210710 markings, 162823297 edges, 21680 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 6320674 markings, 165963275 edges, 21993 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 6426954 markings, 169125967 edges, 21256 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 6537035 markings, 172272598 edges, 22016 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 6649217 markings, 175416197 edges, 22436 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 6763879 markings, 178543953 edges, 22932 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 6881463 markings, 181645464 edges, 23517 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 6993315 markings, 184718825 edges, 22370 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 7109375 markings, 187814321 edges, 23212 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 7235673 markings, 190929209 edges, 25260 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 7360662 markings, 194111216 edges, 24998 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 7499012 markings, 197460920 edges, 27670 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 7612990 markings, 200567820 edges, 22796 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 7752800 markings, 203648710 edges, 27962 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 7879923 markings, 206750808 edges, 25425 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 7995143 markings, 209837886 edges, 23044 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 8113043 markings, 212959401 edges, 23580 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 8226818 markings, 216011158 edges, 22755 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 8342250 markings, 219064410 edges, 23086 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 8456948 markings, 222120990 edges, 22940 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 8566851 markings, 225147509 edges, 21981 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 8681105 markings, 228204575 edges, 22851 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 8808102 markings, 231265245 edges, 25399 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 8915737 markings, 234263478 edges, 21527 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 9032227 markings, 237306821 edges, 23298 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 9159481 markings, 240360063 edges, 25451 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 9278612 markings, 243509162 edges, 23826 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 9411103 markings, 246739399 edges, 26498 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 9534545 markings, 249802378 edges, 24688 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 9642086 markings, 252814953 edges, 21508 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 9759795 markings, 255934335 edges, 23542 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 9875187 markings, 258971031 edges, 23078 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 9993417 markings, 262017441 edges, 23646 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 10113130 markings, 265216449 edges, 23943 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 10239006 markings, 268318165 edges, 25175 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 10352868 markings, 271315288 edges, 22772 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 10476867 markings, 274411771 edges, 24800 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 10586132 markings, 277419556 edges, 21853 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 10701000 markings, 280415524 edges, 22974 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 10828760 markings, 283503264 edges, 25552 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 10940914 markings, 286439543 edges, 22431 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 11051318 markings, 289592169 edges, 22081 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 11178891 markings, 292652394 edges, 25515 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 11297527 markings, 295681139 edges, 23727 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 11416213 markings, 298623289 edges, 23737 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 11527366 markings, 301525623 edges, 22231 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 11636877 markings, 304446051 edges, 21902 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 11749946 markings, 307413130 edges, 22614 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 11863534 markings, 310446110 edges, 22718 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 11983254 markings, 313556433 edges, 23944 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 12095749 markings, 316579337 edges, 22499 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 12210045 markings, 319470740 edges, 22859 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 12317178 markings, 322377318 edges, 21427 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 12443853 markings, 325364026 edges, 25335 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 12591813 markings, 328855920 edges, 29592 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 12707956 markings, 331928009 edges, 23229 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 12824017 markings, 334824385 edges, 23212 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 12944646 markings, 337724445 edges, 24126 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 13065804 markings, 340658525 edges, 24232 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 13194008 markings, 343687836 edges, 25641 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 13304628 markings, 346668268 edges, 22124 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 13424959 markings, 349611353 edges, 24066 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 13539490 markings, 352531587 edges, 22906 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 13659515 markings, 355462913 edges, 24005 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 13777656 markings, 358438712 edges, 23628 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 13901568 markings, 361802643 edges, 24782 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 14009119 markings, 364891540 edges, 21510 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 14122297 markings, 367807994 edges, 22636 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 14240521 markings, 370810254 edges, 23645 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 14362215 markings, 373697309 edges, 24339 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 14487323 markings, 376527604 edges, 25022 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 14601846 markings, 379498880 edges, 22905 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 14727798 markings, 382441558 edges, 25190 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 14843205 markings, 385435613 edges, 23081 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 14955921 markings, 388373472 edges, 22543 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 15074284 markings, 391320175 edges, 23673 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 15189573 markings, 394226672 edges, 23058 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 15313256 markings, 397184780 edges, 24737 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 15429742 markings, 400060322 edges, 23297 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 15545009 markings, 403021823 edges, 23053 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 15660408 markings, 405967746 edges, 23080 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 15778747 markings, 408826668 edges, 23668 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 15892519 markings, 411680727 edges, 22754 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 16013844 markings, 414640182 edges, 24265 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 16129413 markings, 417560032 edges, 23114 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 16248207 markings, 420468712 edges, 23759 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 16366426 markings, 423439832 edges, 23644 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 16482199 markings, 426425954 edges, 23155 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 16601059 markings, 429360758 edges, 23772 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 16724305 markings, 432263081 edges, 24649 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 16834726 markings, 435170818 edges, 22084 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 16953399 markings, 438078161 edges, 23735 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 17072922 markings, 440985727 edges, 23905 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 17183232 markings, 443917995 edges, 22062 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 17301840 markings, 446942656 edges, 23722 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 17415104 markings, 449794303 edges, 22653 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 17533054 markings, 452632829 edges, 23590 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 17649964 markings, 455476192 edges, 23382 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 17763962 markings, 458364382 edges, 22800 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 17888229 markings, 461285150 edges, 24853 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 18012864 markings, 464251633 edges, 24927 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 18132127 markings, 467313310 edges, 23853 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 18250497 markings, 470282807 edges, 23674 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 18367023 markings, 473161746 edges, 23305 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 18482666 markings, 476034885 edges, 23129 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 18594693 markings, 479026007 edges, 22405 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 18712908 markings, 481877912 edges, 23643 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 18837401 markings, 484709224 edges, 24899 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 18956250 markings, 487524654 edges, 23770 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 19078060 markings, 490544546 edges, 24362 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 19193977 markings, 493456995 edges, 23183 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 19312057 markings, 496503716 edges, 23616 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 19429090 markings, 499325061 edges, 23407 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 19547846 markings, 502128838 edges, 23751 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 19661979 markings, 505002145 edges, 22827 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 19784469 markings, 507969015 edges, 24498 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 19906524 markings, 510917745 edges, 24411 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 20023661 markings, 513897592 edges, 23427 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 20147238 markings, 516847237 edges, 24715 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 20267862 markings, 519746961 edges, 24125 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 20383040 markings, 522768623 edges, 23036 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 20505407 markings, 525702319 edges, 24473 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 20620440 markings, 528615169 edges, 23007 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 20740167 markings, 531479821 edges, 23945 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 20857745 markings, 534425299 edges, 23516 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 20977764 markings, 537320896 edges, 24004 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 21103516 markings, 540217300 edges, 25150 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 21224615 markings, 543129468 edges, 24220 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 21353069 markings, 546008583 edges, 25691 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 21471674 markings, 548912879 edges, 23721 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 21585015 markings, 551884879 edges, 22668 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 21705096 markings, 554831553 edges, 24016 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 21827060 markings, 557813337 edges, 24393 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 21946741 markings, 560701083 edges, 23936 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 22069486 markings, 563617558 edges, 24549 markings/sec, 915 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown unknown yes no unknown yes unknown no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no unknown unknown yes no unknown yes unknown no no unknown
lola: memory consumption: 4965832 KB
lola: time consumption: 2645 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 2 - aborting LoLA
lola:
preliminary result: unknown unknown no unknown unknown yes no unknown yes unknown no no unknown
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown unknown yes no unknown yes unknown no no unknown
lola:
preliminary result: unknown unknown no unknown unknown yes no unknown yes unknown no no unknown
lola: memory consumption: 4966176 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
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427456 kB
MemFree: 11171000 kB
After kill :
MemTotal: 16427456 kB
MemFree: 11170716 kB
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-04a"
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 DLCround-PT-04a, 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 r180-ebro-158987900300468"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-04a.tgz
mv DLCround-PT-04a 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 ;