About the Execution of ITS-LoLa for GPPP-PT-C0010N0000000100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15797.390 | 3600000.00 | 3545694.00 | 55037.70 | FFFFFFT?FFFT?FFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r170-smll-158987815900474.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is GPPP-PT-C0010N0000000100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815900474
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.4K Apr 4 20:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 4 20:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 4 09:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 09:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 8 14:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 3 21:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 3 13:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 3 13:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 17 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1 Mar 24 05:37 large_marking
-rw-r--r-- 1 mcc users 21K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME GPPP-PT-C0010N0000000100-00
FORMULA_NAME GPPP-PT-C0010N0000000100-01
FORMULA_NAME GPPP-PT-C0010N0000000100-02
FORMULA_NAME GPPP-PT-C0010N0000000100-03
FORMULA_NAME GPPP-PT-C0010N0000000100-04
FORMULA_NAME GPPP-PT-C0010N0000000100-05
FORMULA_NAME GPPP-PT-C0010N0000000100-06
FORMULA_NAME GPPP-PT-C0010N0000000100-07
FORMULA_NAME GPPP-PT-C0010N0000000100-08
FORMULA_NAME GPPP-PT-C0010N0000000100-09
FORMULA_NAME GPPP-PT-C0010N0000000100-10
FORMULA_NAME GPPP-PT-C0010N0000000100-11
FORMULA_NAME GPPP-PT-C0010N0000000100-12
FORMULA_NAME GPPP-PT-C0010N0000000100-13
FORMULA_NAME GPPP-PT-C0010N0000000100-14
FORMULA_NAME GPPP-PT-C0010N0000000100-15
=== Now, execution of the tool begins
BK_START 1591449776209
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 13:22:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 13:22:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 13:22:58] [INFO ] Load time of PNML (sax parser for PT used): 40 ms
[2020-06-06 13:22:58] [INFO ] Transformed 33 places.
[2020-06-06 13:22:58] [INFO ] Transformed 22 transitions.
[2020-06-06 13:22:58] [INFO ] Parsed PT model containing 33 places and 22 transitions in 91 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100002 steps, including 240 resets, run finished after 186 ms. (steps per millisecond=537 ) properties seen :[1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 22 rows 33 cols
[2020-06-06 13:22:58] [INFO ] Computed 12 place invariants in 6 ms
[2020-06-06 13:22:58] [INFO ] [Real]Absence check using 6 positive place invariants in 18 ms returned sat
[2020-06-06 13:22:58] [INFO ] [Real]Absence check using 6 positive and 6 generalized place invariants in 5 ms returned sat
[2020-06-06 13:22:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 13:22:59] [INFO ] [Real]Absence check using state equation in 29 ms returned sat
[2020-06-06 13:22:59] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 13:22:59] [INFO ] [Nat]Absence check using 6 positive place invariants in 16 ms returned sat
[2020-06-06 13:22:59] [INFO ] [Nat]Absence check using 6 positive and 6 generalized place invariants in 6 ms returned sat
[2020-06-06 13:22:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 13:22:59] [INFO ] [Nat]Absence check using state equation in 38 ms returned unsat
[2020-06-06 13:22:59] [INFO ] [Real]Absence check using 6 positive place invariants in 7 ms returned sat
[2020-06-06 13:22:59] [INFO ] [Real]Absence check using 6 positive and 6 generalized place invariants in 5 ms returned sat
[2020-06-06 13:22:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 13:22:59] [INFO ] [Real]Absence check using state equation in 42 ms returned unsat
[2020-06-06 13:22:59] [INFO ] [Real]Absence check using 6 positive place invariants in 5 ms returned sat
[2020-06-06 13:22:59] [INFO ] [Real]Absence check using 6 positive and 6 generalized place invariants in 4 ms returned unsat
[2020-06-06 13:22:59] [INFO ] [Real]Absence check using 6 positive place invariants in 5 ms returned sat
[2020-06-06 13:22:59] [INFO ] [Real]Absence check using 6 positive and 6 generalized place invariants in 4 ms returned sat
[2020-06-06 13:22:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 13:22:59] [INFO ] [Real]Absence check using state equation in 25 ms returned unsat
Successfully simplified 4 atomic propositions for a total of 6 simplifications.
[2020-06-06 13:22:59] [INFO ] Initial state reduction rules for CTL removed 6 formulas.
[2020-06-06 13:22:59] [INFO ] Flatten gal took : 37 ms
FORMULA GPPP-PT-C0010N0000000100-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0010N0000000100-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0010N0000000100-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0010N0000000100-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0010N0000000100-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA GPPP-PT-C0010N0000000100-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-06 13:22:59] [INFO ] Flatten gal took : 11 ms
[2020-06-06 13:22:59] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2020-06-06 13:22:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ GPPP-PT-C0010N0000000100 @ 3570 seconds
FORMULA GPPP-PT-C0010N0000000100-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA GPPP-PT-C0010N0000000100-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ GPPP-PT-C0010N0000000100
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sat Jun 6 13:23:00 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 353
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G ((F ((p24 <= 0)) AND X (X ((p21 <= 0))))))",
"processed_size": 47,
"rewrites": 55
},
"result":
{
"edges": 826,
"markings": 665,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 392
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 5,
"adisj": 0,
"aneg": 5,
"comp": 13,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 13,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "F (((X (((((p0 <= 0) OR (p12 <= 0) OR (p32 <= 0)) R ((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69))) AND ((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69)))) R ((p3 <= 0) OR (p23 <= 0))) AND X (G (((p3 <= 0) OR (p23 <= 0))))))",
"processed_size": 219,
"rewrites": 55
},
"result":
{
"edges": 1520680,
"markings": 135871,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 18
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 441
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 3,
"U": 1,
"X": 4,
"aconj": 4,
"adisj": 0,
"aneg": 0,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "(X (X (G ((X (((1 <= p3) AND (1 <= p23))) OR (G ((G (((1 <= p3) AND (1 <= p23))) AND F ((2 <= p7)))) AND X (F (((1 <= p3) AND (1 <= p23))))))))) U ((1 <= p15) AND (1 <= p28)))",
"processed_size": 175,
"rewrites": 55
},
"result":
{
"edges": 154,
"markings": 154,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 13
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 504
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (G (((p18 <= 0) OR (p19 <= 0))))",
"processed_size": 35,
"rewrites": 55
},
"result":
{
"edges": 299,
"markings": 297,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 589
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (X (G (((p18 <= 0) OR (p19 <= 0)))))",
"processed_size": 39,
"rewrites": 55
},
"result":
{
"edges": 299,
"markings": 297,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 706
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 3,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 3,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X (F ((G (F (((1 <= p9) AND (1 <= p10)))) OR G ((X (F ((G ((1 <= p16)) AND ((1 <= p8) AND (1 <= p30))))) AND (1 <= p16))))))",
"processed_size": 124,
"rewrites": 55
},
"result":
{
"edges": 630,
"markings": 630,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 942
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 942
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p8 <= 0) OR (p29 <= 19))",
"processed_size": 26,
"rewrites": 56
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1413
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (G (((1 <= p15) AND (30 <= p27))))",
"processed_size": 36,
"rewrites": 55
},
"result":
{
"edges": 290,
"markings": 290,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1476
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"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": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G (F ((F (((1 <= p9) AND (1 <= p10))) AND ((1 <= p3) AND (1 <= p23)))))",
"processed_size": 71,
"rewrites": 55
},
"result":
{
"edges": 281,
"markings": 281,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 6835768,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "F(G((F(**) AND X(X(*))))) : G(F((F(**) AND (** AND **)))) : F(((X(((* R *) AND *)) R *) AND X(G(*)))) : (X(X(G((X(**) OR (G((G(**) AND F(**))) AND X(F(**))))))) U **) : X(G(*)) : F((F(G(*)) AND (** AND (** AND **)))) : X(X(G(*))) : X(G((X(*) OR *))) : X(F((G(F(**)) OR G((X(F((G(**) AND (** AND **)))) AND **))))) : (X(G(*)) AND (F(*) OR (** OR **)))"
},
"net":
{
"arcs": 83,
"conflict_clusters": 14,
"places": 33,
"places_significant": 21,
"singleton_clusters": 0,
"transitions": 22
},
"result":
{
"interim_value": "no no no no no unknown no unknown no no ",
"preliminary_value": "no no no no no unknown no unknown no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 55/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 22 transitions, 21 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p2)
lola: LP says that atomic proposition is always true: (2 <= p4)
lola: G (F (G ((F ((p24 <= 0)) AND NOT(X (X ((1 <= p21)))))))) : X (G (F (G (F (((F (((1 <= p9) AND (1 <= p10))) AND (1 <= p3)) AND (1 <= p23))))))) : F ((NOT((X (((((1 <= p0) AND (1 <= p12) AND (1 <= p32)) U ((1 <= p11) AND (1 <= p12) AND (70 <= p31))) OR ((1 <= p11) AND (1 <= p12) AND (70 <= p31)))) U ((1 <= p3) AND (1 <= p23)))) AND NOT(F (X (F (((1 <= p3) AND (1 <= p23)))))))) : (G (X (X ((G ((G (((1 <= p3) AND (1 <= p23))) AND F ((2 <= p7)))) U X (((1 <= p3) AND (1 <= p23))))))) U ((1 <= p15) AND (1 <= p28))) : G (NOT(X (((1 <= p18) AND (1 <= p19))))) : F ((((NOT(G (F (((1 <= p11) AND (1 <= p12) AND (70 <= p31))))) AND (1 <= p11)) AND (1 <= p12)) AND (70 <= p31))) : X (NOT(X (F (((1 <= p18) AND (1 <= p19)))))) : X (NOT(F (((((((1 <= p9) AND (1 <= p10)) U (1 <= p24)) AND (1 <= p20)) AND (2 <= p7)) U (X ((1 <= p24)) AND (1 <= p20)))))) : F (X ((G (F (((1 <= p9) AND (1 <= p10)))) OR G ((F (X (((G ((1 <= p16)) AND (1 <= p8)) AND (1 <= p30)))) AND (1 <= p16)))))) : (NOT(F (X ((((1 <= p8) AND (20 <= p29)) U ((p15 <= 0) OR (p27 <= 29)))))) AND ((NOT(G (((1 <= p8) AND (20 <= p29)))) OR (p8 <= 0)) OR (p29 <= 19)))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F ((p24 <= 0)) AND X (X ((p21 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F ((p24 <= 0)) AND X (X ((p21 <= 0))))))
lola: processed formula length: 47
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 665 markings, 826 edges
lola: ========================================
lola: subprocess 1 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((X (((((p0 <= 0) OR (p12 <= 0) OR (p32 <= 0)) R ((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69))) AND ((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69)))) R ((p3 <= 0) OR (p23 <= 0))) AND X (G (((p3 <= 0) OR (p23 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((X (((((p0 <= 0) OR (p12 <= 0) OR (p32 <= 0)) R ((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69))) AND ((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69)))) R ((p3 <= 0) OR (p23 <= 0))) AND X (G (((p3 <= 0) OR (p23 <= 0))))))
lola: processed formula length: 219
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 18 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 135871 markings, 1520680 edges
lola: ========================================
lola: subprocess 2 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X (G ((X (((1 <= p3) AND (1 <= p23))) OR (G ((G (((1 <= p3) AND (1 <= p23))) AND F ((2 <= p7)))) AND X (F (((1 <= p3) AND (1 <= p23))))))))) U ((1 <= p15) AND (1 <= p28)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (X (G ((X (((1 <= p3) AND (1 <= p23))) OR (G ((G (((1 <= p3) AND (1 <= p23))) AND F ((2 <= p7)))) AND X (F (((1 <= p3) AND (1 <= p23))))))))) U ((1 <= p15) AND (1 <= p28)))
lola: processed formula length: 175
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 154 markings, 154 edges
lola: ========================================
lola: subprocess 3 will run for 504 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((p18 <= 0) OR (p19 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((p18 <= 0) OR (p19 <= 0))))
lola: processed formula length: 35
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 297 markings, 299 edges
lola: ========================================
lola: subprocess 4 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G (((p18 <= 0) OR (p19 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G (((p18 <= 0) OR (p19 <= 0)))))
lola: processed formula length: 39
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 297 markings, 299 edges
lola: ========================================
lola: subprocess 5 will run for 706 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((X ((p24 <= 0)) OR (p20 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X ((p24 <= 0)) OR (p20 <= 0))))
lola: processed formula length: 38
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1016173 markings, 5505751 edges, 203235 markings/sec, 0 secs
lola: 2041859 markings, 11311559 edges, 205137 markings/sec, 5 secs
lola: 2987440 markings, 16845772 edges, 189116 markings/sec, 10 secs
lola: 3954762 markings, 22390742 edges, 193464 markings/sec, 15 secs
lola: 4841311 markings, 27579131 edges, 177310 markings/sec, 20 secs
lola: 5804345 markings, 33219505 edges, 192607 markings/sec, 25 secs
lola: 6756307 markings, 38797574 edges, 190392 markings/sec, 30 secs
lola: 7695562 markings, 44292576 edges, 187851 markings/sec, 35 secs
lola: 8643811 markings, 49851419 edges, 189650 markings/sec, 40 secs
lola: 9586807 markings, 55413311 edges, 188599 markings/sec, 45 secs
lola: 10512120 markings, 60905644 edges, 185063 markings/sec, 50 secs
lola: 11442612 markings, 66535080 edges, 186098 markings/sec, 55 secs
lola: 12296173 markings, 72063352 edges, 170712 markings/sec, 60 secs
lola: 13102933 markings, 77442428 edges, 161352 markings/sec, 65 secs
lola: 13912216 markings, 82816695 edges, 161857 markings/sec, 70 secs
lola: 14734387 markings, 88240172 edges, 164434 markings/sec, 75 secs
lola: 15537720 markings, 93615698 edges, 160667 markings/sec, 80 secs
lola: 16340203 markings, 98979366 edges, 160497 markings/sec, 85 secs
lola: 17121970 markings, 104303520 edges, 156353 markings/sec, 90 secs
lola: 17912805 markings, 109614960 edges, 158167 markings/sec, 95 secs
lola: 18706082 markings, 114923431 edges, 158655 markings/sec, 100 secs
lola: 19498815 markings, 120219453 edges, 158547 markings/sec, 105 secs
lola: 20273489 markings, 125508687 edges, 154935 markings/sec, 110 secs
lola: 21058742 markings, 130765286 edges, 157051 markings/sec, 115 secs
lola: 21889434 markings, 136080089 edges, 166138 markings/sec, 120 secs
lola: 22716006 markings, 141382381 edges, 165314 markings/sec, 125 secs
lola: 23504629 markings, 146588505 edges, 157725 markings/sec, 130 secs
lola: 24286852 markings, 151757503 edges, 156445 markings/sec, 135 secs
lola: 25055719 markings, 156896647 edges, 153773 markings/sec, 140 secs
lola: 25815511 markings, 161978217 edges, 151958 markings/sec, 145 secs
lola: 26580487 markings, 167084980 edges, 152995 markings/sec, 150 secs
lola: 27345579 markings, 172198176 edges, 153018 markings/sec, 155 secs
lola: 28104121 markings, 177263298 edges, 151708 markings/sec, 160 secs
lola: 28839650 markings, 182297669 edges, 147106 markings/sec, 165 secs
lola: 29594695 markings, 187336475 edges, 151009 markings/sec, 170 secs
lola: 30453624 markings, 192740770 edges, 171786 markings/sec, 175 secs
lola: 31270830 markings, 198076019 edges, 163441 markings/sec, 180 secs
lola: 32072260 markings, 203318061 edges, 160286 markings/sec, 185 secs
lola: 32851697 markings, 208531038 edges, 155887 markings/sec, 190 secs
lola: 33639645 markings, 213792974 edges, 157590 markings/sec, 195 secs
lola: 34428357 markings, 219064135 edges, 157742 markings/sec, 200 secs
lola: 35214344 markings, 224322428 edges, 157197 markings/sec, 205 secs
lola: 35993909 markings, 229531962 edges, 155913 markings/sec, 210 secs
lola: 36772906 markings, 234741443 edges, 155799 markings/sec, 215 secs
lola: 37545018 markings, 239899470 edges, 154422 markings/sec, 220 secs
lola: 38297046 markings, 245039626 edges, 150406 markings/sec, 225 secs
lola: 39064316 markings, 250166245 edges, 153454 markings/sec, 230 secs
lola: 39836864 markings, 255328869 edges, 154510 markings/sec, 235 secs
lola: 40589146 markings, 260480606 edges, 150456 markings/sec, 240 secs
lola: 41358483 markings, 265787686 edges, 153867 markings/sec, 245 secs
lola: 42055782 markings, 270912165 edges, 139460 markings/sec, 250 secs
lola: 42738930 markings, 275959873 edges, 136630 markings/sec, 255 secs
lola: 43415659 markings, 281012180 edges, 135346 markings/sec, 260 secs
lola: 44085234 markings, 286041761 edges, 133915 markings/sec, 265 secs
lola: 44750045 markings, 291040203 edges, 132962 markings/sec, 270 secs
lola: 45412180 markings, 296045773 edges, 132427 markings/sec, 275 secs
lola: 46061051 markings, 301005258 edges, 129774 markings/sec, 280 secs
lola: 46727893 markings, 306012142 edges, 133368 markings/sec, 285 secs
lola: 47393300 markings, 311012049 edges, 133081 markings/sec, 290 secs
lola: 48038473 markings, 315976770 edges, 129035 markings/sec, 295 secs
lola: 48700794 markings, 320949322 edges, 132464 markings/sec, 300 secs
lola: 49449671 markings, 326136083 edges, 149775 markings/sec, 305 secs
lola: 50272585 markings, 331419443 edges, 164583 markings/sec, 310 secs
lola: 51049162 markings, 336578778 edges, 155315 markings/sec, 315 secs
lola: 51839381 markings, 341743609 edges, 158044 markings/sec, 320 secs
lola: 52603989 markings, 346853367 edges, 152922 markings/sec, 325 secs
lola: 53366813 markings, 351948070 edges, 152565 markings/sec, 330 secs
lola: 54127121 markings, 357024473 edges, 152062 markings/sec, 335 secs
lola: 54879393 markings, 362056450 edges, 150454 markings/sec, 340 secs
lola: 55650146 markings, 367155722 edges, 154151 markings/sec, 345 secs
lola: 56513267 markings, 372619642 edges, 172624 markings/sec, 350 secs
lola: 57319380 markings, 377896750 edges, 161223 markings/sec, 355 secs
lola: 58108376 markings, 383121344 edges, 157799 markings/sec, 360 secs
lola: 58901781 markings, 388353066 edges, 158681 markings/sec, 365 secs
lola: 59683139 markings, 393575600 edges, 156272 markings/sec, 370 secs
lola: 60466871 markings, 398815017 edges, 156746 markings/sec, 375 secs
lola: 61247783 markings, 404037024 edges, 156182 markings/sec, 380 secs
lola: 62021641 markings, 409239563 edges, 154772 markings/sec, 385 secs
lola: 62778852 markings, 414384767 edges, 151442 markings/sec, 390 secs
lola: 63553518 markings, 419561819 edges, 154933 markings/sec, 395 secs
lola: 64328485 markings, 424741320 edges, 154993 markings/sec, 400 secs
lola: 65083643 markings, 429911006 edges, 151032 markings/sec, 405 secs
lola: 65855982 markings, 435074363 edges, 154468 markings/sec, 410 secs
lola: 66645789 markings, 440359350 edges, 157961 markings/sec, 415 secs
lola: 67346797 markings, 445501839 edges, 140202 markings/sec, 420 secs
lola: 68031439 markings, 450546275 edges, 136928 markings/sec, 425 secs
lola: 68700472 markings, 455568114 edges, 133807 markings/sec, 430 secs
lola: 69365422 markings, 460567723 edges, 132990 markings/sec, 435 secs
lola: 70031550 markings, 465565180 edges, 133226 markings/sec, 440 secs
lola: 70696436 markings, 470564475 edges, 132977 markings/sec, 445 secs
lola: 71363011 markings, 475569468 edges, 133315 markings/sec, 450 secs
lola: 72025993 markings, 480555343 edges, 132596 markings/sec, 455 secs
lola: 72671604 markings, 485522676 edges, 129122 markings/sec, 460 secs
lola: 73333109 markings, 490486049 edges, 132301 markings/sec, 465 secs
lola: 73998750 markings, 495491495 edges, 133128 markings/sec, 470 secs
lola: 74642634 markings, 500446764 edges, 128777 markings/sec, 475 secs
lola: 75369642 markings, 505551927 edges, 145402 markings/sec, 480 secs
lola: 76037671 markings, 510456293 edges, 133606 markings/sec, 485 secs
lola: 76682255 markings, 515296316 edges, 128917 markings/sec, 490 secs
lola: 77346535 markings, 520202807 edges, 132856 markings/sec, 495 secs
lola: 78001658 markings, 525106349 edges, 131025 markings/sec, 500 secs
lola: 78645246 markings, 529989654 edges, 128718 markings/sec, 505 secs
lola: 79286742 markings, 534853403 edges, 128299 markings/sec, 510 secs
lola: 79938847 markings, 539744558 edges, 130421 markings/sec, 515 secs
lola: 80592221 markings, 544652763 edges, 130675 markings/sec, 520 secs
lola: 81269849 markings, 549619384 edges, 135526 markings/sec, 525 secs
lola: 82102586 markings, 554900304 edges, 166547 markings/sec, 530 secs
lola: 82897171 markings, 560085860 edges, 158917 markings/sec, 535 secs
lola: 83664922 markings, 565211977 edges, 153550 markings/sec, 540 secs
lola: 84448577 markings, 570335069 edges, 156731 markings/sec, 545 secs
lola: 85209221 markings, 575419537 edges, 152129 markings/sec, 550 secs
lola: 85996880 markings, 580547998 edges, 157532 markings/sec, 555 secs
lola: 86820694 markings, 585842575 edges, 164763 markings/sec, 560 secs
lola: 87610687 markings, 590995754 edges, 157999 markings/sec, 565 secs
lola: 88388084 markings, 596118435 edges, 155479 markings/sec, 570 secs
lola: 89156634 markings, 601207805 edges, 153710 markings/sec, 575 secs
lola: 89919323 markings, 606310154 edges, 152538 markings/sec, 580 secs
lola: 90684020 markings, 611417477 edges, 152939 markings/sec, 585 secs
lola: 91447309 markings, 616515531 edges, 152658 markings/sec, 590 secs
lola: 92185009 markings, 621544032 edges, 147540 markings/sec, 595 secs
lola: 92933968 markings, 626561627 edges, 149792 markings/sec, 600 secs
lola: 93680275 markings, 631542490 edges, 149261 markings/sec, 605 secs
lola: 94425225 markings, 636518862 edges, 148990 markings/sec, 610 secs
lola: 95144857 markings, 641435870 edges, 143926 markings/sec, 615 secs
lola: 95894706 markings, 646450673 edges, 149970 markings/sec, 620 secs
lola: 96653933 markings, 651537214 edges, 151845 markings/sec, 625 secs
lola: 97365789 markings, 656567248 edges, 142371 markings/sec, 630 secs
lola: 98015819 markings, 661432616 edges, 130006 markings/sec, 635 secs
lola: 98679741 markings, 666303182 edges, 132784 markings/sec, 640 secs
lola: 99325597 markings, 671154892 edges, 129171 markings/sec, 645 secs
lola: 99965925 markings, 675958365 edges, 128066 markings/sec, 650 secs
lola: 100606303 markings, 680768845 edges, 128076 markings/sec, 655 secs
lola: 101235296 markings, 685555923 edges, 125799 markings/sec, 660 secs
lola: 101864816 markings, 690327330 edges, 125904 markings/sec, 665 secs
lola: 102506780 markings, 695149919 edges, 128393 markings/sec, 670 secs
lola: 103148298 markings, 699964363 edges, 128304 markings/sec, 675 secs
lola: 103765019 markings, 704705940 edges, 123344 markings/sec, 680 secs
lola: 104406982 markings, 709528596 edges, 128393 markings/sec, 685 secs
lola: 105050888 markings, 714413310 edges, 128781 markings/sec, 690 secs
lola: 105760932 markings, 719389600 edges, 142009 markings/sec, 695 secs
lola: 106410111 markings, 724210888 edges, 129836 markings/sec, 700 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no no unknown no unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 706 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (F (((1 <= p9) AND (1 <= p10)))) OR G ((X (F ((G ((1 <= p16)) AND ((1 <= p8) AND (1 <= p30))))) AND (1 <= p16))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F (((1 <= p9) AND (1 <= p10)))) OR G ((X (F ((G ((1 <= p16)) AND ((1 <= p8) AND (1 <= p30))))) AND (1 <= p16))))))
lola: processed formula length: 124
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 630 markings, 630 edges
lola: ========================================
lola: subprocess 7 will run for 942 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G (((1 <= p15) AND (30 <= p27)))) AND (F (((p8 <= 0) OR (p29 <= 19))) OR ((p8 <= 0) OR (p29 <= 19))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 942 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p8 <= 0) OR (p29 <= 19))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: ((p8 <= 0) OR (p29 <= 19))
lola: processed formula length: 26
lola: 56 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 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 8 will run for 1413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((1 <= p15) AND (30 <= p27))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((1 <= p15) AND (30 <= p27))))
lola: processed formula length: 36
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 290 markings, 290 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 1413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (G (((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69)))) AND ((1 <= p11) AND ((1 <= p12) AND (70 <= p31)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (G (((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69)))) AND ((1 <= p11) AND ((1 <= p12) AND (70 <= p31)))))
lola: processed formula length: 107
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 746837 markings, 5543493 edges, 149367 markings/sec, 0 secs
lola: 1455416 markings, 11319956 edges, 141716 markings/sec, 5 secs
lola: 2127020 markings, 16936077 edges, 134321 markings/sec, 10 secs
lola: 2801708 markings, 22501118 edges, 134938 markings/sec, 15 secs
lola: 3475550 markings, 28092087 edges, 134768 markings/sec, 20 secs
lola: 4121120 markings, 33591441 edges, 129114 markings/sec, 25 secs
lola: 4763338 markings, 39130157 edges, 128444 markings/sec, 30 secs
lola: 5369923 markings, 44551225 edges, 121317 markings/sec, 35 secs
lola: 5994094 markings, 50026244 edges, 124834 markings/sec, 40 secs
lola: 6605919 markings, 55476284 edges, 122365 markings/sec, 45 secs
lola: 7191007 markings, 60814294 edges, 117018 markings/sec, 50 secs
lola: 7821521 markings, 66274447 edges, 126103 markings/sec, 55 secs
lola: 8445636 markings, 71731545 edges, 124823 markings/sec, 60 secs
lola: 9063861 markings, 77117772 edges, 123645 markings/sec, 65 secs
lola: 9730222 markings, 82542217 edges, 133272 markings/sec, 70 secs
lola: 10346492 markings, 87861488 edges, 123254 markings/sec, 75 secs
lola: 10931186 markings, 93091019 edges, 116939 markings/sec, 80 secs
lola: 11494402 markings, 98285158 edges, 112643 markings/sec, 85 secs
lola: 12052814 markings, 103479182 edges, 111682 markings/sec, 90 secs
lola: 12667283 markings, 108821405 edges, 122894 markings/sec, 95 secs
lola: 13296606 markings, 114248296 edges, 125865 markings/sec, 100 secs
lola: 13888514 markings, 119533962 edges, 118382 markings/sec, 105 secs
lola: 14447570 markings, 124691855 edges, 111811 markings/sec, 110 secs
lola: 14981705 markings, 129754102 edges, 106827 markings/sec, 115 secs
lola: 15517374 markings, 134822469 edges, 107134 markings/sec, 120 secs
lola: 16076064 markings, 139898661 edges, 111738 markings/sec, 125 secs
lola: 16581935 markings, 144835889 edges, 101174 markings/sec, 130 secs
lola: 17192647 markings, 150165624 edges, 122142 markings/sec, 135 secs
lola: 17770779 markings, 155350696 edges, 115626 markings/sec, 140 secs
lola: 18328123 markings, 160438899 edges, 111469 markings/sec, 145 secs
lola: 18865366 markings, 165461154 edges, 107449 markings/sec, 150 secs
lola: 19402605 markings, 170492207 edges, 107448 markings/sec, 155 secs
lola: 19951784 markings, 175492216 edges, 109836 markings/sec, 160 secs
lola: 20457652 markings, 180375938 edges, 101174 markings/sec, 165 secs
lola: 21012520 markings, 185429296 edges, 110974 markings/sec, 170 secs
lola: 21606775 markings, 190635511 edges, 118851 markings/sec, 175 secs
lola: 22150287 markings, 195690609 edges, 108702 markings/sec, 180 secs
lola: 22713069 markings, 200814022 edges, 112556 markings/sec, 185 secs
lola: 23303446 markings, 205997348 edges, 118075 markings/sec, 190 secs
lola: 23871946 markings, 211029879 edges, 113700 markings/sec, 195 secs
lola: 24417686 markings, 216009390 edges, 109148 markings/sec, 200 secs
lola: 25033390 markings, 221095441 edges, 123141 markings/sec, 205 secs
lola: 25627130 markings, 226194195 edges, 118748 markings/sec, 210 secs
lola: 26200528 markings, 231191030 edges, 114680 markings/sec, 215 secs
lola: 26729539 markings, 236104783 edges, 105802 markings/sec, 220 secs
lola: 27267723 markings, 240900693 edges, 107637 markings/sec, 225 secs
lola: 27766686 markings, 245651795 edges, 99793 markings/sec, 230 secs
lola: 28330249 markings, 250710081 edges, 112713 markings/sec, 235 secs
lola: 28830149 markings, 255558286 edges, 99980 markings/sec, 240 secs
lola: 29361177 markings, 260561826 edges, 106206 markings/sec, 245 secs
lola: 29866428 markings, 265454690 edges, 101050 markings/sec, 250 secs
lola: 30387354 markings, 270377600 edges, 104185 markings/sec, 255 secs
lola: 30908553 markings, 275363735 edges, 104240 markings/sec, 260 secs
lola: 31444293 markings, 280363671 edges, 107148 markings/sec, 265 secs
lola: 32076870 markings, 285668420 edges, 126515 markings/sec, 270 secs
lola: 32655309 markings, 290832984 edges, 115688 markings/sec, 275 secs
lola: 33214883 markings, 295909901 edges, 111915 markings/sec, 280 secs
lola: 33756679 markings, 300941705 edges, 108359 markings/sec, 285 secs
lola: 34301615 markings, 306005899 edges, 108987 markings/sec, 290 secs
lola: 34844871 markings, 311037355 edges, 108651 markings/sec, 295 secs
lola: 35358913 markings, 315886990 edges, 102808 markings/sec, 300 secs
lola: 35850076 markings, 320746438 edges, 98233 markings/sec, 305 secs
lola: 36397452 markings, 325811269 edges, 109475 markings/sec, 310 secs
lola: 36884453 markings, 330655406 edges, 97400 markings/sec, 315 secs
lola: 37418222 markings, 335716019 edges, 106754 markings/sec, 320 secs
lola: 37922727 markings, 340640811 edges, 100901 markings/sec, 325 secs
lola: 38470479 markings, 345724870 edges, 109550 markings/sec, 330 secs
lola: 38990713 markings, 350597242 edges, 104047 markings/sec, 335 secs
lola: 39470864 markings, 355360720 edges, 96030 markings/sec, 340 secs
lola: 39952776 markings, 360148010 edges, 96382 markings/sec, 345 secs
lola: 40434027 markings, 364999691 edges, 96250 markings/sec, 350 secs
lola: 41065781 markings, 370349138 edges, 126351 markings/sec, 355 secs
lola: 41635894 markings, 375446961 edges, 114023 markings/sec, 360 secs
lola: 42178163 markings, 380445155 edges, 108454 markings/sec, 365 secs
lola: 42703994 markings, 385397204 edges, 105166 markings/sec, 370 secs
lola: 43226040 markings, 390322900 edges, 104409 markings/sec, 375 secs
lola: 43775001 markings, 395303080 edges, 109792 markings/sec, 380 secs
lola: 44281189 markings, 400215801 edges, 101238 markings/sec, 385 secs
lola: 44826786 markings, 405383715 edges, 109119 markings/sec, 390 secs
lola: 45340360 markings, 410381563 edges, 102715 markings/sec, 395 secs
lola: 45862381 markings, 415427906 edges, 104404 markings/sec, 400 secs
lola: 46357807 markings, 420332358 edges, 99085 markings/sec, 405 secs
lola: 46906792 markings, 425434509 edges, 109797 markings/sec, 410 secs
lola: 47441464 markings, 430392758 edges, 106934 markings/sec, 415 secs
lola: 47932095 markings, 435270028 edges, 98126 markings/sec, 420 secs
lola: 48427256 markings, 440192340 edges, 99032 markings/sec, 425 secs
lola: 48937250 markings, 445176189 edges, 101999 markings/sec, 430 secs
lola: 49561893 markings, 450455556 edges, 124929 markings/sec, 435 secs
lola: 50152081 markings, 455743386 edges, 118038 markings/sec, 440 secs
lola: 50666304 markings, 460780170 edges, 102845 markings/sec, 445 secs
lola: 51218785 markings, 465914386 edges, 110496 markings/sec, 450 secs
lola: 51736131 markings, 470984168 edges, 103469 markings/sec, 455 secs
lola: 52363126 markings, 476290767 edges, 125399 markings/sec, 460 secs
lola: 52950511 markings, 481553056 edges, 117477 markings/sec, 465 secs
lola: 53552174 markings, 486765780 edges, 120333 markings/sec, 470 secs
lola: 54037516 markings, 491620197 edges, 97068 markings/sec, 475 secs
lola: 54582821 markings, 496683453 edges, 109061 markings/sec, 480 secs
lola: 55115109 markings, 501543055 edges, 106458 markings/sec, 485 secs
lola: 55704404 markings, 506497030 edges, 117859 markings/sec, 490 secs
lola: 56333317 markings, 511775281 edges, 125783 markings/sec, 495 secs
lola: 56902749 markings, 516743443 edges, 113886 markings/sec, 500 secs
lola: 57438694 markings, 521679779 edges, 107189 markings/sec, 505 secs
lola: 57979229 markings, 526583217 edges, 108107 markings/sec, 510 secs
lola: 58483849 markings, 531332852 edges, 100924 markings/sec, 515 secs
lola: 59037391 markings, 536251769 edges, 110708 markings/sec, 520 secs
lola: 59530510 markings, 541004129 edges, 98624 markings/sec, 525 secs
lola: 60039174 markings, 545848849 edges, 101733 markings/sec, 530 secs
lola: 60544715 markings, 550635103 edges, 101108 markings/sec, 535 secs
lola: 61043093 markings, 555429350 edges, 99676 markings/sec, 540 secs
lola: 61562176 markings, 560263523 edges, 103817 markings/sec, 545 secs
lola: 62051988 markings, 565023267 edges, 97962 markings/sec, 550 secs
lola: 62624987 markings, 570112834 edges, 114600 markings/sec, 555 secs
lola: 63134706 markings, 574965150 edges, 101944 markings/sec, 560 secs
lola: 63626935 markings, 579791579 edges, 98446 markings/sec, 565 secs
lola: 64099411 markings, 584544118 edges, 94495 markings/sec, 570 secs
lola: 64593923 markings, 589443489 edges, 98902 markings/sec, 575 secs
lola: 65131452 markings, 594431274 edges, 107506 markings/sec, 580 secs
lola: 65612290 markings, 599209721 edges, 96168 markings/sec, 585 secs
lola: 66099437 markings, 604057905 edges, 97429 markings/sec, 590 secs
lola: 66586046 markings, 608911281 edges, 97322 markings/sec, 595 secs
lola: 67124479 markings, 613927054 edges, 107687 markings/sec, 600 secs
lola: 67634653 markings, 618894709 edges, 102035 markings/sec, 605 secs
lola: 68173384 markings, 623941649 edges, 107746 markings/sec, 610 secs
lola: 68682728 markings, 628758921 edges, 101869 markings/sec, 615 secs
lola: 69342949 markings, 634263085 edges, 132044 markings/sec, 620 secs
lola: 69934916 markings, 639548508 edges, 118393 markings/sec, 625 secs
lola: 70498080 markings, 644731567 edges, 112633 markings/sec, 630 secs
lola: 71034659 markings, 649793862 edges, 107316 markings/sec, 635 secs
lola: 71565539 markings, 654802097 edges, 106176 markings/sec, 640 secs
lola: 72131518 markings, 659917296 edges, 113196 markings/sec, 645 secs
lola: 72634484 markings, 664792644 edges, 100593 markings/sec, 650 secs
lola: 73169549 markings, 669835877 edges, 107013 markings/sec, 655 secs
lola: 73677044 markings, 674758811 edges, 101499 markings/sec, 660 secs
lola: 74185859 markings, 679704277 edges, 101763 markings/sec, 665 secs
lola: 74707054 markings, 684714440 edges, 104239 markings/sec, 670 secs
lola: 75210522 markings, 689655190 edges, 100694 markings/sec, 675 secs
lola: 75779544 markings, 694787676 edges, 113804 markings/sec, 680 secs
lola: 76274371 markings, 699587344 edges, 98965 markings/sec, 685 secs
lola: 76765872 markings, 704387383 edges, 98300 markings/sec, 690 secs
lola: 77228848 markings, 709127073 edges, 92595 markings/sec, 695 secs
lola: 77766483 markings, 714220278 edges, 107527 markings/sec, 700 secs
lola: 78281590 markings, 719208089 edges, 103021 markings/sec, 705 secs
lola: 78775776 markings, 724119157 edges, 98837 markings/sec, 710 secs
lola: 79256981 markings, 728964865 edges, 96241 markings/sec, 715 secs
lola: 79788138 markings, 734083879 edges, 106231 markings/sec, 720 secs
lola: 80305456 markings, 739105925 edges, 103464 markings/sec, 725 secs
lola: 80798353 markings, 744047864 edges, 98579 markings/sec, 730 secs
lola: 81303602 markings, 749058052 edges, 101050 markings/sec, 735 secs
lola: 81865150 markings, 754212722 edges, 112310 markings/sec, 740 secs
lola: 82375036 markings, 759081134 edges, 101977 markings/sec, 745 secs
lola: 82862375 markings, 763846073 edges, 97468 markings/sec, 750 secs
lola: 83328867 markings, 768549052 edges, 93298 markings/sec, 755 secs
lola: 83819395 markings, 773431444 edges, 98106 markings/sec, 760 secs
lola: 84285089 markings, 778221887 edges, 93139 markings/sec, 765 secs
lola: 84755287 markings, 783053216 edges, 94040 markings/sec, 770 secs
lola: 85300845 markings, 788215690 edges, 109112 markings/sec, 775 secs
lola: 85924885 markings, 793611372 edges, 124808 markings/sec, 780 secs
lola: 86504699 markings, 798798406 edges, 115963 markings/sec, 785 secs
lola: 87056459 markings, 803943998 edges, 110352 markings/sec, 790 secs
lola: 87594860 markings, 809017791 edges, 107680 markings/sec, 795 secs
lola: 88136572 markings, 814045554 edges, 108342 markings/sec, 800 secs
lola: 88669423 markings, 819005612 edges, 106570 markings/sec, 805 secs
lola: 89148902 markings, 823770986 edges, 95896 markings/sec, 810 secs
lola: 89686689 markings, 828752911 edges, 107557 markings/sec, 815 secs
lola: 90158503 markings, 833454998 edges, 94363 markings/sec, 820 secs
lola: 90681328 markings, 838423716 edges, 104565 markings/sec, 825 secs
lola: 91182998 markings, 843306054 edges, 100334 markings/sec, 830 secs
lola: 91725817 markings, 848320625 edges, 108564 markings/sec, 835 secs
lola: 92234142 markings, 853174286 edges, 101665 markings/sec, 840 secs
lola: 92719792 markings, 857920600 edges, 97130 markings/sec, 845 secs
lola: 93180112 markings, 862607314 edges, 92064 markings/sec, 850 secs
lola: 93698150 markings, 867596683 edges, 103608 markings/sec, 855 secs
lola: 94219654 markings, 872613402 edges, 104301 markings/sec, 860 secs
lola: 94718407 markings, 877570019 edges, 99751 markings/sec, 865 secs
lola: 95202617 markings, 882457428 edges, 96842 markings/sec, 870 secs
lola: 95737052 markings, 887551845 edges, 106887 markings/sec, 875 secs
lola: 96229034 markings, 892444146 edges, 98396 markings/sec, 880 secs
lola: 96714468 markings, 897308881 edges, 97087 markings/sec, 885 secs
lola: 97221491 markings, 902314632 edges, 101405 markings/sec, 890 secs
lola: 97781673 markings, 907379084 edges, 112036 markings/sec, 895 secs
lola: 98267489 markings, 912101312 edges, 97163 markings/sec, 900 secs
lola: 98712289 markings, 916502522 edges, 88960 markings/sec, 905 secs
lola: 99161574 markings, 921049153 edges, 89857 markings/sec, 910 secs
lola: 99634420 markings, 925750624 edges, 94569 markings/sec, 915 secs
lola: 100103462 markings, 930561194 edges, 93808 markings/sec, 920 secs
lola: 100571249 markings, 935375377 edges, 93557 markings/sec, 925 secs
lola: 101172685 markings, 940643667 edges, 120287 markings/sec, 930 secs
lola: 101773290 markings, 945866357 edges, 120121 markings/sec, 935 secs
lola: 102349587 markings, 951042196 edges, 115259 markings/sec, 940 secs
lola: 102903743 markings, 956232185 edges, 110831 markings/sec, 945 secs
lola: 103416146 markings, 961255191 edges, 102481 markings/sec, 950 secs
lola: 103922411 markings, 966284252 edges, 101253 markings/sec, 955 secs
lola: 104460532 markings, 971307050 edges, 107624 markings/sec, 960 secs
lola: 104948988 markings, 976244247 edges, 97691 markings/sec, 965 secs
lola: 105553249 markings, 981536856 edges, 120852 markings/sec, 970 secs
lola: 106145401 markings, 986706725 edges, 118430 markings/sec, 975 secs
lola: 106715729 markings, 991826700 edges, 114066 markings/sec, 980 secs
lola: 107265397 markings, 996877566 edges, 109934 markings/sec, 985 secs
lola: 107835325 markings, 1001873558 edges, 113986 markings/sec, 990 secs
lola: 108308489 markings, 1006649393 edges, 94633 markings/sec, 995 secs
lola: 108790719 markings, 1011469409 edges, 96446 markings/sec, 1000 secs
lola: 109308171 markings, 1016351962 edges, 103490 markings/sec, 1005 secs
lola: 109835825 markings, 1021112694 edges, 105531 markings/sec, 1010 secs
lola: 110311664 markings, 1025703966 edges, 95168 markings/sec, 1015 secs
lola: 110844189 markings, 1030475703 edges, 106505 markings/sec, 1020 secs
lola: 111428601 markings, 1035252673 edges, 116882 markings/sec, 1025 secs
lola: 112022412 markings, 1040312481 edges, 118762 markings/sec, 1030 secs
lola: 112401412 markings, 1043655650 edges, 75800 markings/sec, 1035 secs
lola: 112737842 markings, 1046604193 edges, 67286 markings/sec, 1040 secs
lola: 113094073 markings, 1049900608 edges, 71246 markings/sec, 1045 secs
lola: 113496866 markings, 1053575644 edges, 80559 markings/sec, 1050 secs
lola: 113960741 markings, 1057869503 edges, 92775 markings/sec, 1055 secs
lola: 114477931 markings, 1062514671 edges, 103438 markings/sec, 1060 secs
lola: 114978770 markings, 1067183341 edges, 100168 markings/sec, 1065 secs
lola: 115432861 markings, 1071690415 edges, 90818 markings/sec, 1070 secs
lola: 115940133 markings, 1076372390 edges, 101454 markings/sec, 1075 secs
lola: 116380480 markings, 1080658624 edges, 88069 markings/sec, 1080 secs
lola: 116724925 markings, 1083921101 edges, 68889 markings/sec, 1085 secs
lola: 117216944 markings, 1088511902 edges, 98404 markings/sec, 1090 secs
lola: 117682066 markings, 1093009745 edges, 93024 markings/sec, 1095 secs
lola: 118220845 markings, 1097800036 edges, 107756 markings/sec, 1100 secs
lola: 118719483 markings, 1102490447 edges, 99728 markings/sec, 1105 secs
lola: 119169603 markings, 1106958223 edges, 90024 markings/sec, 1110 secs
lola: 119621482 markings, 1111460116 edges, 90376 markings/sec, 1115 secs
lola: 120064409 markings, 1115911388 edges, 88585 markings/sec, 1120 secs
lola: 120578356 markings, 1120659151 edges, 102789 markings/sec, 1125 secs
lola: 121038820 markings, 1125147959 edges, 92093 markings/sec, 1130 secs
lola: 121493669 markings, 1129637892 edges, 90970 markings/sec, 1135 secs
lola: 121933720 markings, 1134064413 edges, 88010 markings/sec, 1140 secs
lola: 122403523 markings, 1138573010 edges, 93961 markings/sec, 1145 secs
lola: 122856784 markings, 1143057891 edges, 90652 markings/sec, 1150 secs
lola: 123370189 markings, 1147748705 edges, 102681 markings/sec, 1155 secs
lola: 123779919 markings, 1151761742 edges, 81946 markings/sec, 1160 secs
lola: 124279505 markings, 1156456187 edges, 99917 markings/sec, 1165 secs
lola: 124808497 markings, 1161240816 edges, 105798 markings/sec, 1170 secs
lola: 125277088 markings, 1165782199 edges, 93718 markings/sec, 1175 secs
lola: 125727039 markings, 1170245945 edges, 89990 markings/sec, 1180 secs
lola: 126168064 markings, 1174706695 edges, 88205 markings/sec, 1185 secs
lola: 126633885 markings, 1179293139 edges, 93164 markings/sec, 1190 secs
lola: 127068287 markings, 1183793617 edges, 86880 markings/sec, 1195 secs
lola: 127510025 markings, 1188344029 edges, 88348 markings/sec, 1200 secs
lola: 128008124 markings, 1193104009 edges, 99620 markings/sec, 1205 secs
lola: 128502929 markings, 1197797971 edges, 98961 markings/sec, 1210 secs
lola: 128960099 markings, 1202310750 edges, 91434 markings/sec, 1215 secs
lola: 129411291 markings, 1206826930 edges, 90238 markings/sec, 1220 secs
lola: 129857626 markings, 1211315995 edges, 89267 markings/sec, 1225 secs
lola: 130305961 markings, 1215865930 edges, 89667 markings/sec, 1230 secs
lola: 130743802 markings, 1220368634 edges, 87568 markings/sec, 1235 secs
lola: 131215905 markings, 1225036169 edges, 94421 markings/sec, 1240 secs
lola: 131724962 markings, 1229785585 edges, 101811 markings/sec, 1245 secs
lola: 132185032 markings, 1234417508 edges, 92014 markings/sec, 1250 secs
lola: 132685870 markings, 1239197804 edges, 100168 markings/sec, 1255 secs
lola: 133210625 markings, 1244019190 edges, 104951 markings/sec, 1260 secs
lola: 133655588 markings, 1248551120 edges, 88993 markings/sec, 1265 secs
lola: 134131666 markings, 1252982673 edges, 95216 markings/sec, 1270 secs
lola: 134759560 markings, 1258196630 edges, 125579 markings/sec, 1275 secs
lola: 135311941 markings, 1263181996 edges, 110476 markings/sec, 1280 secs
lola: 135848249 markings, 1268111002 edges, 107262 markings/sec, 1285 secs
lola: 136378474 markings, 1273062966 edges, 106045 markings/sec, 1290 secs
lola: 136916487 markings, 1278049424 edges, 107603 markings/sec, 1295 secs
lola: 137451005 markings, 1282923106 edges, 106904 markings/sec, 1300 secs
lola: 137943499 markings, 1287629727 edges, 98499 markings/sec, 1305 secs
lola: 138431943 markings, 1292391576 edges, 97689 markings/sec, 1310 secs
lola: 138943963 markings, 1297176279 edges, 102404 markings/sec, 1315 secs
lola: 139047491 markings, 1298218230 edges, 20706 markings/sec, 1320 secs
lola: 139077014 markings, 1298493257 edges, 5905 markings/sec, 1325 secs
lola: 139079320 markings, 1298516872 edges, 461 markings/sec, 1330 secs
lola: 139079339 markings, 1298517068 edges, 4 markings/sec, 1335 secs
lola: 139082800 markings, 1298552200 edges, 692 markings/sec, 1340 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 1476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (((1 <= p9) AND (1 <= p10))) AND ((1 <= p3) AND (1 <= p23)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (((1 <= p9) AND (1 <= p10))) AND ((1 <= p3) AND (1 <= p23)))))
lola: processed formula length: 71
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 281 markings, 281 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (G ((X ((p24 <= 0)) OR (p20 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((X ((p24 <= 0)) OR (p20 <= 0))))
lola: processed formula length: 38
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1043511 markings, 5648112 edges, 208702 markings/sec, 0 secs
lola: 2034744 markings, 11276450 edges, 198247 markings/sec, 5 secs
lola: 2984668 markings, 16829207 edges, 189985 markings/sec, 10 secs
lola: 3915842 markings, 22183469 edges, 186235 markings/sec, 15 secs
lola: 4838012 markings, 27558532 edges, 184434 markings/sec, 20 secs
lola: 5782597 markings, 33086641 edges, 188917 markings/sec, 25 secs
lola: 6700999 markings, 38462452 edges, 183680 markings/sec, 30 secs
lola: 7630715 markings, 43906392 edges, 185943 markings/sec, 35 secs
lola: 8569548 markings, 49405115 edges, 187767 markings/sec, 40 secs
lola: 9485664 markings, 54886886 edges, 183223 markings/sec, 45 secs
lola: 10422022 markings, 60366591 edges, 187272 markings/sec, 50 secs
lola: 11344206 markings, 65897001 edges, 184437 markings/sec, 55 secs
lola: 12174969 markings, 71339219 edges, 166153 markings/sec, 60 secs
lola: 12991332 markings, 76683489 edges, 163273 markings/sec, 65 secs
lola: 13782005 markings, 81972748 edges, 158135 markings/sec, 70 secs
lola: 14581488 markings, 87299326 edges, 159897 markings/sec, 75 secs
lola: 15373617 markings, 92582094 edges, 158426 markings/sec, 80 secs
lola: 16154235 markings, 97829737 edges, 156124 markings/sec, 85 secs
lola: 16947906 markings, 103141195 edges, 158734 markings/sec, 90 secs
lola: 17703125 markings, 108181168 edges, 151044 markings/sec, 95 secs
lola: 18443051 markings, 113119884 edges, 147985 markings/sec, 100 secs
lola: 19203513 markings, 118271836 edges, 152092 markings/sec, 105 secs
lola: 19967568 markings, 123427339 edges, 152811 markings/sec, 110 secs
lola: 20738778 markings, 128580330 edges, 154242 markings/sec, 115 secs
lola: 21518123 markings, 133861340 edges, 155869 markings/sec, 120 secs
lola: 22407959 markings, 139392788 edges, 177967 markings/sec, 125 secs
lola: 23216574 markings, 144687226 edges, 161723 markings/sec, 130 secs
lola: 24011493 markings, 149979637 edges, 158984 markings/sec, 135 secs
lola: 24817847 markings, 155273011 edges, 161271 markings/sec, 140 secs
lola: 25592238 markings, 160447676 edges, 154878 markings/sec, 145 secs
lola: 26374293 markings, 165677174 edges, 156411 markings/sec, 150 secs
lola: 27159406 markings, 170927123 edges, 157023 markings/sec, 155 secs
lola: 27924939 markings, 176109516 edges, 153107 markings/sec, 160 secs
lola: 28686731 markings, 181249612 edges, 152358 markings/sec, 165 secs
lola: 29449018 markings, 186338895 edges, 152457 markings/sec, 170 secs
lola: 30280718 markings, 191663962 edges, 166340 markings/sec, 175 secs
lola: 31118059 markings, 197029328 edges, 167468 markings/sec, 180 secs
lola: 31911280 markings, 202302124 edges, 158644 markings/sec, 185 secs
lola: 32691563 markings, 207432197 edges, 156057 markings/sec, 190 secs
lola: 33452600 markings, 212514671 edges, 152207 markings/sec, 195 secs
lola: 34216201 markings, 217613898 edges, 152720 markings/sec, 200 secs
lola: 34984560 markings, 222748184 edges, 153672 markings/sec, 205 secs
lola: 35749710 markings, 227861859 edges, 153030 markings/sec, 210 secs
lola: 36515270 markings, 232983387 edges, 153112 markings/sec, 215 secs
lola: 37262796 markings, 238089678 edges, 149505 markings/sec, 220 secs
lola: 38018896 markings, 243136913 edges, 151220 markings/sec, 225 secs
lola: 38785187 markings, 248258233 edges, 153258 markings/sec, 230 secs
lola: 39558049 markings, 253469476 edges, 154572 markings/sec, 235 secs
lola: 40318734 markings, 258628949 edges, 152137 markings/sec, 240 secs
lola: 41104837 markings, 263939837 edges, 157221 markings/sec, 245 secs
lola: 41808827 markings, 269054987 edges, 140798 markings/sec, 250 secs
lola: 42477885 markings, 274039410 edges, 133812 markings/sec, 255 secs
lola: 43145127 markings, 279047604 edges, 133448 markings/sec, 260 secs
lola: 43811992 markings, 284063477 edges, 133373 markings/sec, 265 secs
lola: 44473881 markings, 289032127 edges, 132378 markings/sec, 270 secs
lola: 45138220 markings, 294022721 edges, 132868 markings/sec, 275 secs
lola: 45802256 markings, 299017501 edges, 132807 markings/sec, 280 secs
lola: 46468862 markings, 304020146 edges, 133321 markings/sec, 285 secs
lola: 47122942 markings, 309009194 edges, 130816 markings/sec, 290 secs
lola: 47769582 markings, 313913563 edges, 129328 markings/sec, 295 secs
lola: 48436128 markings, 318913961 edges, 133309 markings/sec, 300 secs
lola: 49082398 markings, 323887299 edges, 129254 markings/sec, 305 secs
lola: 49928747 markings, 329181845 edges, 169270 markings/sec, 310 secs
lola: 50718090 markings, 334327920 edges, 157869 markings/sec, 315 secs
lola: 51480441 markings, 339411652 edges, 152470 markings/sec, 320 secs
lola: 52238014 markings, 344468893 edges, 151515 markings/sec, 325 secs
lola: 52998235 markings, 349531420 edges, 152044 markings/sec, 330 secs
lola: 53749506 markings, 354570428 edges, 150254 markings/sec, 335 secs
lola: 54499295 markings, 359571542 edges, 149958 markings/sec, 340 secs
lola: 55246996 markings, 364562126 edges, 149540 markings/sec, 345 secs
lola: 56097105 markings, 369894545 edges, 170022 markings/sec, 350 secs
lola: 56904056 markings, 375175147 edges, 161390 markings/sec, 355 secs
lola: 57695786 markings, 380352001 edges, 158346 markings/sec, 360 secs
lola: 58461679 markings, 385470197 edges, 153179 markings/sec, 365 secs
lola: 59230351 markings, 390603098 edges, 153734 markings/sec, 370 secs
lola: 60005897 markings, 395787229 edges, 155109 markings/sec, 375 secs
lola: 60785457 markings, 401001141 edges, 155912 markings/sec, 380 secs
lola: 61564261 markings, 406206513 edges, 155761 markings/sec, 385 secs
lola: 62336093 markings, 411364611 edges, 154366 markings/sec, 390 secs
lola: 63102317 markings, 416481543 edges, 153245 markings/sec, 395 secs
lola: 63842017 markings, 421534416 edges, 147940 markings/sec, 400 secs
lola: 64605861 markings, 426637500 edges, 152769 markings/sec, 405 secs
lola: 65375019 markings, 431778170 edges, 153832 markings/sec, 410 secs
lola: 66116784 markings, 436854699 edges, 148353 markings/sec, 415 secs
lola: 66885019 markings, 442082376 edges, 153647 markings/sec, 420 secs
lola: 67572195 markings, 447126445 edges, 137435 markings/sec, 425 secs
lola: 68230401 markings, 452073402 edges, 131641 markings/sec, 430 secs
lola: 68903774 markings, 457051447 edges, 134675 markings/sec, 435 secs
lola: 69564299 markings, 461994926 edges, 132105 markings/sec, 440 secs
lola: 70215283 markings, 466932052 edges, 130197 markings/sec, 445 secs
lola: 70859866 markings, 471819659 edges, 128917 markings/sec, 450 secs
lola: 71517696 markings, 476761590 edges, 131566 markings/sec, 455 secs
lola: 72171671 markings, 481673692 edges, 130795 markings/sec, 460 secs
lola: 72828563 markings, 486606142 edges, 131378 markings/sec, 465 secs
lola: 73454435 markings, 491427286 edges, 125174 markings/sec, 470 secs
lola: 74110829 markings, 496348243 edges, 131279 markings/sec, 475 secs
lola: 74753463 markings, 501268916 edges, 128527 markings/sec, 480 secs
lola: 75467603 markings, 506273001 edges, 142828 markings/sec, 485 secs
lola: 76117429 markings, 511069183 edges, 129965 markings/sec, 490 secs
lola: 76761845 markings, 515851271 edges, 128883 markings/sec, 495 secs
lola: 77410256 markings, 520650170 edges, 129682 markings/sec, 500 secs
lola: 78046285 markings, 525424299 edges, 127206 markings/sec, 505 secs
lola: 78670629 markings, 530161241 edges, 124869 markings/sec, 510 secs
lola: 79287536 markings, 534860037 edges, 123381 markings/sec, 515 secs
lola: 79920515 markings, 539609661 edges, 126596 markings/sec, 520 secs
lola: 80554139 markings, 544364209 edges, 126725 markings/sec, 525 secs
lola: 81181398 markings, 549138922 edges, 125452 markings/sec, 530 secs
lola: 82012498 markings, 554279459 edges, 166220 markings/sec, 535 secs
lola: 82779751 markings, 559285177 edges, 153451 markings/sec, 540 secs
lola: 83521697 markings, 564239653 edges, 148389 markings/sec, 545 secs
lola: 84268486 markings, 569228891 edges, 149358 markings/sec, 550 secs
lola: 85018372 markings, 574210513 edges, 149977 markings/sec, 555 secs
lola: 85759213 markings, 579183210 edges, 148168 markings/sec, 560 secs
lola: 86622841 markings, 584482376 edges, 172726 markings/sec, 565 secs
lola: 87410470 markings, 589625868 edges, 157526 markings/sec, 570 secs
lola: 88158948 markings, 594632800 edges, 149696 markings/sec, 575 secs
lola: 88907277 markings, 599624320 edges, 149666 markings/sec, 580 secs
lola: 89663967 markings, 604654654 edges, 151338 markings/sec, 585 secs
lola: 90416784 markings, 609703861 edges, 150563 markings/sec, 590 secs
lola: 91165890 markings, 614711390 edges, 149821 markings/sec, 595 secs
lola: 91920045 markings, 619746154 edges, 150831 markings/sec, 600 secs
lola: 92668753 markings, 624746282 edges, 149742 markings/sec, 605 secs
lola: 93416339 markings, 629740287 edges, 149517 markings/sec, 610 secs
lola: 94138866 markings, 634684533 edges, 144505 markings/sec, 615 secs
lola: 94875923 markings, 639598851 edges, 147411 markings/sec, 620 secs
lola: 95614952 markings, 644538806 edges, 147806 markings/sec, 625 secs
lola: 96322729 markings, 649377697 edges, 141555 markings/sec, 630 secs
lola: 97065410 markings, 654390294 edges, 148536 markings/sec, 635 secs
lola: 97730071 markings, 659242342 edges, 132932 markings/sec, 640 secs
lola: 98374098 markings, 664070171 edges, 128805 markings/sec, 645 secs
lola: 99015906 markings, 668887255 edges, 128362 markings/sec, 650 secs
lola: 99657051 markings, 673699602 edges, 128229 markings/sec, 655 secs
lola: 100297957 markings, 678512427 edges, 128181 markings/sec, 660 secs
lola: 100940675 markings, 683337944 edges, 128544 markings/sec, 665 secs
lola: 101582547 markings, 688155435 edges, 128374 markings/sec, 670 secs
lola: 102219729 markings, 692938330 edges, 127436 markings/sec, 675 secs
lola: 102827538 markings, 697612638 edges, 121562 markings/sec, 680 secs
lola: 103454736 markings, 702315534 edges, 125440 markings/sec, 685 secs
lola: 104086943 markings, 707058455 edges, 126441 markings/sec, 690 secs
lola: 104686604 markings, 711679317 edges, 119932 markings/sec, 695 secs
lola: 105368675 markings, 716560964 edges, 136414 markings/sec, 700 secs
lola: 106013851 markings, 721286097 edges, 129035 markings/sec, 705 secs
lola: 106650440 markings, 725942734 edges, 127318 markings/sec, 710 secs
lola: 107267511 markings, 730568273 edges, 123414 markings/sec, 715 secs
lola: 107883527 markings, 735185052 edges, 123203 markings/sec, 720 secs
lola: 108498385 markings, 739799514 edges, 122972 markings/sec, 725 secs
lola: 109118785 markings, 744454921 edges, 124080 markings/sec, 730 secs
lola: 109733977 markings, 749087577 edges, 123038 markings/sec, 735 secs
lola: 110336542 markings, 753697345 edges, 120513 markings/sec, 740 secs
lola: 110958026 markings, 758365519 edges, 124297 markings/sec, 745 secs
lola: 111610251 markings, 763119814 edges, 130445 markings/sec, 750 secs
lola: 112294367 markings, 768045725 edges, 136823 markings/sec, 755 secs
lola: 112956512 markings, 772929367 edges, 132429 markings/sec, 760 secs
lola: 113569578 markings, 777489787 edges, 122613 markings/sec, 765 secs
lola: 114159258 markings, 781907349 edges, 117936 markings/sec, 770 secs
lola: 114800369 markings, 786719384 edges, 128222 markings/sec, 775 secs
lola: 115444886 markings, 791558220 edges, 128903 markings/sec, 780 secs
lola: 116080188 markings, 796398743 edges, 127060 markings/sec, 785 secs
lola: 116916148 markings, 801575004 edges, 167192 markings/sec, 790 secs
lola: 117626841 markings, 806205741 edges, 142139 markings/sec, 795 secs
lola: 118263425 markings, 810426894 edges, 127317 markings/sec, 800 secs
lola: 118999246 markings, 815334068 edges, 147164 markings/sec, 805 secs
lola: 119493303 markings, 818392244 edges, 98811 markings/sec, 810 secs
lola: 119861689 markings, 820751781 edges, 73677 markings/sec, 815 secs
lola: 120296550 markings, 823564158 edges, 86972 markings/sec, 820 secs
lola: 120669858 markings, 826038966 edges, 74662 markings/sec, 825 secs
lola: 121018673 markings, 828309324 edges, 69763 markings/sec, 830 secs
lola: 121477422 markings, 831320694 edges, 91750 markings/sec, 835 secs
lola: 121878134 markings, 833937982 edges, 80142 markings/sec, 840 secs
lola: 122320909 markings, 836968697 edges, 88555 markings/sec, 845 secs
lola: 122831939 markings, 840343656 edges, 102206 markings/sec, 850 secs
lola: 123214727 markings, 842837681 edges, 76558 markings/sec, 855 secs
lola: 123660089 markings, 845884884 edges, 89072 markings/sec, 860 secs
lola: 124080131 markings, 848638352 edges, 84008 markings/sec, 865 secs
lola: 124499908 markings, 851508562 edges, 83955 markings/sec, 870 secs
lola: 124871054 markings, 853927278 edges, 74229 markings/sec, 875 secs
lola: 125291120 markings, 856801494 edges, 84013 markings/sec, 880 secs
lola: 125814483 markings, 860256276 edges, 104673 markings/sec, 885 secs
lola: 126258588 markings, 863294845 edges, 88821 markings/sec, 890 secs
lola: 126723319 markings, 866352984 edges, 92946 markings/sec, 895 secs
lola: 127126405 markings, 869110417 edges, 80617 markings/sec, 900 secs
lola: 127591727 markings, 872290888 edges, 93064 markings/sec, 905 secs
lola: 128071633 markings, 875450867 edges, 95981 markings/sec, 910 secs
lola: 128478858 markings, 878240289 edges, 81445 markings/sec, 915 secs
lola: 128850350 markings, 880697315 edges, 74298 markings/sec, 920 secs
lola: 129367861 markings, 884199012 edges, 103502 markings/sec, 925 secs
lola: 129758438 markings, 886865009 edges, 78115 markings/sec, 930 secs
lola: 130281487 markings, 890326109 edges, 104610 markings/sec, 935 secs
lola: 130804744 markings, 894087366 edges, 104651 markings/sec, 940 secs
lola: 131199483 markings, 897006660 edges, 78948 markings/sec, 945 secs
lola: 131647261 markings, 900329436 edges, 89556 markings/sec, 950 secs
lola: 132117075 markings, 903824625 edges, 93963 markings/sec, 955 secs
lola: 132555821 markings, 907146123 edges, 87749 markings/sec, 960 secs
lola: 132997085 markings, 910471243 edges, 88253 markings/sec, 965 secs
lola: 133480408 markings, 914070072 edges, 96665 markings/sec, 970 secs
lola: 134022827 markings, 918125976 edges, 108484 markings/sec, 975 secs
lola: 134464343 markings, 921520533 edges, 88303 markings/sec, 980 secs
lola: 135018256 markings, 925667921 edges, 110783 markings/sec, 985 secs
lola: 135544971 markings, 929627358 edges, 105343 markings/sec, 990 secs
lola: 135955784 markings, 932752699 edges, 82163 markings/sec, 995 secs
lola: 136452613 markings, 936493286 edges, 99366 markings/sec, 1000 secs
lola: 136945769 markings, 940248435 edges, 98631 markings/sec, 1005 secs
lola: 137307628 markings, 943035545 edges, 72372 markings/sec, 1010 secs
lola: 137527930 markings, 944611179 edges, 44060 markings/sec, 1015 secs
lola: 137760254 markings, 946403730 edges, 46465 markings/sec, 1020 secs
lola: 138092155 markings, 948953056 edges, 66380 markings/sec, 1025 secs
lola: 138488256 markings, 951902786 edges, 79220 markings/sec, 1030 secs
lola: 138660834 markings, 953042541 edges, 34516 markings/sec, 1035 secs
lola: 138803616 markings, 954064325 edges, 28556 markings/sec, 1040 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: F ((F (G (((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69)))) AND ((1 <= p11) AND ((1 <= p12) AND (70 <= p31)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (G (((p11 <= 0) OR (p12 <= 0) OR (p31 <= 69)))) AND ((1 <= p11) AND ((1 <= p12) AND (70 <= p31)))))
lola: processed formula length: 107
lola: 55 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 785824 markings, 5861513 edges, 157165 markings/sec, 0 secs
lola: 1480549 markings, 11535854 edges, 138945 markings/sec, 5 secs
lola: 2153853 markings, 17172320 edges, 134661 markings/sec, 10 secs
lola: 2840137 markings, 22759065 edges, 137257 markings/sec, 15 secs
lola: 3495596 markings, 28268780 edges, 131092 markings/sec, 20 secs
lola: 4139682 markings, 33737871 edges, 128817 markings/sec, 25 secs
lola: 4769324 markings, 39184149 edges, 125928 markings/sec, 30 secs
lola: 5360938 markings, 44466797 edges, 118323 markings/sec, 35 secs
lola: 5964169 markings, 49788438 edges, 120646 markings/sec, 40 secs
lola: 6566968 markings, 55105542 edges, 120560 markings/sec, 45 secs
lola: 7137613 markings, 60289528 edges, 114129 markings/sec, 50 secs
lola: 7748888 markings, 65607132 edges, 122255 markings/sec, 55 secs
lola: 8349156 markings, 70928647 edges, 120054 markings/sec, 60 secs
lola: 8966054 markings, 76216029 edges, 123380 markings/sec, 65 secs
lola: 9593519 markings, 81455640 edges, 125493 markings/sec, 70 secs
lola: 10205007 markings, 86680277 edges, 122298 markings/sec, 75 secs
lola: 10794313 markings, 91800566 edges, 117861 markings/sec, 80 secs
lola: 11339229 markings, 96823362 edges, 108983 markings/sec, 85 secs
lola: 11876297 markings, 101815959 edges, 107414 markings/sec, 90 secs
lola: 12426006 markings, 106884287 edges, 109942 markings/sec, 95 secs
lola: 13067154 markings, 112212296 edges, 128230 markings/sec, 100 secs
lola: 13638283 markings, 117366737 edges, 114226 markings/sec, 105 secs
lola: 14191788 markings, 122426448 edges, 110701 markings/sec, 110 secs
lola: 14734277 markings, 127463331 edges, 108498 markings/sec, 115 secs
lola: 15262280 markings, 132361199 edges, 105601 markings/sec, 120 secs
lola: 15815684 markings, 137434964 edges, 110681 markings/sec, 125 secs
lola: 16331476 markings, 142364734 edges, 103158 markings/sec, 130 secs
lola: 16877502 markings, 147515962 edges, 109205 markings/sec, 135 secs
lola: 17464743 markings, 152581370 edges, 117448 markings/sec, 140 secs
lola: 18043044 markings, 157739104 edges, 115660 markings/sec, 145 secs
lola: 18591629 markings, 162809070 edges, 109717 markings/sec, 150 secs
lola: 19124879 markings, 167850111 edges, 106650 markings/sec, 155 secs
lola: 19650953 markings, 172835729 edges, 105215 markings/sec, 160 secs
lola: 20195013 markings, 177819369 edges, 108812 markings/sec, 165 secs
lola: 20695498 markings, 182736216 edges, 100097 markings/sec, 170 secs
lola: 21321060 markings, 188085763 edges, 125112 markings/sec, 175 secs
lola: 21886164 markings, 193324061 edges, 113021 markings/sec, 180 secs
lola: 22434697 markings, 198499465 edges, 109707 markings/sec, 185 secs
lola: 23070878 markings, 203859694 edges, 127236 markings/sec, 190 secs
lola: 23674754 markings, 209087787 edges, 120775 markings/sec, 195 secs
lola: 24196585 markings, 214100064 edges, 104366 markings/sec, 200 secs
lola: 24780136 markings, 219141992 edges, 116710 markings/sec, 205 secs
lola: 25430684 markings, 224474437 edges, 130110 markings/sec, 210 secs
lola: 26016154 markings, 229556375 edges, 117094 markings/sec, 215 secs
lola: 26558919 markings, 234544246 edges, 108553 markings/sec, 220 secs
lola: 27103199 markings, 239487511 edges, 108856 markings/sec, 225 secs
lola: 27622866 markings, 244353009 edges, 103933 markings/sec, 230 secs
lola: 28183327 markings, 249328927 edges, 112092 markings/sec, 235 secs
lola: 28680195 markings, 254131920 edges, 99374 markings/sec, 240 secs
lola: 29199656 markings, 259074694 edges, 103892 markings/sec, 245 secs
lola: 29716780 markings, 263966835 edges, 103425 markings/sec, 250 secs
lola: 30216177 markings, 268832004 edges, 99879 markings/sec, 255 secs
lola: 30731835 markings, 273790844 edges, 103132 markings/sec, 260 secs
lola: 31280406 markings, 278808067 edges, 109714 markings/sec, 265 secs
lola: 31873048 markings, 283939479 edges, 118528 markings/sec, 270 secs
lola: 32475852 markings, 289201062 edges, 120561 markings/sec, 275 secs
lola: 33044572 markings, 294296987 edges, 113744 markings/sec, 280 secs
lola: 33583987 markings, 299305365 edges, 107883 markings/sec, 285 secs
lola: 34119209 markings, 304326630 edges, 107044 markings/sec, 290 secs
lola: 34649723 markings, 309359854 edges, 106103 markings/sec, 295 secs
lola: 35193451 markings, 314318791 edges, 108746 markings/sec, 300 secs
lola: 35686626 markings, 319137514 edges, 98635 markings/sec, 305 secs
lola: 36227403 markings, 324191565 edges, 108155 markings/sec, 310 secs
lola: 36731690 markings, 329090857 edges, 100857 markings/sec, 315 secs
lola: 37250447 markings, 334099441 edges, 103751 markings/sec, 320 secs
lola: 37750326 markings, 339001728 edges, 99976 markings/sec, 325 secs
lola: 38274656 markings, 344038058 edges, 104866 markings/sec, 330 secs
lola: 38829267 markings, 349070811 edges, 110922 markings/sec, 335 secs
lola: 39320806 markings, 353852083 edges, 98308 markings/sec, 340 secs
lola: 39801147 markings, 358605631 edges, 96068 markings/sec, 345 secs
lola: 40276920 markings, 363413685 edges, 95155 markings/sec, 350 secs
lola: 40877534 markings, 368698186 edges, 120123 markings/sec, 355 secs
lola: 41469543 markings, 373986540 edges, 118402 markings/sec, 360 secs
lola: 42031375 markings, 379120677 edges, 112366 markings/sec, 365 secs
lola: 42572290 markings, 384176497 edges, 108183 markings/sec, 370 secs
lola: 43114648 markings, 389255228 edges, 108472 markings/sec, 375 secs
lola: 43673865 markings, 394365064 edges, 111843 markings/sec, 380 secs
lola: 44184707 markings, 399297628 edges, 102168 markings/sec, 385 secs
lola: 44726342 markings, 404423240 edges, 108327 markings/sec, 390 secs
lola: 45249864 markings, 409480613 edges, 104704 markings/sec, 395 secs
lola: 45771524 markings, 414557779 edges, 104332 markings/sec, 400 secs
lola: 46280490 markings, 419524064 edges, 101793 markings/sec, 405 secs
lola: 46810299 markings, 424601967 edges, 105962 markings/sec, 410 secs
lola: 47358561 markings, 429645869 edges, 109652 markings/sec, 415 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no no unknown no unknown no no
lola:
preliminary result: no no no no no unknown no unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no unknown no unknown no no
lola: memory consumption: 6835768 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no unknown no unknown no no
lola: memory consumption: 6835768 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPPP-PT-C0010N0000000100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is GPPP-PT-C0010N0000000100, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987815900474"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/GPPP-PT-C0010N0000000100.tgz
mv GPPP-PT-C0010N0000000100 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;