About the Execution of ITS-LoLa for CircularTrains-PT-768
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.710 | 3600000.00 | 3598993.00 | 12687.80 | F???FF??F?FT??F? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806200100.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is CircularTrains-PT-768, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806200100
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 768K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 591K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CircularTrains-PT-768-CTLFireability-00
FORMULA_NAME CircularTrains-PT-768-CTLFireability-01
FORMULA_NAME CircularTrains-PT-768-CTLFireability-02
FORMULA_NAME CircularTrains-PT-768-CTLFireability-03
FORMULA_NAME CircularTrains-PT-768-CTLFireability-04
FORMULA_NAME CircularTrains-PT-768-CTLFireability-05
FORMULA_NAME CircularTrains-PT-768-CTLFireability-06
FORMULA_NAME CircularTrains-PT-768-CTLFireability-07
FORMULA_NAME CircularTrains-PT-768-CTLFireability-08
FORMULA_NAME CircularTrains-PT-768-CTLFireability-09
FORMULA_NAME CircularTrains-PT-768-CTLFireability-10
FORMULA_NAME CircularTrains-PT-768-CTLFireability-11
FORMULA_NAME CircularTrains-PT-768-CTLFireability-12
FORMULA_NAME CircularTrains-PT-768-CTLFireability-13
FORMULA_NAME CircularTrains-PT-768-CTLFireability-14
FORMULA_NAME CircularTrains-PT-768-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591172303773
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 08:18:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 08:18:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 08:18:27] [INFO ] Load time of PNML (sax parser for PT used): 253 ms
[2020-06-03 08:18:27] [INFO ] Transformed 1536 places.
[2020-06-03 08:18:27] [INFO ] Transformed 768 transitions.
[2020-06-03 08:18:27] [INFO ] Parsed PT model containing 1536 places and 768 transitions in 346 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 53 ms.
Finished random walk after 5335 steps, including 0 resets, run visited all 53 properties in 482 ms. (steps per millisecond=11 )
[2020-06-03 08:18:28] [INFO ] Flatten gal took : 195 ms
[2020-06-03 08:18:28] [INFO ] Flatten gal took : 104 ms
[2020-06-03 08:18:28] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 5 ms.
[2020-06-03 08:18:28] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 20 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ CircularTrains-PT-768 @ 3570 seconds
FORMULA CircularTrains-PT-768-CTLFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-CTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-CTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CircularTrains-PT-768-CTLFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ CircularTrains-PT-768
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Jun 3 08:18:29 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 220
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 3,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 3,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "EX((EX(((1 <= p592) AND (1 <= p877))) AND (AF(((p813 <= 0) OR (p1166 <= 0))) AND (((p774 <= 0) OR (p1009 <= 0)) AND ((p291 <= 0) OR (p754 <= 0))))))",
"processed_size": 151,
"rewrites": 53
},
"net":
{
"conflict_clusters": 768,
"singleton_clusters": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 235
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "EF(AX((((1 <= p40) AND (1 <= p457)) OR ((1 <= p984) AND (1 <= p1408)) OR ((1 <= p639) AND (1 <= p902)))))",
"processed_size": 107,
"rewrites": 52
},
"net":
{
"conflict_clusters": 768,
"singleton_clusters": 0
},
"result":
{
"edges": 179,
"markings": 180,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 253
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 253
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((p1153 <= 0) OR (p1332 <= 0) OR (p779 <= 0) OR (p1194 <= 0))",
"processed_size": 64,
"rewrites": 50
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 278
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "EX(AX(((p262 <= 0) OR (p1128 <= 0))))",
"processed_size": 38,
"rewrites": 52
},
"net":
{
"conflict_clusters": 768,
"singleton_clusters": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 278
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (G (((p507 <= 0) OR (p1103 <= 0))))",
"processed_size": 38,
"rewrites": 51
},
"result":
{
"edges": 49407,
"markings": 49408,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "possible_preservation",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 309
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "AF((AF(((1 <= p333) AND (1 <= p615) AND (1 <= p435) AND (1 <= p1506))) AND ((p683 <= 0) OR (p1087 <= 0) OR ((1 <= p1297) AND (1 <= p1534)))))",
"processed_size": 143,
"rewrites": 52
},
"net":
{
"conflict_clusters": 768,
"singleton_clusters": 0
},
"result":
{
"edges": 148737,
"markings": 49579,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 371
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 371
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p201 <= 0) OR (p1377 <= 0))",
"processed_size": 30,
"rewrites": 50
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 13,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 557
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (((p258 <= 0) OR (p1053 <= 0))))",
"processed_size": 38,
"rewrites": 52
},
"result":
{
"edges": 4,
"markings": 5,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 557
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 557
},
"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 <= p23) AND (1 <= p1443))",
"processed_size": 29,
"rewrites": 50
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1114
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "(((1 <= p1051) AND (1 <= p1449)) OR ((1 <= p956) AND (1 <= p1326) AND (1 <= p542) AND (1 <= p980)))",
"processed_size": 100,
"rewrites": 50
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p424) AND (1 <= p1501) AND (1 <= p582) AND (1 <= p684))))",
"processed_size": 70,
"rewrites": 51
},
"result":
{
"edges": 4,
"markings": 5,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 4
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1114
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1114
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 3,
"adisj": 2,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A (G (((((p413 <= 0) OR (p1512 <= 0)) AND ((p363 <= 0) OR (p1374 <= 0))) OR ((1 <= p894) AND (1 <= p1289)))))",
"processed_size": 112,
"rewrites": 52
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 12,
"problems": 4
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 6815356,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E(G(**)) : A(F(E((** U **)))) : A(F(E((** U **)))) : E(G((A((** U **)) OR **))) : E(X((E(X(**)) AND (A(F(**)) AND (** AND **))))) : (** OR A(G(**))) : (E(G(E(X(**)))) OR (A(G(**)) OR **)) : (** AND (** OR (E(F(**)) AND **))) : (A(G(*)) AND E(F(*))) : A(G((E(G(**)) OR (A(F(**)) OR **)))) : A(F((A(F(**)) AND **))) : E(F(A(X(**)))) : E(F((** AND (E(X(**)) AND (** AND (** AND (** AND (** AND (** AND (** AND (** AND **))))))))))) : (E(F(**)) AND E(F((A(G(**)) AND A(X(**)))))) : (E(X(A(X(**)))) AND (** OR A(F(*)))) : (A((E(F(**)) U **)) OR **)"
},
"net":
{
"arcs": 3072,
"conflict_clusters": 768,
"places": 1536,
"places_significant": 767,
"singleton_clusters": 0,
"transitions": 768
},
"result":
{
"interim_value": "no unknown unknown unknown no no unknown unknown no unknown no yes unknown unknown no unknown ",
"preliminary_value": "no unknown unknown unknown no no unknown unknown no unknown no yes unknown unknown 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: 2304/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 49152
lola: finding significant places
lola: 1536 places, 768 transitions, 767 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: E (G (((p507 <= 0) OR (p1103 <= 0)))) : A (F (E ((((1 <= p117) AND (1 <= p1213)) U (((1 <= p988) AND (1 <= p1254)) OR ((1 <= p676) AND (1 <= p991))))))) : A (F (E ((((1 <= p670) AND (1 <= p1022) AND (1 <= p1221) AND (1 <= p1498)) U (((1 <= p1143) AND (1 <= p1490)) OR ((1 <= p459) AND (1 <= p770))))))) : E (G ((A ((((1 <= p180) AND (1 <= p822)) U ((1 <= p119) AND (1 <= p1401)))) OR ((1 <= p938) AND (1 <= p1361))))) : E (X ((((E (X (((1 <= p592) AND (1 <= p877)))) AND A (F (((p813 <= 0) OR (p1166 <= 0))))) AND ((p774 <= 0) OR (p1009 <= 0))) AND ((p291 <= 0) OR (p754 <= 0))))) : (((p201 <= 0) OR (p1377 <= 0)) OR A (G (((p258 <= 0) OR (p1053 <= 0))))) : ((E (G (E (X (((1 <= p409) AND (1 <= p1190)))))) OR A (G (((1 <= p118) AND (1 <= p926))))) OR ((1 <= p204) AND (1 <= p1274) AND ((p300 <= 0) OR (p1273 <= 0)))) : ((((1 <= p1051) AND (1 <= p1449)) OR ((1 <= p956) AND (1 <= p1326) AND (1 <= p542) AND (1 <= p980))) AND (((1 <= p23) AND (1 <= p1443)) OR (E (F (((1 <= p424) AND (1 <= p1501) AND (1 <= p582) AND (1 <= p684)))) AND ((p102 <= 0) OR (p1288 <= 0) OR ((1 <= p12) AND (1 <= p359)) OR (((p18 <= 0) OR (p43 <= 0)) AND (((1 <= p46) AND (1 <= p446)) OR ((1 <= p648) AND (1 <= p851)))))))) : (NOT(E (F (((((1 <= p413) AND (1 <= p1512)) OR ((1 <= p363) AND (1 <= p1374))) AND ((p894 <= 0) OR (p1289 <= 0)))))) AND NOT(A (G ((((1 <= p338) AND (1 <= p600) AND (1 <= p893) AND (1 <= p1336)) OR ((1 <= p249) AND (1 <= p872)) OR ((1 <= p1091) AND (1 <= p1393))))))) : A (G (((E (G (((1 <= p221) AND (1 <= p1417)))) OR A (F (((1 <= p723) AND (1 <= p1066))))) OR ((1 <= p322) AND (1 <= p719))))) : A (F ((A (F (((1 <= p333) AND (1 <= p615) AND (1 <= p435) AND (1 <= p1506)))) AND ((p683 <= 0) OR (p1087 <= 0) OR ((1 <= p1297) AND (1 <= p1534)))))) : E (F (A (X ((((1 <= p40) AND (1 <= p457)) OR ((1 <= p984) AND (1 <= p1408)) OR ((1 <= p639) AND (1 <= p902))))))) : E (F ((((((((((((1 <= p871) AND (1 <= p1286)) AND E (X (((1 <= p59) AND (1 <= p525))))) AND (1 <= p1297)) AND (1 <= p1534)) AND (1 <= p195)) AND (1 <= p621)) AND (1 <= p330)) AND (1 <= p808)) AND (1 <= p456)) AND (1 <= p1464)))) : (E (F (((1 <= p923) AND (1 <= p1529)))) AND E (F ((A (G (((1 <= p13) AND (1 <= p1234)))) AND A (X (((1 <= p691) AND (1 <= p1014)))))))) : (E (X (A (X (((p262 <= 0) OR (p1128 <= 0)))))) AND (((p1153 <= 0) OR (p1332 <= 0) OR (p779 <= 0) OR (p1194 <= 0)) OR NOT(E (G (((p316 <= 0) OR (p767 <= 0))))))) : (A ((E (F (((1 <= p276) AND (1 <= p1012)))) U ((1 <= p588) AND (1 <= p799)))) OR ((1 <= p1008) AND (1 <= p1309)))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((E (X (((1 <= p592) AND (1 <= p877)))) AND (A (F (((p813 <= 0) OR (p1166 <= 0)))) AND (((p774 <= 0) OR (p1009 <= 0)) AND ((p291 <= 0) OR (p754 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((EX(((1 <= p592) AND (1 <= p877))) AND (AF(((p813 <= 0) OR (p1166 <= 0))) AND (((p774 <= 0) OR (p1009 <= 0)) AND ((p291 <= 0) OR (p754 <= 0))))))
lola: processed formula length: 151
lola: 53 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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (E (X (((1 <= p409) AND (1 <= p1190)))))) OR (A (G (((1 <= p118) AND (1 <= p926)))) OR ((1 <= p204) AND (1 <= p1274) AND ((p300 <= 0) OR (p1273 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p204) AND (1 <= p1274) AND ((p300 <= 0) OR (p1273 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p204) AND (1 <= p1274) AND ((p300 <= 0) OR (p1273 <= 0)))
lola: processed formula length: 65
lola: 50 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 4 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 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p118) AND (1 <= p926))))
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 <= p118) AND (1 <= p926))))
lola: processed formula length: 37
lola: 52 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: ((p118 <= 0) OR (p926 <= 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: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (X (((1 <= p409) AND (1 <= p1190))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(EX(((1 <= p409) AND (1 <= p1190))))
lola: processed formula length: 38
lola: 52 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: 309358 markings, 504140 edges, 61872 markings/sec, 0 secs
lola: 569070 markings, 1021890 edges, 51942 markings/sec, 5 secs
lola: 828122 markings, 1537843 edges, 51810 markings/sec, 10 secs
lola: 1086415 markings, 2052400 edges, 51659 markings/sec, 15 secs
lola: 1333780 markings, 2545545 edges, 49473 markings/sec, 20 secs
lola: 1590520 markings, 3057464 edges, 51348 markings/sec, 25 secs
lola: 1851490 markings, 3577243 edges, 52194 markings/sec, 30 secs
lola: 2114175 markings, 4100541 edges, 52537 markings/sec, 35 secs
lola: 2372609 markings, 4615814 edges, 51687 markings/sec, 40 secs
lola: 2625363 markings, 5119211 edges, 50551 markings/sec, 45 secs
lola: 2884120 markings, 5634782 edges, 51751 markings/sec, 50 secs
lola: 3146608 markings, 6157619 edges, 52498 markings/sec, 55 secs
lola: 3395406 markings, 6653097 edges, 49760 markings/sec, 60 secs
lola: 3646644 markings, 7153832 edges, 50248 markings/sec, 65 secs
lola: 3900170 markings, 7658226 edges, 50705 markings/sec, 70 secs
lola: 4146603 markings, 8149522 edges, 49287 markings/sec, 75 secs
lola: 4394643 markings, 8643276 edges, 49608 markings/sec, 80 secs
lola: 4648839 markings, 9149333 edges, 50839 markings/sec, 85 secs
lola: 4895941 markings, 9641185 edges, 49420 markings/sec, 90 secs
lola: 5139709 markings, 10126690 edges, 48754 markings/sec, 95 secs
lola: 5381003 markings, 10607230 edges, 48259 markings/sec, 100 secs
lola: 5633128 markings, 11109040 edges, 50425 markings/sec, 105 secs
lola: 5884111 markings, 11608561 edges, 50197 markings/sec, 110 secs
lola: 6138213 markings, 12114054 edges, 50820 markings/sec, 115 secs
lola: 6388145 markings, 12611344 edges, 49986 markings/sec, 120 secs
lola: 6625563 markings, 13083334 edges, 47484 markings/sec, 125 secs
lola: 6868938 markings, 13567446 edges, 48675 markings/sec, 130 secs
lola: 7109977 markings, 14046468 edges, 48208 markings/sec, 135 secs
lola: 7348379 markings, 14520336 edges, 47680 markings/sec, 140 secs
lola: 7594508 markings, 15008995 edges, 49226 markings/sec, 145 secs
lola: 7831138 markings, 15478676 edges, 47326 markings/sec, 150 secs
lola: 8059876 markings, 15932125 edges, 45748 markings/sec, 155 secs
lola: 8288191 markings, 16383750 edges, 45663 markings/sec, 160 secs
lola: 8535779 markings, 16872358 edges, 49518 markings/sec, 165 secs
lola: 8766184 markings, 17372808 edges, 46081 markings/sec, 170 secs
lola: 8958769 markings, 17852544 edges, 38517 markings/sec, 175 secs
lola: 9149192 markings, 18327603 edges, 38085 markings/sec, 180 secs
lola: 9353899 markings, 18837483 edges, 40941 markings/sec, 185 secs
lola: 9542631 markings, 19308213 edges, 37746 markings/sec, 190 secs
lola: 9745918 markings, 19814780 edges, 40657 markings/sec, 195 secs
lola: 9937625 markings, 20293014 edges, 38341 markings/sec, 200 secs
lola: 10127633 markings, 20766116 edges, 38002 markings/sec, 205 secs
lola: 10334488 markings, 21281733 edges, 41371 markings/sec, 210 secs
lola: 10537175 markings, 21786901 edges, 40537 markings/sec, 215 secs
lola: 10733419 markings, 22276808 edges, 39249 markings/sec, 220 secs
lola: 10928654 markings, 22763225 edges, 39047 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no 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 no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 45528 KB
lola: time consumption: 278 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 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X ((((1 <= p40) AND (1 <= p457)) OR ((1 <= p984) AND (1 <= p1408)) OR ((1 <= p639) AND (1 <= p902)))))))
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 <= p40) AND (1 <= p457)) OR ((1 <= p984) AND (1 <= p1408)) OR ((1 <= p639) AND (1 <= p902)))))
lola: processed formula length: 107
lola: 52 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 180 markings, 179 edges
lola: ========================================
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p871) AND (1 <= p1286)) AND (E (X (((1 <= p59) AND (1 <= p525)))) AND ((1 <= p1297) AND ((1 <= p1534) AND ((1 <= p195) AND ((1 <= p621) AND ((1 <= p330) AND ((1 <= p808) AND ((1 <= p456) AND (1 <= p1464))))))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((((1 <= p871) AND (1 <= p1286)) AND (EX(((1 <= p59) AND (1 <= p525))) AND ((1 <= p1297) AND ((1 <= p1534) AND ((1 <= p195) AND ((1 <= p621) AND ((1 <= p330) AND ((1 <= p808) AND ((1 <= p456) AND (1 <= p1464)))))))))))
lola: processed formula length: 220
lola: 52 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: 359877 markings, 528107 edges, 71975 markings/sec, 0 secs
lola: 679475 markings, 1045303 edges, 63920 markings/sec, 5 secs
lola: 987481 markings, 1558608 edges, 61601 markings/sec, 10 secs
lola: 1278245 markings, 2047976 edges, 58153 markings/sec, 15 secs
lola: 1574904 markings, 2551020 edges, 59332 markings/sec, 20 secs
lola: 1868108 markings, 3047458 edges, 58641 markings/sec, 25 secs
lola: 2162823 markings, 3540404 edges, 58943 markings/sec, 30 secs
lola: 2448866 markings, 4032123 edges, 57209 markings/sec, 35 secs
lola: 2741662 markings, 4519834 edges, 58559 markings/sec, 40 secs
lola: 3022538 markings, 5008129 edges, 56175 markings/sec, 45 secs
lola: 3306961 markings, 5493732 edges, 56885 markings/sec, 50 secs
lola: 3589695 markings, 5976635 edges, 56547 markings/sec, 55 secs
lola: 3871641 markings, 6457735 edges, 56389 markings/sec, 60 secs
lola: 4150804 markings, 6937701 edges, 55833 markings/sec, 65 secs
lola: 4421503 markings, 7417079 edges, 54140 markings/sec, 70 secs
lola: 4695145 markings, 7895583 edges, 54728 markings/sec, 75 secs
lola: 4970836 markings, 8371996 edges, 55138 markings/sec, 80 secs
lola: 5242509 markings, 8847137 edges, 54335 markings/sec, 85 secs
lola: 5512624 markings, 9322438 edges, 54023 markings/sec, 90 secs
lola: 5781403 markings, 9796670 edges, 53756 markings/sec, 95 secs
lola: 6049243 markings, 10264592 edges, 53568 markings/sec, 100 secs
lola: 6318797 markings, 10735348 edges, 53911 markings/sec, 105 secs
lola: 6587501 markings, 11205600 edges, 53741 markings/sec, 110 secs
lola: 6855394 markings, 11671881 edges, 53579 markings/sec, 115 secs
lola: 7117660 markings, 12138877 edges, 52453 markings/sec, 120 secs
lola: 7384079 markings, 12605245 edges, 53284 markings/sec, 125 secs
lola: 7647614 markings, 13069250 edges, 52707 markings/sec, 130 secs
lola: 7911563 markings, 13535065 edges, 52790 markings/sec, 135 secs
lola: 8173630 markings, 13996648 edges, 52413 markings/sec, 140 secs
lola: 8431309 markings, 14459049 edges, 51536 markings/sec, 145 secs
lola: 8674020 markings, 14884471 edges, 48542 markings/sec, 150 secs
lola: 8922294 markings, 15323789 edges, 49655 markings/sec, 155 secs
lola: 9159090 markings, 15744824 edges, 47359 markings/sec, 160 secs
lola: 9417767 markings, 16208671 edges, 51735 markings/sec, 165 secs
lola: 9654090 markings, 16628360 edges, 47265 markings/sec, 170 secs
lola: 9911979 markings, 17085422 edges, 51578 markings/sec, 175 secs
lola: 10165076 markings, 17543945 edges, 50619 markings/sec, 180 secs
lola: 10425193 markings, 18001934 edges, 52023 markings/sec, 185 secs
lola: 10676422 markings, 18460964 edges, 50246 markings/sec, 190 secs
lola: 10933611 markings, 18919724 edges, 51438 markings/sec, 195 secs
lola: 11191328 markings, 19375634 edges, 51543 markings/sec, 200 secs
lola: 11450146 markings, 19831742 edges, 51764 markings/sec, 205 secs
lola: 11710357 markings, 20286675 edges, 52042 markings/sec, 210 secs
lola: 11970484 markings, 20741219 edges, 52025 markings/sec, 215 secs
lola: 12227533 markings, 21196123 edges, 51410 markings/sec, 220 secs
lola: 12482019 markings, 21650480 edges, 50897 markings/sec, 225 secs
lola: 12734015 markings, 22101451 edges, 50399 markings/sec, 230 secs
lola: 12987476 markings, 22554579 edges, 50692 markings/sec, 235 secs
lola: 13239493 markings, 23007717 edges, 50403 markings/sec, 240 secs
lola: 13488686 markings, 23455183 edges, 49839 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 2768464 KB
lola: time consumption: 532 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 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p923) AND (1 <= p1529)))) AND E (F ((A (G (((1 <= p13) AND (1 <= p1234)))) AND A (X (((1 <= p691) AND (1 <= p1014))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p923) AND (1 <= p1529))))
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 <= p923) AND (1 <= p1529))))
lola: processed formula length: 38
lola: 51 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: formula 0: ((1 <= p923) AND (1 <= p1529))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G (((1 <= p13) AND (1 <= p1234)))) AND A (X (((1 <= p691) AND (1 <= p1014)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG(((1 <= p13) AND (1 <= p1234))) AND AX(((1 <= p691) AND (1 <= p1014)))))
lola: processed formula length: 78
lola: 53 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 240669 markings, 582834 edges, 48134 markings/sec, 0 secs
lola: 459101 markings, 1148263 edges, 43686 markings/sec, 5 secs
lola: 672335 markings, 1707133 edges, 42647 markings/sec, 10 secs
lola: 881133 markings, 2261009 edges, 41760 markings/sec, 15 secs
lola: 1086284 markings, 2810497 edges, 41030 markings/sec, 20 secs
lola: 1289018 markings, 3357214 edges, 40547 markings/sec, 25 secs
lola: 1490510 markings, 3902557 edges, 40298 markings/sec, 30 secs
lola: 1691846 markings, 4444836 edges, 40267 markings/sec, 35 secs
lola: 1892293 markings, 4982979 edges, 40089 markings/sec, 40 secs
lola: 2094957 markings, 5520284 edges, 40533 markings/sec, 45 secs
lola: 2291443 markings, 6054188 edges, 39297 markings/sec, 50 secs
lola: 2487451 markings, 6586745 edges, 39202 markings/sec, 55 secs
lola: 2685143 markings, 7114230 edges, 39538 markings/sec, 60 secs
lola: 2880270 markings, 7645678 edges, 39025 markings/sec, 65 secs
lola: 3073151 markings, 8170979 edges, 38576 markings/sec, 70 secs
lola: 3267970 markings, 8699680 edges, 38964 markings/sec, 75 secs
lola: 3462838 markings, 9225319 edges, 38974 markings/sec, 80 secs
lola: 3654963 markings, 9749737 edges, 38425 markings/sec, 85 secs
lola: 3848736 markings, 10273107 edges, 38755 markings/sec, 90 secs
lola: 4040964 markings, 10794658 edges, 38446 markings/sec, 95 secs
lola: 4230798 markings, 11315290 edges, 37967 markings/sec, 100 secs
lola: 4418097 markings, 11835295 edges, 37460 markings/sec, 105 secs
lola: 4608365 markings, 12353375 edges, 38054 markings/sec, 110 secs
lola: 4796133 markings, 12872882 edges, 37554 markings/sec, 115 secs
lola: 4985883 markings, 13392049 edges, 37950 markings/sec, 120 secs
lola: 5173666 markings, 13907996 edges, 37557 markings/sec, 125 secs
lola: 5362001 markings, 14425047 edges, 37667 markings/sec, 130 secs
lola: 5548220 markings, 14941764 edges, 37244 markings/sec, 135 secs
lola: 5733033 markings, 15455303 edges, 36963 markings/sec, 140 secs
lola: 5921224 markings, 15969716 edges, 37638 markings/sec, 145 secs
lola: 6109003 markings, 16482727 edges, 37556 markings/sec, 150 secs
lola: 6294596 markings, 16995621 edges, 37119 markings/sec, 155 secs
lola: 6481423 markings, 17507421 edges, 37365 markings/sec, 160 secs
lola: 6666186 markings, 18018508 edges, 36953 markings/sec, 165 secs
lola: 6851942 markings, 18526712 edges, 37151 markings/sec, 170 secs
lola: 7033861 markings, 19034903 edges, 36384 markings/sec, 175 secs
lola: 7218479 markings, 19544337 edges, 36924 markings/sec, 180 secs
lola: 7403655 markings, 20051626 edges, 37035 markings/sec, 185 secs
lola: 7586026 markings, 20561105 edges, 36474 markings/sec, 190 secs
lola: 7770447 markings, 21068208 edges, 36884 markings/sec, 195 secs
lola: 7954530 markings, 21575053 edges, 36817 markings/sec, 200 secs
lola: 8136690 markings, 22078881 edges, 36432 markings/sec, 205 secs
lola: 8316241 markings, 22581898 edges, 35910 markings/sec, 210 secs
lola: 8499208 markings, 23086341 edges, 36593 markings/sec, 215 secs
lola: 8680100 markings, 23587150 edges, 36178 markings/sec, 220 secs
lola: 8862058 markings, 24092057 edges, 36392 markings/sec, 225 secs
lola: 9045894 markings, 24599203 edges, 36767 markings/sec, 230 secs
lola: 9227546 markings, 25106407 edges, 36330 markings/sec, 235 secs
lola: 9408046 markings, 25612566 edges, 36100 markings/sec, 240 secs
lola: 9589254 markings, 26114721 edges, 36242 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 1980652 KB
lola: time consumption: 785 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 no unknown unknown unknown unknown unknown unknown yes unknown unknown unknown unknown
lola: memory consumption: 1980652 KB
lola: time consumption: 785 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (X (((p262 <= 0) OR (p1128 <= 0)))))) AND (((p1153 <= 0) OR (p1332 <= 0) OR (p779 <= 0) OR (p1194 <= 0)) OR A (F (((1 <= p316) AND (1 <= p767))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p1153 <= 0) OR (p1332 <= 0) OR (p779 <= 0) OR (p1194 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p1153 <= 0) OR (p1332 <= 0) OR (p779 <= 0) OR (p1194 <= 0))
lola: processed formula length: 64
lola: 50 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 4 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (X (((p262 <= 0) OR (p1128 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AX(((p262 <= 0) OR (p1128 <= 0))))
lola: processed formula length: 38
lola: 52 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p507 <= 0) OR (p1103 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((p507 <= 0) OR (p1103 <= 0))))
lola: processed formula length: 38
lola: 51 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p507) AND (1 <= p1103))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 49408 markings, 49407 edges
lola: ========================================
lola: subprocess 7 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E ((((1 <= p117) AND (1 <= p1213)) U (((1 <= p988) AND (1 <= p1254)) OR ((1 <= p676) AND (1 <= p991)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(E(((1 <= p117) AND (1 <= p1213)) U (((1 <= p988) AND (1 <= p1254)) OR ((1 <= p676) AND (1 <= p991)))))
lola: processed formula length: 106
lola: 52 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 257113 markings, 598306 edges, 51423 markings/sec, 0 secs
lola: 476028 markings, 1149782 edges, 43783 markings/sec, 5 secs
lola: 703309 markings, 1736056 edges, 45456 markings/sec, 10 secs
lola: 936255 markings, 2318878 edges, 46589 markings/sec, 15 secs
lola: 1168046 markings, 2900900 edges, 46358 markings/sec, 20 secs
lola: 1394007 markings, 3483120 edges, 45192 markings/sec, 25 secs
lola: 1606005 markings, 4069758 edges, 42400 markings/sec, 30 secs
lola: 1811578 markings, 4642624 edges, 41115 markings/sec, 35 secs
lola: 2019312 markings, 5209479 edges, 41547 markings/sec, 40 secs
lola: 2230170 markings, 5786027 edges, 42172 markings/sec, 45 secs
lola: 2438284 markings, 6355049 edges, 41623 markings/sec, 50 secs
lola: 2646680 markings, 6926630 edges, 41679 markings/sec, 55 secs
lola: 2848166 markings, 7490325 edges, 40297 markings/sec, 60 secs
lola: 3049735 markings, 8049995 edges, 40314 markings/sec, 65 secs
lola: 3250899 markings, 8600623 edges, 40233 markings/sec, 70 secs
lola: 3455549 markings, 9161002 edges, 40930 markings/sec, 75 secs
lola: 3664259 markings, 9732264 edges, 41742 markings/sec, 80 secs
lola: 3876693 markings, 10320968 edges, 42487 markings/sec, 85 secs
lola: 4082447 markings, 10895942 edges, 41151 markings/sec, 90 secs
lola: 4289567 markings, 11463705 edges, 41424 markings/sec, 95 secs
lola: 4499632 markings, 12040567 edges, 42013 markings/sec, 100 secs
lola: 4706681 markings, 12610084 edges, 41410 markings/sec, 105 secs
lola: 4918994 markings, 13185406 edges, 42463 markings/sec, 110 secs
lola: 5116265 markings, 13732228 edges, 39454 markings/sec, 115 secs
lola: 5314724 markings, 14283166 edges, 39692 markings/sec, 120 secs
lola: 5515687 markings, 14833523 edges, 40193 markings/sec, 125 secs
lola: 5718027 markings, 15389809 edges, 40468 markings/sec, 130 secs
lola: 5921241 markings, 15964848 edges, 40643 markings/sec, 135 secs
lola: 6111472 markings, 16533666 edges, 38046 markings/sec, 140 secs
lola: 6300236 markings, 17097839 edges, 37753 markings/sec, 145 secs
lola: 6489544 markings, 17663324 edges, 37862 markings/sec, 150 secs
lola: 6678184 markings, 18225611 edges, 37728 markings/sec, 155 secs
lola: 6877301 markings, 18814340 edges, 39823 markings/sec, 160 secs
lola: 7068473 markings, 19385851 edges, 38234 markings/sec, 165 secs
lola: 7258646 markings, 19954246 edges, 38035 markings/sec, 170 secs
lola: 7451312 markings, 20529687 edges, 38533 markings/sec, 175 secs
lola: 7643144 markings, 21100937 edges, 38366 markings/sec, 180 secs
lola: 7852636 markings, 21678439 edges, 41898 markings/sec, 185 secs
lola: 8053311 markings, 22242173 edges, 40135 markings/sec, 190 secs
lola: 8256061 markings, 22798673 edges, 40550 markings/sec, 195 secs
lola: 8463512 markings, 23367821 edges, 41490 markings/sec, 200 secs
lola: 8671315 markings, 23935320 edges, 41561 markings/sec, 205 secs
lola: 8877638 markings, 24506195 edges, 41265 markings/sec, 210 secs
lola: 9082114 markings, 25072136 edges, 40895 markings/sec, 215 secs
lola: 9287429 markings, 25630278 edges, 41063 markings/sec, 220 secs
lola: 9494665 markings, 26195864 edges, 41447 markings/sec, 225 secs
lola: 9707600 markings, 26771801 edges, 42587 markings/sec, 230 secs
lola: 9912955 markings, 27341501 edges, 41071 markings/sec, 235 secs
lola: 10118896 markings, 27912421 edges, 41188 markings/sec, 240 secs
lola: 10327803 markings, 28484528 edges, 41781 markings/sec, 245 secs
lola: 10533496 markings, 29051383 edges, 41139 markings/sec, 250 secs
lola: 10744660 markings, 29623423 edges, 42233 markings/sec, 255 secs
lola: 10945735 markings, 30187904 edges, 40215 markings/sec, 260 secs
lola: 11150336 markings, 30744806 edges, 40920 markings/sec, 265 secs
lola: 11356414 markings, 31310807 edges, 41216 markings/sec, 270 secs
lola: 11567723 markings, 31883257 edges, 42262 markings/sec, 275 secs
lola: 11768757 markings, 32446406 edges, 40207 markings/sec, 280 secs
lola: 11974193 markings, 33008601 edges, 41087 markings/sec, 285 secs
lola: 12183003 markings, 33582177 edges, 41762 markings/sec, 290 secs
lola: 12388622 markings, 34147097 edges, 41124 markings/sec, 295 secs
lola: 12584631 markings, 34721453 edges, 39202 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown unknown unknown unknown yes unknown unknown no unknown
lola: memory consumption: 1630948 KB
lola: time consumption: 1094 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 8 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A ((((1 <= p180) AND (1 <= p822)) U ((1 <= p119) AND (1 <= p1401)))) OR ((1 <= p938) AND (1 <= p1361)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG((A(((1 <= p180) AND (1 <= p822)) U ((1 <= p119) AND (1 <= p1401))) OR ((1 <= p938) AND (1 <= p1361))))
lola: processed formula length: 105
lola: 52 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 216364 markings, 588751 edges, 43273 markings/sec, 0 secs
lola: 414054 markings, 1186461 edges, 39538 markings/sec, 5 secs
lola: 570999 markings, 1731833 edges, 31389 markings/sec, 10 secs
lola: 742818 markings, 2322655 edges, 34364 markings/sec, 15 secs
lola: 908102 markings, 2896732 edges, 33057 markings/sec, 20 secs
lola: 1075004 markings, 3470794 edges, 33380 markings/sec, 25 secs
lola: 1239446 markings, 4041647 edges, 32888 markings/sec, 30 secs
lola: 1408581 markings, 4623818 edges, 33827 markings/sec, 35 secs
lola: 1578377 markings, 5211032 edges, 33959 markings/sec, 40 secs
lola: 1746982 markings, 5793519 edges, 33721 markings/sec, 45 secs
lola: 1915223 markings, 6372169 edges, 33648 markings/sec, 50 secs
lola: 2079820 markings, 6943286 edges, 32919 markings/sec, 55 secs
lola: 2249604 markings, 7527937 edges, 33957 markings/sec, 60 secs
lola: 2419330 markings, 8111798 edges, 33945 markings/sec, 65 secs
lola: 2588101 markings, 8697503 edges, 33754 markings/sec, 70 secs
lola: 2753973 markings, 9268869 edges, 33174 markings/sec, 75 secs
lola: 2920151 markings, 9840444 edges, 33236 markings/sec, 80 secs
lola: 3088740 markings, 10424872 edges, 33718 markings/sec, 85 secs
lola: 3261194 markings, 11019446 edges, 34491 markings/sec, 90 secs
lola: 3428852 markings, 11596731 edges, 33532 markings/sec, 95 secs
lola: 3594761 markings, 12167598 edges, 33182 markings/sec, 100 secs
lola: 3763403 markings, 12751610 edges, 33728 markings/sec, 105 secs
lola: 3928009 markings, 13319323 edges, 32921 markings/sec, 110 secs
lola: 4093668 markings, 13889952 edges, 33132 markings/sec, 115 secs
lola: 4260246 markings, 14463544 edges, 33316 markings/sec, 120 secs
lola: 4425833 markings, 15033751 edges, 33117 markings/sec, 125 secs
lola: 4591901 markings, 15605602 edges, 33214 markings/sec, 130 secs
lola: 4760561 markings, 16186532 edges, 33732 markings/sec, 135 secs
lola: 4929324 markings, 16767889 edges, 33753 markings/sec, 140 secs
lola: 5096882 markings, 17345133 edges, 33512 markings/sec, 145 secs
lola: 5266606 markings, 17929803 edges, 33945 markings/sec, 150 secs
lola: 5436462 markings, 18515067 edges, 33971 markings/sec, 155 secs
lola: 5606715 markings, 19101603 edges, 34051 markings/sec, 160 secs
lola: 5777732 markings, 19689978 edges, 34203 markings/sec, 165 secs
lola: 5949268 markings, 20278497 edges, 34307 markings/sec, 170 secs
lola: 6116706 markings, 20855383 edges, 33488 markings/sec, 175 secs
lola: 6285066 markings, 21432383 edges, 33672 markings/sec, 180 secs
lola: 6453674 markings, 22013446 edges, 33722 markings/sec, 185 secs
lola: 6621352 markings, 22588462 edges, 33536 markings/sec, 190 secs
lola: 6788245 markings, 23160798 edges, 33379 markings/sec, 195 secs
lola: 6956431 markings, 23737758 edges, 33637 markings/sec, 200 secs
lola: 7121558 markings, 24304240 edges, 33025 markings/sec, 205 secs
lola: 7286586 markings, 24870475 edges, 33006 markings/sec, 210 secs
lola: 7455676 markings, 25448836 edges, 33818 markings/sec, 215 secs
lola: 7624666 markings, 26026759 edges, 33798 markings/sec, 220 secs
lola: 7792622 markings, 26599647 edges, 33591 markings/sec, 225 secs
lola: 7960833 markings, 27171883 edges, 33642 markings/sec, 230 secs
lola: 8129595 markings, 27742914 edges, 33752 markings/sec, 235 secs
lola: 8301739 markings, 28323213 edges, 34429 markings/sec, 240 secs
lola: 8471164 markings, 28911768 edges, 33885 markings/sec, 245 secs
lola: 8645844 markings, 29502739 edges, 34936 markings/sec, 250 secs
lola: 8815406 markings, 30091222 edges, 33912 markings/sec, 255 secs
lola: 8970030 markings, 30673318 edges, 30925 markings/sec, 260 secs
lola: 9116052 markings, 31253068 edges, 29204 markings/sec, 265 secs
lola: 9261954 markings, 31827433 edges, 29180 markings/sec, 270 secs
lola: 9403733 markings, 32390535 edges, 28356 markings/sec, 275 secs
lola: 9547858 markings, 32957665 edges, 28825 markings/sec, 280 secs
lola: 9692281 markings, 33531156 edges, 28885 markings/sec, 285 secs
lola: 9835740 markings, 34095985 edges, 28692 markings/sec, 290 secs
lola: 9979500 markings, 34666550 edges, 28752 markings/sec, 295 secs
lola: 10119799 markings, 35218986 edges, 28060 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown unknown unknown unknown yes unknown unknown no unknown
lola: memory consumption: 1304536 KB
lola: time consumption: 1403 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((E (F (((1 <= p276) AND (1 <= p1012)))) U ((1 <= p588) AND (1 <= p799)))) OR ((1 <= p1008) AND (1 <= p1309)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: (A(EF(((1 <= p276) AND (1 <= p1012))) U ((1 <= p588) AND (1 <= p799))) OR ((1 <= p1008) AND (1 <= p1309)))
lola: processed formula length: 106
lola: 52 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 506634 markings, 537636 edges, 101327 markings/sec, 0 secs
lola: 979279 markings, 1034405 edges, 94529 markings/sec, 5 secs
lola: 1452215 markings, 1529282 edges, 94587 markings/sec, 10 secs
lola: 1890385 markings, 2016277 edges, 87634 markings/sec, 15 secs
lola: 2102822 markings, 2525023 edges, 42487 markings/sec, 20 secs
lola: 2273316 markings, 3035123 edges, 34099 markings/sec, 25 secs
lola: 2441334 markings, 3538451 edges, 33604 markings/sec, 30 secs
lola: 2613029 markings, 4052622 edges, 34339 markings/sec, 35 secs
lola: 2780666 markings, 4554040 edges, 33527 markings/sec, 40 secs
lola: 2946856 markings, 5051964 edges, 33238 markings/sec, 45 secs
lola: 3118191 markings, 5564923 edges, 34267 markings/sec, 50 secs
lola: 3324584 markings, 6067240 edges, 41279 markings/sec, 55 secs
lola: 3491482 markings, 6563868 edges, 33380 markings/sec, 60 secs
lola: 3660327 markings, 7069270 edges, 33769 markings/sec, 65 secs
lola: 3826726 markings, 7567037 edges, 33280 markings/sec, 70 secs
lola: 3992078 markings, 8062409 edges, 33070 markings/sec, 75 secs
lola: 4159110 markings, 8562326 edges, 33406 markings/sec, 80 secs
lola: 4327271 markings, 9065983 edges, 33632 markings/sec, 85 secs
lola: 4496323 markings, 9571835 edges, 33810 markings/sec, 90 secs
lola: 4665802 markings, 10079162 edges, 33896 markings/sec, 95 secs
lola: 4870700 markings, 10576479 edges, 40980 markings/sec, 100 secs
lola: 5043664 markings, 11080094 edges, 34593 markings/sec, 105 secs
lola: 5212154 markings, 11584316 edges, 33698 markings/sec, 110 secs
lola: 5375006 markings, 12082519 edges, 32570 markings/sec, 115 secs
lola: 5544856 markings, 12587271 edges, 33970 markings/sec, 120 secs
lola: 5716911 markings, 13077266 edges, 34411 markings/sec, 125 secs
lola: 5888764 markings, 13571631 edges, 34371 markings/sec, 130 secs
lola: 6049675 markings, 14050704 edges, 32182 markings/sec, 135 secs
lola: 6209463 markings, 14536141 edges, 31958 markings/sec, 140 secs
lola: 6374904 markings, 15031193 edges, 33088 markings/sec, 145 secs
lola: 6538289 markings, 15520110 edges, 32677 markings/sec, 150 secs
lola: 6695872 markings, 16002998 edges, 31517 markings/sec, 155 secs
lola: 6862738 markings, 16502266 edges, 33373 markings/sec, 160 secs
lola: 7029842 markings, 16993435 edges, 33421 markings/sec, 165 secs
lola: 7193119 markings, 17457075 edges, 32655 markings/sec, 170 secs
lola: 7368032 markings, 17959706 edges, 34983 markings/sec, 175 secs
lola: 7537536 markings, 18454022 edges, 33901 markings/sec, 180 secs
lola: 7704982 markings, 18947267 edges, 33489 markings/sec, 185 secs
lola: 7866993 markings, 19431801 edges, 32402 markings/sec, 190 secs
lola: 8051061 markings, 19927830 edges, 36814 markings/sec, 195 secs
lola: 8212285 markings, 20396286 edges, 32245 markings/sec, 200 secs
lola: 8376055 markings, 20886227 edges, 32754 markings/sec, 205 secs
lola: 8542953 markings, 21385652 edges, 33380 markings/sec, 210 secs
lola: 8710418 markings, 21886715 edges, 33493 markings/sec, 215 secs
lola: 8886609 markings, 22382772 edges, 35238 markings/sec, 220 secs
lola: 9040612 markings, 22848957 edges, 30801 markings/sec, 225 secs
lola: 9199912 markings, 23325399 edges, 31860 markings/sec, 230 secs
lola: 9366982 markings, 23810018 edges, 33414 markings/sec, 235 secs
lola: 9537074 markings, 24280332 edges, 34018 markings/sec, 240 secs
lola: 9699887 markings, 24747424 edges, 32563 markings/sec, 245 secs
lola: 9874737 markings, 25228950 edges, 34970 markings/sec, 250 secs
lola: 10033772 markings, 25701528 edges, 31807 markings/sec, 255 secs
lola: 10190900 markings, 26171525 edges, 31426 markings/sec, 260 secs
lola: 10356695 markings, 26652096 edges, 33159 markings/sec, 265 secs
lola: 10516432 markings, 27129891 edges, 31947 markings/sec, 270 secs
lola: 10658662 markings, 27563189 edges, 28446 markings/sec, 275 secs
lola: 10818949 markings, 28046638 edges, 32057 markings/sec, 280 secs
lola: 10976909 markings, 28500128 edges, 31592 markings/sec, 285 secs
lola: 11136539 markings, 28984360 edges, 31926 markings/sec, 290 secs
lola: 11300293 markings, 29460076 edges, 32751 markings/sec, 295 secs
lola: 11458558 markings, 29933318 edges, 31653 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown unknown unknown unknown yes unknown unknown no unknown
lola: memory consumption: 1528296 KB
lola: time consumption: 1712 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 309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (F (((1 <= p333) AND (1 <= p615) AND (1 <= p435) AND (1 <= p1506)))) AND ((p683 <= 0) OR (p1087 <= 0) OR ((1 <= p1297) AND (1 <= p1534))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((AF(((1 <= p333) AND (1 <= p615) AND (1 <= p435) AND (1 <= p1506))) AND ((p683 <= 0) OR (p1087 <= 0) OR ((1 <= p1297) AND (1 <= p1534)))))
lola: processed formula length: 143
lola: 52 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 49579 markings, 148737 edges
lola: ========================================
lola: subprocess 11 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E ((((1 <= p670) AND (1 <= p1022) AND (1 <= p1221) AND (1 <= p1498)) U (((1 <= p1143) AND (1 <= p1490)) OR ((1 <= p459) AND (1 <= p770)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(E(((1 <= p670) AND (1 <= p1022) AND (1 <= p1221) AND (1 <= p1498)) U (((1 <= p1143) AND (1 <= p1490)) OR ((1 <= p459) AND (1 <= p770)))))
lola: processed formula length: 141
lola: 52 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 249635 markings, 617141 edges, 49927 markings/sec, 0 secs
lola: 463523 markings, 1244129 edges, 42778 markings/sec, 5 secs
lola: 672592 markings, 1863324 edges, 41814 markings/sec, 10 secs
lola: 880304 markings, 2478432 edges, 41542 markings/sec, 15 secs
lola: 1087111 markings, 3090971 edges, 41361 markings/sec, 20 secs
lola: 1292180 markings, 3697702 edges, 41014 markings/sec, 25 secs
lola: 1497226 markings, 4302420 edges, 41009 markings/sec, 30 secs
lola: 1701430 markings, 4907163 edges, 40841 markings/sec, 35 secs
lola: 1907877 markings, 5516015 edges, 41289 markings/sec, 40 secs
lola: 2109956 markings, 6113587 edges, 40416 markings/sec, 45 secs
lola: 2300243 markings, 6675276 edges, 38057 markings/sec, 50 secs
lola: 2497032 markings, 7255642 edges, 39358 markings/sec, 55 secs
lola: 2703015 markings, 7863363 edges, 41197 markings/sec, 60 secs
lola: 2908422 markings, 8467750 edges, 41081 markings/sec, 65 secs
lola: 3115623 markings, 9077816 edges, 41440 markings/sec, 70 secs
lola: 3319507 markings, 9677585 edges, 40777 markings/sec, 75 secs
lola: 3525909 markings, 10283245 edges, 41280 markings/sec, 80 secs
lola: 3731470 markings, 10883945 edges, 41112 markings/sec, 85 secs
lola: 3940595 markings, 11489105 edges, 41825 markings/sec, 90 secs
lola: 4151039 markings, 12106556 edges, 42089 markings/sec, 95 secs
lola: 4354429 markings, 12722373 edges, 40678 markings/sec, 100 secs
lola: 4540551 markings, 13335292 edges, 37224 markings/sec, 105 secs
lola: 4725505 markings, 13944321 edges, 36991 markings/sec, 110 secs
lola: 4908988 markings, 14548485 edges, 36697 markings/sec, 115 secs
lola: 5092375 markings, 15152257 edges, 36677 markings/sec, 120 secs
lola: 5276021 markings, 15756363 edges, 36729 markings/sec, 125 secs
lola: 5458983 markings, 16356846 edges, 36592 markings/sec, 130 secs
lola: 5643125 markings, 16963188 edges, 36828 markings/sec, 135 secs
lola: 5826022 markings, 17563183 edges, 36579 markings/sec, 140 secs
lola: 6010241 markings, 18169284 edges, 36844 markings/sec, 145 secs
lola: 6191831 markings, 18765388 edges, 36318 markings/sec, 150 secs
lola: 6375117 markings, 19366917 edges, 36657 markings/sec, 155 secs
lola: 6558649 markings, 19967546 edges, 36706 markings/sec, 160 secs
lola: 6742811 markings, 20572146 edges, 36832 markings/sec, 165 secs
lola: 6926087 markings, 21172314 edges, 36655 markings/sec, 170 secs
lola: 7108917 markings, 21769892 edges, 36566 markings/sec, 175 secs
lola: 7292511 markings, 22369218 edges, 36719 markings/sec, 180 secs
lola: 7475382 markings, 22963540 edges, 36574 markings/sec, 185 secs
lola: 7660593 markings, 23563991 edges, 37042 markings/sec, 190 secs
lola: 7857467 markings, 24179248 edges, 39375 markings/sec, 195 secs
lola: 8054881 markings, 24798298 edges, 39483 markings/sec, 200 secs
lola: 8242443 markings, 25415790 edges, 37512 markings/sec, 205 secs
lola: 8428834 markings, 26029064 edges, 37278 markings/sec, 210 secs
lola: 8614902 markings, 26639576 edges, 37214 markings/sec, 215 secs
lola: 8799158 markings, 27246341 edges, 36851 markings/sec, 220 secs
lola: 8983613 markings, 27853546 edges, 36891 markings/sec, 225 secs
lola: 9168830 markings, 28461281 edges, 37043 markings/sec, 230 secs
lola: 9353606 markings, 29069092 edges, 36955 markings/sec, 235 secs
lola: 9537811 markings, 29674035 edges, 36841 markings/sec, 240 secs
lola: 9722191 markings, 30279205 edges, 36876 markings/sec, 245 secs
lola: 9906137 markings, 30882794 edges, 36789 markings/sec, 250 secs
lola: 10077415 markings, 31444557 edges, 34256 markings/sec, 255 secs
lola: 10263743 markings, 32054926 edges, 37266 markings/sec, 260 secs
lola: 10447749 markings, 32657104 edges, 36801 markings/sec, 265 secs
lola: 10632164 markings, 33259148 edges, 36883 markings/sec, 270 secs
lola: 10816515 markings, 33860292 edges, 36870 markings/sec, 275 secs
lola: 11001503 markings, 34460128 edges, 36998 markings/sec, 280 secs
lola: 11188606 markings, 35072151 edges, 37421 markings/sec, 285 secs
lola: 11392320 markings, 35682112 edges, 40743 markings/sec, 290 secs
lola: 11578627 markings, 36289868 edges, 37261 markings/sec, 295 secs
lola: 11763430 markings, 36898067 edges, 36961 markings/sec, 300 secs
lola: 11947836 markings, 37505420 edges, 36881 markings/sec, 305 secs
lola: 12131210 markings, 38109313 edges, 36675 markings/sec, 310 secs
lola: 12313323 markings, 38708443 edges, 36423 markings/sec, 315 secs
lola: 12497394 markings, 39312505 edges, 36814 markings/sec, 320 secs
lola: 12678934 markings, 39910192 edges, 36308 markings/sec, 325 secs
lola: 12862376 markings, 40512050 edges, 36688 markings/sec, 330 secs
lola: 13042946 markings, 41104471 edges, 36114 markings/sec, 335 secs
lola: 13226665 markings, 41707501 edges, 36744 markings/sec, 340 secs
lola: 13408871 markings, 42305550 edges, 36441 markings/sec, 345 secs
lola: 13592254 markings, 42907504 edges, 36677 markings/sec, 350 secs
lola: 13776318 markings, 43510176 edges, 36813 markings/sec, 355 secs
lola: 13958881 markings, 44106688 edges, 36513 markings/sec, 360 secs
lola: 14141596 markings, 44704222 edges, 36543 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown unknown unknown no yes unknown unknown no unknown
lola: memory consumption: 1803844 KB
lola: time consumption: 2085 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 12 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (G (((1 <= p221) AND (1 <= p1417)))) OR (A (F (((1 <= p723) AND (1 <= p1066)))) OR ((1 <= p322) AND (1 <= p719))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((EG(((1 <= p221) AND (1 <= p1417))) OR (AF(((1 <= p723) AND (1 <= p1066))) OR ((1 <= p322) AND (1 <= p719)))))
lola: processed formula length: 113
lola: 53 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 317408 markings, 560338 edges, 63482 markings/sec, 0 secs
lola: 599521 markings, 1120365 edges, 56423 markings/sec, 5 secs
lola: 876464 markings, 1669416 edges, 55389 markings/sec, 10 secs
lola: 1149302 markings, 2208579 edges, 54568 markings/sec, 15 secs
lola: 1402161 markings, 2763453 edges, 50572 markings/sec, 20 secs
lola: 1624524 markings, 3316382 edges, 44473 markings/sec, 25 secs
lola: 1845395 markings, 3864927 edges, 44174 markings/sec, 30 secs
lola: 2060950 markings, 4399921 edges, 43111 markings/sec, 35 secs
lola: 2273635 markings, 4926670 edges, 42537 markings/sec, 40 secs
lola: 2497178 markings, 5467673 edges, 44709 markings/sec, 45 secs
lola: 2718448 markings, 6018063 edges, 44254 markings/sec, 50 secs
lola: 2936287 markings, 6559282 edges, 43568 markings/sec, 55 secs
lola: 3148884 markings, 7087024 edges, 42519 markings/sec, 60 secs
lola: 3358055 markings, 7605536 edges, 41834 markings/sec, 65 secs
lola: 3579933 markings, 8148554 edges, 44376 markings/sec, 70 secs
lola: 3801751 markings, 8693329 edges, 44364 markings/sec, 75 secs
lola: 4018701 markings, 9232557 edges, 43390 markings/sec, 80 secs
lola: 4227594 markings, 9751100 edges, 41779 markings/sec, 85 secs
lola: 4439358 markings, 10276374 edges, 42353 markings/sec, 90 secs
lola: 4649666 markings, 10795906 edges, 42062 markings/sec, 95 secs
lola: 4873912 markings, 11341237 edges, 44849 markings/sec, 100 secs
lola: 5088963 markings, 11875432 edges, 43010 markings/sec, 105 secs
lola: 5297805 markings, 12394255 edges, 41768 markings/sec, 110 secs
lola: 5507468 markings, 12914185 edges, 41933 markings/sec, 115 secs
lola: 5717593 markings, 13433920 edges, 42025 markings/sec, 120 secs
lola: 5930950 markings, 13951400 edges, 42671 markings/sec, 125 secs
lola: 6151085 markings, 14498579 edges, 44027 markings/sec, 130 secs
lola: 6366358 markings, 15033204 edges, 43055 markings/sec, 135 secs
lola: 6579558 markings, 15562194 edges, 42640 markings/sec, 140 secs
lola: 6791580 markings, 16086487 edges, 42404 markings/sec, 145 secs
lola: 7016514 markings, 16633086 edges, 44987 markings/sec, 150 secs
lola: 7237089 markings, 17181111 edges, 44115 markings/sec, 155 secs
lola: 7451590 markings, 17713880 edges, 42900 markings/sec, 160 secs
lola: 7666423 markings, 18246702 edges, 42967 markings/sec, 165 secs
lola: 7879821 markings, 18774187 edges, 42680 markings/sec, 170 secs
lola: 8109803 markings, 19333338 edges, 45996 markings/sec, 175 secs
lola: 8333928 markings, 19890243 edges, 44825 markings/sec, 180 secs
lola: 8552738 markings, 20433546 edges, 43762 markings/sec, 185 secs
lola: 8764905 markings, 20959556 edges, 42433 markings/sec, 190 secs
lola: 8990760 markings, 21513022 edges, 45171 markings/sec, 195 secs
lola: 9206885 markings, 22044065 edges, 43225 markings/sec, 200 secs
lola: 9418100 markings, 22568719 edges, 42243 markings/sec, 205 secs
lola: 9618521 markings, 23066083 edges, 40084 markings/sec, 210 secs
lola: 9821219 markings, 23568192 edges, 40540 markings/sec, 215 secs
lola: 10036539 markings, 24089380 edges, 43064 markings/sec, 220 secs
lola: 10248430 markings, 24616239 edges, 42378 markings/sec, 225 secs
lola: 10459642 markings, 25140698 edges, 42242 markings/sec, 230 secs
lola: 10665292 markings, 25651045 edges, 41130 markings/sec, 235 secs
lola: 10871841 markings, 26162389 edges, 41310 markings/sec, 240 secs
lola: 11091834 markings, 26696204 edges, 43999 markings/sec, 245 secs
lola: 11308354 markings, 27234161 edges, 43304 markings/sec, 250 secs
lola: 11519498 markings, 27758424 edges, 42229 markings/sec, 255 secs
lola: 11729312 markings, 28278613 edges, 41963 markings/sec, 260 secs
lola: 11939869 markings, 28797771 edges, 42111 markings/sec, 265 secs
lola: 12160116 markings, 29335337 edges, 44049 markings/sec, 270 secs
lola: 12373000 markings, 29864179 edges, 42577 markings/sec, 275 secs
lola: 12582228 markings, 30383280 edges, 41846 markings/sec, 280 secs
lola: 12790537 markings, 30899003 edges, 41662 markings/sec, 285 secs
lola: 13011519 markings, 31435294 edges, 44196 markings/sec, 290 secs
lola: 13228555 markings, 31974581 edges, 43407 markings/sec, 295 secs
lola: 13437882 markings, 32494332 edges, 41865 markings/sec, 300 secs
lola: 13645985 markings, 33010126 edges, 41621 markings/sec, 305 secs
lola: 13851945 markings, 33518046 edges, 41192 markings/sec, 310 secs
lola: 14071550 markings, 34054240 edges, 43921 markings/sec, 315 secs
lola: 14266591 markings, 34538542 edges, 39008 markings/sec, 320 secs
lola: 14474458 markings, 35054204 edges, 41573 markings/sec, 325 secs
lola: 14676429 markings, 35553758 edges, 40394 markings/sec, 330 secs
lola: 14885507 markings, 36061499 edges, 41816 markings/sec, 335 secs
lola: 15077340 markings, 36538140 edges, 38367 markings/sec, 340 secs
lola: 15286616 markings, 37057376 edges, 41855 markings/sec, 345 secs
lola: 15493571 markings, 37570243 edges, 41391 markings/sec, 350 secs
lola: 15706954 markings, 38087844 edges, 42677 markings/sec, 355 secs
lola: 15924319 markings, 38627904 edges, 43473 markings/sec, 360 secs
lola: 16133827 markings, 39147937 edges, 41902 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown unknown unknown unknown unknown no yes unknown unknown no unknown
lola: memory consumption: 2088376 KB
lola: time consumption: 2456 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 13 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p201 <= 0) OR (p1377 <= 0)) OR A (G (((p258 <= 0) OR (p1053 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p201 <= 0) OR (p1377 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p201 <= 0) OR (p1377 <= 0))
lola: processed formula length: 30
lola: 50 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 14 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p258 <= 0) OR (p1053 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p258 <= 0) OR (p1053 <= 0))))
lola: processed formula length: 38
lola: 52 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 <= p258) AND (1 <= p1053))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 14 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p1051) AND (1 <= p1449)) OR ((1 <= p956) AND (1 <= p1326) AND (1 <= p542) AND (1 <= p980))) AND (((1 <= p23) AND (1 <= p1443)) OR (E (F (((1 <= p424) AND (1 <= p1501) AND (1 <= p582) AND (1 <= p684)))) AND ((p102 <= 0) OR (p1288 <= 0) OR ((1 <= p12) AND (1 <= p359)) OR (((p18 <= 0) OR (p43 <= 0)) AND (((1 <= p46) AND (1 <= p446)) OR ((1 <= p648) AND (1 <= p851))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p23) AND (1 <= p1443))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p23) AND (1 <= p1443))
lola: processed formula length: 29
lola: 50 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 15 will run for 1114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p1051) AND (1 <= p1449)) OR ((1 <= p956) AND (1 <= p1326) AND (1 <= p542) AND (1 <= p980)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((1 <= p1051) AND (1 <= p1449)) OR ((1 <= p956) AND (1 <= p1326) AND (1 <= p542) AND (1 <= p980)))
lola: processed formula length: 100
lola: 50 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 6 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p424) AND (1 <= p1501) AND (1 <= p582) AND (1 <= p684))))
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 <= p424) AND (1 <= p1501) AND (1 <= p582) AND (1 <= p684))))
lola: processed formula length: 70
lola: 51 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p424) AND (1 <= p1501) AND (1 <= p582) AND (1 <= p684))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 1114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((((p413 <= 0) OR (p1512 <= 0)) AND ((p363 <= 0) OR (p1374 <= 0))) OR ((1 <= p894) AND (1 <= p1289))))) AND E (F ((((p338 <= 0) OR (p600 <= 0) OR (p893 <= 0) OR (p1336 <= 0)) AND ((p249 <= 0) OR (p872 <= 0)) AND ((p1091 <= 0) OR (p1393 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((((p413 <= 0) OR (p1512 <= 0)) AND ((p363 <= 0) OR (p1374 <= 0))) OR ((1 <= p894) AND (1 <= p1289)))))
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 (((((p413 <= 0) OR (p1512 <= 0)) AND ((p363 <= 0) OR (p1374 <= 0))) OR ((1 <= p894) AND (1 <= p1289)))))
lola: processed formula length: 112
lola: 52 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 <= p413) AND (1 <= p1512)) OR ((1 <= p363) AND (1 <= p1374))) AND ((p894 <= 0) OR (p1289 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 12 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 3 markings, 2 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (E (G (E (X (((1 <= p409) AND (1 <= p1190)))))) OR (A (G (((1 <= p118) AND (1 <= p926)))) OR ((1 <= p204) AND (1 <= p1274) AND ((p300 <= 0) OR (p1273 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: ((1 <= p204) AND (1 <= p1274) AND ((p300 <= 0) OR (p1273 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p204) AND (1 <= p1274) AND ((p300 <= 0) OR (p1273 <= 0)))
lola: processed formula length: 65
lola: 50 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 4 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p118) AND (1 <= p926))))
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 <= p118) AND (1 <= p926))))
lola: processed formula length: 37
lola: 52 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: ((p118 <= 0) OR (p926 <= 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: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (G (E (X (((1 <= p409) AND (1 <= p1190))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(EX(((1 <= p409) AND (1 <= p1190))))
lola: processed formula length: 38
lola: 52 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: 310461 markings, 506347 edges, 62092 markings/sec, 0 secs
lola: 556054 markings, 995869 edges, 49119 markings/sec, 5 secs
lola: 802056 markings, 1486063 edges, 49200 markings/sec, 10 secs
lola: 1054557 markings, 1989415 edges, 50500 markings/sec, 15 secs
lola: 1308121 markings, 2494098 edges, 50713 markings/sec, 20 secs
lola: 1565598 markings, 3007573 edges, 51495 markings/sec, 25 secs
lola: 1815106 markings, 3505017 edges, 49902 markings/sec, 30 secs
lola: 2077522 markings, 4027688 edges, 52483 markings/sec, 35 secs
lola: 2334175 markings, 4538905 edges, 51331 markings/sec, 40 secs
lola: 2588986 markings, 5046983 edges, 50962 markings/sec, 45 secs
lola: 2840445 markings, 5547790 edges, 50292 markings/sec, 50 secs
lola: 3098088 markings, 6061130 edges, 51529 markings/sec, 55 secs
lola: 3343201 markings, 6549396 edges, 49023 markings/sec, 60 secs
lola: 3590981 markings, 7043002 edges, 49556 markings/sec, 65 secs
lola: 3845355 markings, 7549294 edges, 50875 markings/sec, 70 secs
lola: 4076932 markings, 8010339 edges, 46315 markings/sec, 75 secs
lola: 4327030 markings, 8508852 edges, 50020 markings/sec, 80 secs
lola: 4571544 markings, 8995528 edges, 48903 markings/sec, 85 secs
lola: 4826286 markings, 9502911 edges, 50948 markings/sec, 90 secs
lola: 5060647 markings, 9969421 edges, 46872 markings/sec, 95 secs
lola: 5299079 markings, 10444228 edges, 47686 markings/sec, 100 secs
lola: 5548200 markings, 10939899 edges, 49824 markings/sec, 105 secs
lola: 5783418 markings, 11407900 edges, 47044 markings/sec, 110 secs
lola: 6031935 markings, 11902749 edges, 49703 markings/sec, 115 secs
lola: 6283605 markings, 12403414 edges, 50334 markings/sec, 120 secs
lola: 6520905 markings, 12875475 edges, 47460 markings/sec, 125 secs
lola: 6756281 markings, 13343381 edges, 47075 markings/sec, 130 secs
lola: 6996247 markings, 13820394 edges, 47993 markings/sec, 135 secs
lola: 7235634 markings, 14296376 edges, 47877 markings/sec, 140 secs
lola: 7473500 markings, 14768820 edges, 47573 markings/sec, 145 secs
lola: 7713368 markings, 15245059 edges, 47974 markings/sec, 150 secs
lola: 7932475 markings, 15679730 edges, 43821 markings/sec, 155 secs
lola: 8156966 markings, 16124427 edges, 44898 markings/sec, 160 secs
lola: 8383886 markings, 16572155 edges, 45384 markings/sec, 165 secs
lola: 8634873 markings, 17069211 edges, 50197 markings/sec, 170 secs
lola: 8841184 markings, 17559905 edges, 41262 markings/sec, 175 secs
lola: 9034866 markings, 18042384 edges, 38736 markings/sec, 180 secs
lola: 9231588 markings, 18533063 edges, 39344 markings/sec, 185 secs
lola: 9429920 markings, 19026859 edges, 39666 markings/sec, 190 secs
lola: 9615758 markings, 19490629 edges, 37168 markings/sec, 195 secs
lola: 9817271 markings, 19992782 edges, 40303 markings/sec, 200 secs
lola: 10000117 markings, 20448894 edges, 36569 markings/sec, 205 secs
lola: 10198392 markings, 20942756 edges, 39655 markings/sec, 210 secs
lola: 10402511 markings, 21451477 edges, 40824 markings/sec, 215 secs
lola: 10587620 markings, 21913292 edges, 37022 markings/sec, 220 secs
lola: 10783214 markings, 22400795 edges, 39119 markings/sec, 225 secs
lola: 10967679 markings, 22860380 edges, 36893 markings/sec, 230 secs
lola: 11159800 markings, 23339010 edges, 38424 markings/sec, 235 secs
lola: 11365288 markings, 23851035 edges, 41098 markings/sec, 240 secs
lola: 11566242 markings, 24351822 edges, 40191 markings/sec, 245 secs
lola: 11738217 markings, 24780532 edges, 34395 markings/sec, 250 secs
lola: 11925508 markings, 25247354 edges, 37458 markings/sec, 255 secs
lola: 12117923 markings, 25726801 edges, 38483 markings/sec, 260 secs
lola: 12297649 markings, 26174818 edges, 35945 markings/sec, 265 secs
lola: 12482299 markings, 26634554 edges, 36930 markings/sec, 270 secs
lola: 12671984 markings, 27107384 edges, 37937 markings/sec, 275 secs
lola: 12854048 markings, 27560690 edges, 36413 markings/sec, 280 secs
lola: 13054117 markings, 28059719 edges, 40014 markings/sec, 285 secs
lola: 13238721 markings, 28519444 edges, 36921 markings/sec, 290 secs
lola: 13414500 markings, 28956946 edges, 35156 markings/sec, 295 secs
lola: 13599335 markings, 29417288 edges, 36967 markings/sec, 300 secs
lola: 13793119 markings, 29900252 edges, 38757 markings/sec, 305 secs
lola: 13987193 markings, 30383343 edges, 38815 markings/sec, 310 secs
lola: 14179497 markings, 30861941 edges, 38461 markings/sec, 315 secs
lola: 14378148 markings, 31356860 edges, 39730 markings/sec, 320 secs
lola: 14578438 markings, 31855749 edges, 40058 markings/sec, 325 secs
lola: 14772388 markings, 32338286 edges, 38790 markings/sec, 330 secs
lola: 14948836 markings, 32777334 edges, 35290 markings/sec, 335 secs
lola: 15144313 markings, 33264060 edges, 39095 markings/sec, 340 secs
lola: 15331559 markings, 33729700 edges, 37449 markings/sec, 345 secs
lola: 15513390 markings, 34182129 edges, 36366 markings/sec, 350 secs
lola: 15701997 markings, 34651322 edges, 37721 markings/sec, 355 secs
lola: 15896752 markings, 35135280 edges, 38951 markings/sec, 360 secs
lola: 16084557 markings, 35602316 edges, 37561 markings/sec, 365 secs
lola: 16265484 markings, 36051745 edges, 36185 markings/sec, 370 secs
lola: 16445069 markings, 36497163 edges, 35917 markings/sec, 375 secs
lola: 16619928 markings, 36930739 edges, 34972 markings/sec, 380 secs
lola: 16807586 markings, 37393074 edges, 37532 markings/sec, 385 secs
lola: 17021287 markings, 37892146 edges, 42740 markings/sec, 390 secs
lola: 17207749 markings, 38348259 edges, 37292 markings/sec, 395 secs
lola: 17391256 markings, 38805935 edges, 36701 markings/sec, 400 secs
lola: 17597211 markings, 39319767 edges, 41191 markings/sec, 405 secs
lola: 17784735 markings, 39786728 edges, 37505 markings/sec, 410 secs
lola: 17977390 markings, 40267357 edges, 38531 markings/sec, 415 secs
lola: 18177704 markings, 40766240 edges, 40063 markings/sec, 420 secs
lola: 18355381 markings, 41209576 edges, 35535 markings/sec, 425 secs
lola: 18559585 markings, 41718421 edges, 40841 markings/sec, 430 secs
lola: 18763868 markings, 42227703 edges, 40857 markings/sec, 435 secs
lola: 18954033 markings, 42701538 edges, 38033 markings/sec, 440 secs
lola: 19157906 markings, 43209646 edges, 40775 markings/sec, 445 secs
lola: 19334403 markings, 43649785 edges, 35299 markings/sec, 450 secs
lola: 19536962 markings, 44154776 edges, 40512 markings/sec, 455 secs
lola: 19743754 markings, 44669652 edges, 41358 markings/sec, 460 secs
lola: 19944734 markings, 45170632 edges, 40196 markings/sec, 465 secs
lola: 20120977 markings, 45609737 edges, 35249 markings/sec, 470 secs
lola: 20310606 markings, 46082293 edges, 37926 markings/sec, 475 secs
lola: 20506075 markings, 46569660 edges, 39094 markings/sec, 480 secs
lola: 20682513 markings, 47009324 edges, 35288 markings/sec, 485 secs
lola: 20865417 markings, 47464703 edges, 36581 markings/sec, 490 secs
lola: 21050211 markings, 47925307 edges, 36959 markings/sec, 495 secs
lola: 21247479 markings, 48416722 edges, 39454 markings/sec, 500 secs
lola: 21445975 markings, 48911070 edges, 39699 markings/sec, 505 secs
lola: 21608214 markings, 49315473 edges, 32448 markings/sec, 510 secs
lola: 21800312 markings, 49793944 edges, 38420 markings/sec, 515 secs
lola: 21978476 markings, 50237639 edges, 35633 markings/sec, 520 secs
lola: 22177765 markings, 50733733 edges, 39858 markings/sec, 525 secs
lola: 22365085 markings, 51200158 edges, 37464 markings/sec, 530 secs
lola: 22565755 markings, 51699838 edges, 40134 markings/sec, 535 secs
lola: 22765036 markings, 52196124 edges, 39856 markings/sec, 540 secs
lola: 22962564 markings, 52687756 edges, 39506 markings/sec, 545 secs
lola: 23147384 markings, 53148017 edges, 36964 markings/sec, 550 secs
lola: 23336851 markings, 53619565 edges, 37893 markings/sec, 555 secs
lola: 23524295 markings, 54085826 edges, 37489 markings/sec, 560 secs
lola: 23712189 markings, 54553120 edges, 37579 markings/sec, 565 secs
lola: 23902644 markings, 55026963 edges, 38091 markings/sec, 570 secs
lola: 24091668 markings, 55496879 edges, 37805 markings/sec, 575 secs
lola: 24282525 markings, 55971381 edges, 38171 markings/sec, 580 secs
lola: 24471534 markings, 56440801 edges, 37802 markings/sec, 585 secs
lola: 24649702 markings, 56883395 edges, 35634 markings/sec, 590 secs
lola: 24835305 markings, 57343565 edges, 37121 markings/sec, 595 secs
lola: 25019971 markings, 57799969 edges, 36933 markings/sec, 600 secs
lola: 25224912 markings, 58307800 edges, 40988 markings/sec, 605 secs
lola: 25434363 markings, 58788494 edges, 41890 markings/sec, 610 secs
lola: 25624534 markings, 59262795 edges, 38034 markings/sec, 615 secs
lola: 25829065 markings, 59772313 edges, 40906 markings/sec, 620 secs
lola: 26024880 markings, 60260697 edges, 39163 markings/sec, 625 secs
lola: 26221273 markings, 60749968 edges, 39279 markings/sec, 630 secs
lola: 26426669 markings, 61261658 edges, 41079 markings/sec, 635 secs
lola: 26608457 markings, 61715292 edges, 36358 markings/sec, 640 secs
lola: 26812835 markings, 62224641 edges, 40876 markings/sec, 645 secs
lola: 27016763 markings, 62732899 edges, 40786 markings/sec, 650 secs
lola: 27211265 markings, 63218159 edges, 38900 markings/sec, 655 secs
lola: 27416288 markings, 63728975 edges, 41005 markings/sec, 660 secs
lola: 27598814 markings, 64183779 edges, 36505 markings/sec, 665 secs
lola: 27801879 markings, 64690083 edges, 40613 markings/sec, 670 secs
lola: 28008504 markings, 65205090 edges, 41325 markings/sec, 675 secs
lola: 28209530 markings, 65705641 edges, 40205 markings/sec, 680 secs
lola: 28390847 markings, 66157303 edges, 36263 markings/sec, 685 secs
lola: 28584126 markings, 66639093 edges, 38656 markings/sec, 690 secs
lola: 28779743 markings, 67126763 edges, 39123 markings/sec, 695 secs
lola: 28962205 markings, 67581565 edges, 36492 markings/sec, 700 secs
lola: 29149945 markings, 68049033 edges, 37548 markings/sec, 705 secs
lola: 29335514 markings, 68511604 edges, 37114 markings/sec, 710 secs
lola: 29535743 markings, 69010363 edges, 40046 markings/sec, 715 secs
lola: 29730925 markings, 69496513 edges, 39036 markings/sec, 720 secs
lola: 29897152 markings, 69910276 edges, 33245 markings/sec, 725 secs
lola: 30090467 markings, 70391754 edges, 38663 markings/sec, 730 secs
lola: 30274490 markings, 70850319 edges, 36805 markings/sec, 735 secs
lola: 30470049 markings, 71337223 edges, 39112 markings/sec, 740 secs
lola: 30660242 markings, 71811049 edges, 38039 markings/sec, 745 secs
lola: 30860438 markings, 72309609 edges, 40039 markings/sec, 750 secs
lola: 31057917 markings, 72800901 edges, 39496 markings/sec, 755 secs
lola: 31253169 markings, 73287273 edges, 39050 markings/sec, 760 secs
lola: 31436222 markings, 73742690 edges, 36611 markings/sec, 765 secs
lola: 31626643 markings, 74216730 edges, 38084 markings/sec, 770 secs
lola: 31814622 markings, 74684314 edges, 37596 markings/sec, 775 secs
lola: 32001960 markings, 75150348 edges, 37468 markings/sec, 780 secs
lola: 32189460 markings, 75616702 edges, 37500 markings/sec, 785 secs
lola: 32378998 markings, 76088008 edges, 37908 markings/sec, 790 secs
lola: 32568073 markings, 76557920 edges, 37815 markings/sec, 795 secs
lola: 32753300 markings, 77018304 edges, 37045 markings/sec, 800 secs
lola: 32932850 markings, 77463876 edges, 35910 markings/sec, 805 secs
lola: 33114549 markings, 77914524 edges, 36340 markings/sec, 810 secs
lola: 33296314 markings, 78363587 edges, 36353 markings/sec, 815 secs
lola: 33501690 markings, 78868807 edges, 41075 markings/sec, 820 secs
lola: 33696456 markings, 79316874 edges, 38953 markings/sec, 825 secs
lola: 33885978 markings, 79789552 edges, 37904 markings/sec, 830 secs
lola: 34079368 markings, 80270980 edges, 38678 markings/sec, 835 secs
lola: 34262577 markings, 80728293 edges, 36642 markings/sec, 840 secs
lola: 34462611 markings, 81226446 edges, 40007 markings/sec, 845 secs
lola: 34640403 markings, 81670044 edges, 35558 markings/sec, 850 secs
lola: 34830822 markings, 82144317 edges, 38084 markings/sec, 855 secs
lola: 35032728 markings, 82648197 edges, 40381 markings/sec, 860 secs
lola: 35225417 markings, 83128211 edges, 38538 markings/sec, 865 secs
lola: 35416802 markings, 83605273 edges, 38277 markings/sec, 870 secs
lola: 35603602 markings, 84070647 edges, 37360 markings/sec, 875 secs
lola: 35786875 markings, 84527832 edges, 36655 markings/sec, 880 secs
lola: 35989299 markings, 85032308 edges, 40485 markings/sec, 885 secs
lola: 36191184 markings, 85534916 edges, 40377 markings/sec, 890 secs
lola: 36376539 markings, 85996721 edges, 37071 markings/sec, 895 secs
lola: 36560530 markings, 86455365 edges, 36798 markings/sec, 900 secs
lola: 36746139 markings, 86917734 edges, 37122 markings/sec, 905 secs
lola: 36927428 markings, 87369582 edges, 36258 markings/sec, 910 secs
lola: 37104300 markings, 87810446 edges, 35374 markings/sec, 915 secs
lola: 37286454 markings, 88263887 edges, 36431 markings/sec, 920 secs
lola: 37464682 markings, 88708318 edges, 35646 markings/sec, 925 secs
lola: 37661641 markings, 89198804 edges, 39392 markings/sec, 930 secs
lola: 37849943 markings, 89667985 edges, 37660 markings/sec, 935 secs
lola: 38010474 markings, 90067902 edges, 32106 markings/sec, 940 secs
lola: 38198021 markings, 90534872 edges, 37509 markings/sec, 945 secs
lola: 38376245 markings, 90978922 edges, 35645 markings/sec, 950 secs
lola: 38568521 markings, 91458023 edges, 38455 markings/sec, 955 secs
lola: 38752066 markings, 91914813 edges, 36709 markings/sec, 960 secs
lola: 38949077 markings, 92405545 edges, 39402 markings/sec, 965 secs
lola: 39143568 markings, 92889691 edges, 38898 markings/sec, 970 secs
lola: 39336695 markings, 93370406 edges, 38625 markings/sec, 975 secs
lola: 39517923 markings, 93821681 edges, 36246 markings/sec, 980 secs
lola: 39702343 markings, 94280626 edges, 36884 markings/sec, 985 secs
lola: 39884944 markings, 94735187 edges, 36520 markings/sec, 990 secs
lola: 40069363 markings, 95193910 edges, 36884 markings/sec, 995 secs
lola: 40255647 markings, 95657173 edges, 37257 markings/sec, 1000 secs
lola: 40439431 markings, 96114352 edges, 36757 markings/sec, 1005 secs
lola: 40628093 markings, 96583232 edges, 37732 markings/sec, 1010 secs
lola: 40814460 markings, 97046322 edges, 37273 markings/sec, 1015 secs
lola: 40984360 markings, 97468092 edges, 33980 markings/sec, 1020 secs
lola: 41167574 markings, 97922544 edges, 36643 markings/sec, 1025 secs
lola: 41346905 markings, 98366492 edges, 35866 markings/sec, 1030 secs
lola: 41541729 markings, 98848226 edges, 38965 markings/sec, 1035 secs
lola: 41752003 markings, 99331515 edges, 42055 markings/sec, 1040 secs
lola: 41952301 markings, 99830353 edges, 40060 markings/sec, 1045 secs
lola: 42142099 markings, 100303769 edges, 37960 markings/sec, 1050 secs
lola: 42331283 markings, 100774843 edges, 37837 markings/sec, 1055 secs
lola: 42534247 markings, 101281486 edges, 40593 markings/sec, 1060 secs
lola: 42709238 markings, 101717173 edges, 34998 markings/sec, 1065 secs
lola: 42908118 markings, 102213478 edges, 39776 markings/sec, 1070 secs
lola: 43109623 markings, 102715590 edges, 40301 markings/sec, 1075 secs
lola: 43300217 markings, 103190605 edges, 38119 markings/sec, 1080 secs
lola: 43499228 markings, 103686270 edges, 39802 markings/sec, 1085 secs
lola: 43678374 markings, 104133383 edges, 35829 markings/sec, 1090 secs
lola: 43874529 markings, 104622213 edges, 39231 markings/sec, 1095 secs
lola: 44077708 markings, 105128142 edges, 40636 markings/sec, 1100 secs
lola: 44279149 markings, 105629991 edges, 40288 markings/sec, 1105 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no no unknown unknown no unknown no yes unknown unknown no unknown
lola:
preliminary result: no unknown unknown unknown no no unknown unknown no unknown no yes unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown no no unknown unknown no unknown no yes unknown unknown no unknown
lola: memory consumption: 6815356 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown no no unknown unknown no unknown no yes unknown unknown no unknown
lola: memory consumption: 6815356 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CircularTrains-PT-768"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is CircularTrains-PT-768, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-smll-158987806200100"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CircularTrains-PT-768.tgz
mv CircularTrains-PT-768 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 ;