About the Execution of ITS-LoLa for FMS-PT-00100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15796.180 | 3600000.00 | 3414378.00 | 116837.20 | ??T??TFT????FFFT | 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-158987815300044.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 FMS-PT-00100, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815300044
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.4K Apr 1 20:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 1 20:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 1 13:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 1 13:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 1 10:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 1 10:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 1 06:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 1 06:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 1 13:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 1 13:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 16K 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 FMS-PT-00100-CTLFireability-00
FORMULA_NAME FMS-PT-00100-CTLFireability-01
FORMULA_NAME FMS-PT-00100-CTLFireability-02
FORMULA_NAME FMS-PT-00100-CTLFireability-03
FORMULA_NAME FMS-PT-00100-CTLFireability-04
FORMULA_NAME FMS-PT-00100-CTLFireability-05
FORMULA_NAME FMS-PT-00100-CTLFireability-06
FORMULA_NAME FMS-PT-00100-CTLFireability-07
FORMULA_NAME FMS-PT-00100-CTLFireability-08
FORMULA_NAME FMS-PT-00100-CTLFireability-09
FORMULA_NAME FMS-PT-00100-CTLFireability-10
FORMULA_NAME FMS-PT-00100-CTLFireability-11
FORMULA_NAME FMS-PT-00100-CTLFireability-12
FORMULA_NAME FMS-PT-00100-CTLFireability-13
FORMULA_NAME FMS-PT-00100-CTLFireability-14
FORMULA_NAME FMS-PT-00100-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591135177587
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-02 21:59:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-02 21:59:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-02 21:59:40] [INFO ] Load time of PNML (sax parser for PT used): 57 ms
[2020-06-02 21:59:40] [INFO ] Transformed 22 places.
[2020-06-02 21:59:40] [INFO ] Transformed 20 transitions.
[2020-06-02 21:59:40] [INFO ] Parsed PT model containing 22 places and 20 transitions in 135 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 28 ms.
Finished random walk after 2670 steps, including 0 resets, run visited all 35 properties in 17 ms. (steps per millisecond=157 )
[2020-06-02 21:59:40] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-02 21:59:40] [INFO ] Flatten gal took : 50 ms
[2020-06-02 21:59:40] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-02 21:59:40] [INFO ] Flatten gal took : 12 ms
FORMULA FMS-PT-00100-CTLFireability-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FMS-PT-00100-CTLFireability-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-02 21:59:40] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 6 ms.
[2020-06-02 21:59:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ FMS-PT-00100 @ 3570 seconds
FORMULA FMS-PT-00100-CTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-00100-CTLFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-00100-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-00100-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-00100-CTLFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-00100-CTLFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-00100-CTLFireability-01 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for CTLFireability @ FMS-PT-00100
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue Jun 2 21:59:41 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(p20 <= 0)",
"processed_size": 10,
"rewrites": 20
},
"result":
{
"edges": 100,
"markings": 101,
"produced_by": "state space /EXEF",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability_from_a_successor",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 277
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "EX(AX(EF(((1 <= p13) AND (1 <= p15)))))",
"processed_size": 39,
"rewrites": 21
},
"net":
{
"conflict_clusters": 17,
"singleton_clusters": 0
},
"result":
{
"edges": 628527,
"markings": 360743,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 305
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 2,
"F": 0,
"G": 2,
"U": 1,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "(E(AG((1 <= p9)) U EG(((1 <= p5) AND (1 <= p7)))) OR (((1 <= p13) AND (1 <= p15)) AND (AX((p6 <= 0)) AND (1 <= p11))))",
"processed_size": 118,
"rewrites": 22
},
"net":
{
"conflict_clusters": 17,
"singleton_clusters": 0
},
"result":
{
"edges": 102,
"markings": 101,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 339
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "AX((1 <= p16))",
"processed_size": 14,
"rewrites": 19
},
"net":
{
"conflict_clusters": 17,
"singleton_clusters": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 392
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"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": "AG(E((p1 <= 0) R (p12 <= 0)))",
"processed_size": 29,
"rewrites": 20
},
"net":
{
"conflict_clusters": 17,
"singleton_clusters": 0
},
"result":
{
"edges": 1153347,
"markings": 330041,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 498
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 3,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "(((p13 <= 0) OR (p15 <= 0)) R (G ((p14 <= 0)) OR ((1 <= p3) AND (1 <= p4))))",
"processed_size": 77,
"rewrites": 29
},
"result":
{
"edges": 2105,
"markings": 2004,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "existential single path",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 997
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 997
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"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": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (((p11 <= 0) U (1 <= p19)))",
"processed_size": 29,
"rewrites": 23
},
"result":
{
"edges": 502,
"markings": 502,
"produced_by": "state space /ER",
"value": false
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl",
"visible": 1
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "universal_until",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 8841064,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G((** OR E(F(**))))) OR (A((** U **)) OR **)) : E(X(E(F(A(G(**)))))) : E((** U (E(F(**)) AND **))) : E(F((** AND (A(G(**)) AND (** AND **))))) : E((** U (** AND E(X(**))))) : E(X(E(F(**)))) : A(G(E((* R *)))) : E(X(A(X(E(F(**)))))) : A(G((E(F(**)) OR A(F(**))))) : A(G(E(F(*)))) : E(F(A(G(**)))) : E((** U A(G(**)))) : (E((A(G(**)) U E(G(**)))) OR (** AND (A(X(*)) AND **))) : A(X(**))"
},
"net":
{
"arcs": 50,
"conflict_clusters": 17,
"places": 22,
"places_significant": 16,
"singleton_clusters": 0,
"transitions": 20
},
"result":
{
"interim_value": "unknown unknown yes unknown unknown yes no yes unknown unknown unknown unknown no no ",
"preliminary_value": "unknown unknown yes unknown unknown yes no yes unknown unknown unknown 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: 42/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 704
lola: finding significant places
lola: 22 places, 20 transitions, 16 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: ((A (G (((1 <= p0) OR E (F ((1 <= p16)))))) OR A (((p11 <= 0) U (1 <= p19)))) OR ((1 <= p8) AND (1 <= p10) AND ((1 <= p1) OR ((1 <= p5) AND (1 <= p7))))) : E (F (E (X (A (G ((1 <= p11))))))) : E ((((1 <= p13) AND (1 <= p15)) U (E (F ((1 <= p14))) AND ((p3 <= 0) OR (p4 <= 0))))) : E (F (((((1 <= p1) AND A (G ((1 <= p20)))) AND (1 <= p16)) AND ((p10 <= 0) OR (p17 <= 0))))) : E ((((p5 <= 0) OR (p7 <= 0)) U (((1 <= p10) AND (1 <= p17) AND (1 <= p6) AND (p4 <= 0)) AND E (X ((1 <= p20)))))) : E (X (E (F ((p20 <= 0))))) : NOT(E (F (A (((1 <= p1) U (1 <= p12)))))) : E (X (A (X (E (F (((1 <= p13) AND (1 <= p15)))))))) : A (G ((E (F (((1 <= p0) AND (1 <= p1)))) OR A (F ((p6 <= 0)))))) : A (G (NOT(A (G (((1 <= p13) AND (1 <= p15) AND (1 <= p10) AND (1 <= p17))))))) : E (F (A (G (((1 <= p4) OR (p5 <= 0) OR (p7 <= 0)))))) : E (((p19 <= 0) U A (G (((1 <= p3) OR ((1 <= p5) AND (1 <= p7))))))) : (E ((A (G ((1 <= p9))) U E (G (((1 <= p5) AND (1 <= p7)))))) OR ((((1 <= p13) AND (1 <= p15)) AND NOT(E (X ((1 <= p6))))) AND (1 <= p11))) : A (X ((1 <= p16)))
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G ((1 <= p11)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG((1 <= p11))))
lola: processed formula length: 22
lola: 21 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2725933 markings, 7872092 edges, 545187 markings/sec, 0 secs
lola: 5384036 markings, 15826040 edges, 531621 markings/sec, 5 secs
lola: 8110738 markings, 23925821 edges, 545340 markings/sec, 10 secs
lola: 10533351 markings, 31213393 edges, 484523 markings/sec, 15 secs
lola: 12901725 markings, 38365473 edges, 473675 markings/sec, 20 secs
lola: 15220756 markings, 45374942 edges, 463806 markings/sec, 25 secs
lola: 17669271 markings, 52745887 edges, 489703 markings/sec, 30 secs
lola: 20045201 markings, 59910398 edges, 475186 markings/sec, 35 secs
lola: 22320878 markings, 66791406 edges, 455135 markings/sec, 40 secs
lola: 24735922 markings, 74195346 edges, 483009 markings/sec, 45 secs
lola: 26963543 markings, 81159379 edges, 445524 markings/sec, 50 secs
lola: 29221543 markings, 88215634 edges, 451600 markings/sec, 55 secs
lola: 31500998 markings, 95291454 edges, 455891 markings/sec, 60 secs
lola: 33704043 markings, 102245825 edges, 440609 markings/sec, 65 secs
lola: 35878727 markings, 109142744 edges, 434937 markings/sec, 70 secs
lola: 38061111 markings, 115950693 edges, 436477 markings/sec, 75 secs
lola: 40135633 markings, 122486284 edges, 414904 markings/sec, 80 secs
lola: 42215249 markings, 128976459 edges, 415923 markings/sec, 85 secs
lola: 44355175 markings, 135770103 edges, 427985 markings/sec, 90 secs
lola: 46486832 markings, 142568747 edges, 426331 markings/sec, 95 secs
lola: 48619285 markings, 149371521 edges, 426491 markings/sec, 100 secs
lola: 50607603 markings, 155753312 edges, 397664 markings/sec, 105 secs
lola: 52745670 markings, 162505932 edges, 427613 markings/sec, 110 secs
lola: 54827814 markings, 169138691 edges, 416429 markings/sec, 115 secs
lola: 56908614 markings, 175773870 edges, 416160 markings/sec, 120 secs
lola: 58886466 markings, 182074847 edges, 395570 markings/sec, 125 secs
lola: 61042856 markings, 188899556 edges, 431278 markings/sec, 130 secs
lola: 62984458 markings, 195236469 edges, 388320 markings/sec, 135 secs
lola: 65027800 markings, 201777275 edges, 408668 markings/sec, 140 secs
lola: 66902013 markings, 207741216 edges, 374843 markings/sec, 145 secs
lola: 68912917 markings, 214242796 edges, 402181 markings/sec, 150 secs
lola: 70909916 markings, 220791105 edges, 399400 markings/sec, 155 secs
lola: 72943620 markings, 227325907 edges, 406741 markings/sec, 160 secs
lola: 74989152 markings, 233842681 edges, 409106 markings/sec, 165 secs
lola: 76946455 markings, 240179341 edges, 391461 markings/sec, 170 secs
lola: 78930053 markings, 246594005 edges, 396720 markings/sec, 175 secs
lola: 80886871 markings, 252913163 edges, 391364 markings/sec, 180 secs
lola: 82827060 markings, 259216622 edges, 388038 markings/sec, 185 secs
lola: 84880613 markings, 265824150 edges, 410711 markings/sec, 190 secs
lola: 86853599 markings, 272245145 edges, 394597 markings/sec, 195 secs
lola: 88856546 markings, 278746956 edges, 400589 markings/sec, 200 secs
lola: 90815768 markings, 285157575 edges, 391844 markings/sec, 205 secs
lola: 92730093 markings, 291417860 edges, 382865 markings/sec, 210 secs
lola: 94705526 markings, 297821415 edges, 395087 markings/sec, 215 secs
lola: 96719247 markings, 304367734 edges, 402744 markings/sec, 220 secs
lola: 98507383 markings, 310195505 edges, 357627 markings/sec, 225 secs
lola: 100488531 markings, 316605976 edges, 396230 markings/sec, 230 secs
lola: 102459064 markings, 322988576 edges, 394107 markings/sec, 235 secs
lola: 104376785 markings, 329272668 edges, 383544 markings/sec, 240 secs
lola: 106286178 markings, 335458226 edges, 381879 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((p5 <= 0) OR (p7 <= 0)) U (((1 <= p10) AND (1 <= p17) AND (1 <= p6) AND (p4 <= 0)) AND E (X ((1 <= p20))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(((p5 <= 0) OR (p7 <= 0)) U (((1 <= p10) AND (1 <= p17) AND (1 <= p6) AND (p4 <= 0)) AND EX((1 <= p20))))
lola: processed formula length: 107
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1953096 markings, 6131898 edges, 390619 markings/sec, 0 secs
lola: 3594859 markings, 11815577 edges, 328353 markings/sec, 5 secs
lola: 5169961 markings, 17112812 edges, 315020 markings/sec, 10 secs
lola: 6884351 markings, 22572883 edges, 342878 markings/sec, 15 secs
lola: 7897439 markings, 26744226 edges, 202618 markings/sec, 20 secs
lola: 9279231 markings, 31659976 edges, 276358 markings/sec, 25 secs
lola: 10734709 markings, 36096003 edges, 291096 markings/sec, 30 secs
lola: 11546284 markings, 39783931 edges, 162315 markings/sec, 35 secs
lola: 12450458 markings, 44011163 edges, 180835 markings/sec, 40 secs
lola: 14107166 markings, 48683227 edges, 331342 markings/sec, 45 secs
lola: 15402626 markings, 52833457 edges, 259092 markings/sec, 50 secs
lola: 16160730 markings, 56304284 edges, 151621 markings/sec, 55 secs
lola: 16909749 markings, 59813347 edges, 149804 markings/sec, 60 secs
lola: 18030760 markings, 64377633 edges, 224202 markings/sec, 65 secs
lola: 19564183 markings, 68753283 edges, 306685 markings/sec, 70 secs
lola: 20894542 markings, 72650090 edges, 266072 markings/sec, 75 secs
lola: 21824241 markings, 76507545 edges, 185940 markings/sec, 80 secs
lola: 22556259 markings, 79921715 edges, 146404 markings/sec, 85 secs
lola: 23425495 markings, 84038700 edges, 173847 markings/sec, 90 secs
lola: 24476574 markings, 88869641 edges, 210216 markings/sec, 95 secs
lola: 26302444 markings, 93991524 edges, 365174 markings/sec, 100 secs
lola: 27757173 markings, 98258943 edges, 290946 markings/sec, 105 secs
lola: 29075876 markings, 102745874 edges, 263741 markings/sec, 110 secs
lola: 29891814 markings, 106537511 edges, 163188 markings/sec, 115 secs
lola: 30683485 markings, 110284764 edges, 158334 markings/sec, 120 secs
lola: 31480534 markings, 114101892 edges, 159410 markings/sec, 125 secs
lola: 32331499 markings, 118189577 edges, 170193 markings/sec, 130 secs
lola: 33872319 markings, 123436816 edges, 308164 markings/sec, 135 secs
lola: 35321699 markings, 127637302 edges, 289876 markings/sec, 140 secs
lola: 36594490 markings, 131388352 edges, 254558 markings/sec, 145 secs
lola: 37867945 markings, 135184354 edges, 254691 markings/sec, 150 secs
lola: 38803837 markings, 138992722 edges, 187178 markings/sec, 155 secs
lola: 39496230 markings, 142241366 edges, 138479 markings/sec, 160 secs
lola: 40162349 markings, 145399189 edges, 133224 markings/sec, 165 secs
lola: 40830210 markings, 148598934 edges, 133572 markings/sec, 170 secs
lola: 41527173 markings, 151955562 edges, 139393 markings/sec, 175 secs
lola: 42276957 markings, 155574959 edges, 149957 markings/sec, 180 secs
lola: 43130735 markings, 159728112 edges, 170756 markings/sec, 185 secs
lola: 44692737 markings, 164357331 edges, 312400 markings/sec, 190 secs
lola: 45993065 markings, 168137638 edges, 260066 markings/sec, 195 secs
lola: 47163362 markings, 171592469 edges, 234059 markings/sec, 200 secs
lola: 48455350 markings, 175450790 edges, 258398 markings/sec, 205 secs
lola: 49828779 markings, 179622489 edges, 274686 markings/sec, 210 secs
lola: 50610744 markings, 183226989 edges, 156393 markings/sec, 215 secs
lola: 51301588 markings, 186485957 edges, 138169 markings/sec, 220 secs
lola: 52014237 markings, 189882292 edges, 142530 markings/sec, 225 secs
lola: 52714737 markings, 193249750 edges, 140100 markings/sec, 230 secs
lola: 53425846 markings, 196685495 edges, 142222 markings/sec, 235 secs
lola: 54145927 markings, 200180702 edges, 144016 markings/sec, 240 secs
lola: 54885082 markings, 203772736 edges, 147831 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4578436 KB
lola: time consumption: 513 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F ((p20 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:623
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: processed formula: (p20 <= 0)
lola: processed formula length: 10
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p20 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 101 markings, 100 edges
lola: state equation: write sara problem file to CTLFireability-2-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 3 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
sara: try reading problem file CTLFireability-2-0.sara.
lola: ...considering subproblem: E (X (A (X (E (F (((1 <= p13) AND (1 <= p15))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AX(EF(((1 <= p13) AND (1 <= p15)))))
lola: processed formula length: 39
lola: 21 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 360743 markings, 628527 edges
lola: ========================================
lola: subprocess 4 will run for 305 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((A (G ((1 <= p9))) U E (G (((1 <= p5) AND (1 <= p7)))))) OR (((1 <= p13) AND (1 <= p15)) AND (A (X ((p6 <= 0))) AND (1 <= p11))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: (E(AG((1 <= p9)) U EG(((1 <= p5) AND (1 <= p7)))) OR (((1 <= p13) AND (1 <= p15)) AND (AX((p6 <= 0)) AND (1 <= p11))))
lola: processed formula length: 118
lola: 22 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 101 markings, 102 edges
lola: ========================================
lola: subprocess 5 will run for 339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((1 <= p16)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX((1 <= p16))
lola: processed formula length: 14
lola: 19 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p4) OR (p5 <= 0) OR (p7 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p4 <= 0) AND (1 <= p5) AND (1 <= p7))
lola: processed formula length: 39
lola: 22 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p4) OR (p5 <= 0) OR (p7 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p4 <= 0) AND (1 <= p5) AND (1 <= p7))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-6-0.sara
lola: state equation: write sara problem file to CTLFireability-6-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-6-1.sara.
sara: try reading problem file CTLFireability-6-0.sara.
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3455953 markings, 6974641 edges, 691191 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7046820 markings, 14450729 edges, 718173 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10488125 markings, 21739420 edges, 688261 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 13988308 markings, 29146557 edges, 700037 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17300352 markings, 36228456 edges, 662409 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 20669501 markings, 43438946 edges, 673830 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 24074270 markings, 50635343 edges, 680954 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27344048 markings, 57732848 edges, 653956 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 30593840 markings, 64763604 edges, 649958 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 33795721 markings, 71754906 edges, 640376 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 36940608 markings, 78584709 edges, 628977 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 40120932 markings, 85526197 edges, 636065 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 43283733 markings, 92441623 edges, 632560 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 46409269 markings, 99278229 edges, 625107 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 49563494 markings, 106153083 edges, 630845 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 52619942 markings, 112806307 edges, 611290 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 55707197 markings, 119625115 edges, 617451 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 58790928 markings, 126343979 edges, 616746 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 61944713 markings, 133163269 edges, 630757 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 65028353 markings, 139929692 edges, 616728 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 67898426 markings, 146267756 edges, 574015 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 70937412 markings, 152888345 edges, 607797 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 73999331 markings, 159569280 edges, 612384 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 77040013 markings, 166269236 edges, 608136 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 80074855 markings, 172948872 edges, 606968 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 83045050 markings, 179536031 edges, 594039 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 86033531 markings, 186121104 edges, 597696 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 88979586 markings, 192638830 edges, 589211 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 91950641 markings, 199182711 edges, 594211 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 94891328 markings, 205685592 edges, 588137 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 97866917 markings, 212248573 edges, 595118 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 100869844 markings, 218792319 edges, 600585 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 103633982 markings, 224922403 edges, 552828 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 106523793 markings, 231353240 edges, 577962 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 109476661 markings, 237898609 edges, 590574 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 112388478 markings, 244319857 edges, 582363 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 115286013 markings, 250732464 edges, 579507 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 118126699 markings, 257082212 edges, 568137 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 121073084 markings, 263576511 edges, 589277 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 123914241 markings, 269930982 edges, 568231 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 126785272 markings, 276331338 edges, 574206 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 129641161 markings, 282698930 edges, 571178 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 132465882 markings, 288933423 edges, 564944 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 135305927 markings, 295197099 edges, 568009 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 138136055 markings, 301421110 edges, 566026 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 140719684 markings, 307236633 edges, 516726 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 142469515 markings, 311170893 edges, 349966 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 144923045 markings, 316664562 edges, 490706 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 146421951 markings, 319987305 edges, 299781 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 148926250 markings, 325527806 edges, 500860 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 150429262 markings, 328863388 edges, 300602 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 152267485 markings, 333001669 edges, 367645 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 154147116 markings, 337186213 edges, 375926 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 155859963 markings, 340974801 edges, 342569 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 157712437 markings, 345167070 edges, 370495 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 159640879 markings, 349480201 edges, 385688 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 161338121 markings, 353243549 edges, 339448 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 163109834 markings, 357190493 edges, 354343 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 164958156 markings, 361264940 edges, 369664 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 166699574 markings, 365144078 edges, 348284 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 168370890 markings, 368800684 edges, 334263 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 170473846 markings, 373478211 edges, 420591 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 172297682 markings, 377562174 edges, 364767 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 173652912 markings, 380549287 edges, 271046 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 173804835 markings, 380898184 edges, 30385 markings/sec, 320 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((p13 <= 0) OR (p15 <= 0) OR (p10 <= 0) OR (p17 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((p13 <= 0) OR (p15 <= 0) OR (p10 <= 0) OR (p17 <= 0))
lola: processed formula length: 57
lola: 21 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p13) AND (1 <= p15) AND (1 <= p10) AND (1 <= p17))
lola: state equation task get result unparse finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p13 <= 0) OR (p15 <= 0) OR (p10 <= 0) OR (p17 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-7-0.sara
lola: state equation: write sara problem file to CTLFireability-7-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: sara: try reading problem file CTLFireability-7-1.sara.try reading problem file CTLFireability-7-0.sara.
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3898652 markings, 7607727 edges, 779730 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7657631 markings, 15098418 edges, 751796 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 11310863 markings, 22390509 edges, 730646 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 14816714 markings, 29541336 edges, 701170 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 18329569 markings, 36683072 edges, 702571 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 21688170 markings, 43701014 edges, 671720 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 24948239 markings, 50531534 edges, 652014 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 28137090 markings, 57264116 edges, 637770 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 31090548 markings, 63657166 edges, 590692 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 34059689 markings, 70106575 edges, 593828 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 37078362 markings, 76592677 edges, 603735 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 40088850 markings, 83027905 edges, 602098 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 43032164 markings, 89380746 edges, 588663 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 45955841 markings, 95712442 edges, 584735 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 48885112 markings, 102019118 edges, 585854 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 51694595 markings, 108274670 edges, 561897 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 54532326 markings, 114445329 edges, 567546 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 57312859 markings, 120572014 edges, 556107 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 60018644 markings, 126559811 edges, 541157 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 62792601 markings, 132653807 edges, 554791 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 65455706 markings, 138571155 edges, 532621 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 68176681 markings, 144620428 edges, 544195 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 70801843 markings, 150432620 edges, 525032 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 73394035 markings, 156241023 edges, 518438 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 76421658 markings, 162695678 edges, 605525 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 79028144 markings, 168499982 edges, 521297 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 81531813 markings, 174107944 edges, 500734 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 84219366 markings, 180021769 edges, 537511 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 86852823 markings, 185858264 edges, 526691 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 89398943 markings, 191535863 edges, 509224 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 91833237 markings, 196960548 edges, 486859 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 94323634 markings, 202585098 edges, 498079 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 97019280 markings, 208495798 edges, 539129 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 99513755 markings, 214125891 edges, 498895 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 102000186 markings, 219677113 edges, 497286 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 104500348 markings, 225269725 edges, 500032 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 107032203 markings, 230952144 edges, 506371 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 109429325 markings, 236330141 edges, 479424 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 111985664 markings, 242053506 edges, 511268 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 114518515 markings, 247725780 edges, 506570 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 117027556 markings, 253303618 edges, 501808 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 119449067 markings, 258777629 edges, 484302 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 121833144 markings, 264163316 edges, 476815 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 124210270 markings, 269582105 edges, 475425 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 126755996 markings, 275208213 edges, 509145 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 129281010 markings, 280886594 edges, 505003 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 131887078 markings, 286615987 edges, 521214 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 134391380 markings, 292134686 edges, 500860 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 136882716 markings, 297675586 edges, 498267 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 139331018 markings, 303143733 edges, 489660 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 141570436 markings, 308173929 edges, 447884 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 143392824 markings, 312268414 edges, 364478 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 145313183 markings, 316590575 edges, 384072 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 147103290 markings, 320529799 edges, 358021 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 148750756 markings, 324216275 edges, 329493 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 150378026 markings, 327841662 edges, 325454 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 152379249 markings, 332359194 edges, 400245 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 154410380 markings, 336880550 edges, 406226 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 155877076 markings, 340248529 edges, 293339 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 157808837 markings, 344492982 edges, 386352 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 159623956 markings, 348575644 edges, 363024 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 161333730 markings, 352465655 edges, 341955 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 163175110 markings, 356683526 edges, 368276 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 164983269 markings, 360726769 edges, 361632 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 166398874 markings, 363873942 edges, 283121 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 168074411 markings, 367619587 edges, 335107 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 169652801 markings, 371170467 edges, 315678 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 171622799 markings, 375568715 edges, 394000 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 172714930 markings, 378026793 edges, 218426 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 174548084 markings, 382213260 edges, 366631 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 175921474 markings, 385331077 edges, 274678 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 175982555 markings, 385473914 edges, 12216 markings/sec, 355 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (((p1 <= 0) R (p12 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(E((p1 <= 0) R (p12 <= 0)))
lola: processed formula length: 29
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 330041 markings, 1153347 edges
lola: ========================================
lola: subprocess 9 will run for 470 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p19 <= 0) U A (G (((1 <= p3) OR ((1 <= p5) AND (1 <= p7)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((p19 <= 0) U AG(((1 <= p3) OR ((1 <= p5) AND (1 <= p7)))))
lola: processed formula length: 61
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 4500799 markings, 6152184 edges, 900160 markings/sec, 0 secs
lola: 8850846 markings, 11920375 edges, 870009 markings/sec, 5 secs
lola: 12991414 markings, 17410684 edges, 828114 markings/sec, 10 secs
lola: 16995767 markings, 22729858 edges, 800871 markings/sec, 15 secs
lola: 21397041 markings, 28586609 edges, 880255 markings/sec, 20 secs
lola: 25594625 markings, 34163599 edges, 839517 markings/sec, 25 secs
lola: 29728360 markings, 39656053 edges, 826747 markings/sec, 30 secs
lola: 33812699 markings, 45117261 edges, 816868 markings/sec, 35 secs
lola: 38190468 markings, 50940831 edges, 875554 markings/sec, 40 secs
lola: 42394003 markings, 56526067 edges, 840707 markings/sec, 45 secs
lola: 46544580 markings, 62042013 edges, 830115 markings/sec, 50 secs
lola: 50825678 markings, 67789122 edges, 856220 markings/sec, 55 secs
lola: 54955460 markings, 73276316 edges, 825956 markings/sec, 60 secs
lola: 58696847 markings, 78247429 edges, 748277 markings/sec, 65 secs
lola: 62754026 markings, 83662805 edges, 811436 markings/sec, 70 secs
lola: 67037679 markings, 89408624 edges, 856731 markings/sec, 75 secs
lola: 71167481 markings, 94895848 edges, 825960 markings/sec, 80 secs
lola: 75218883 markings, 100278833 edges, 810280 markings/sec, 85 secs
lola: 79205698 markings, 105644286 edges, 797363 markings/sec, 90 secs
lola: 83330182 markings, 111153082 edges, 824897 markings/sec, 95 secs
lola: 87328954 markings, 116466202 edges, 799754 markings/sec, 100 secs
lola: 91078427 markings, 121448219 edges, 749895 markings/sec, 105 secs
lola: 95217535 markings, 127060859 edges, 827822 markings/sec, 110 secs
lola: 99524575 markings, 132784918 edges, 861408 markings/sec, 115 secs
lola: 103687479 markings, 138316040 edges, 832581 markings/sec, 120 secs
lola: 107805696 markings, 143825412 edges, 823643 markings/sec, 125 secs
lola: 111938249 markings, 149410601 edges, 826511 markings/sec, 130 secs
lola: 115970682 markings, 154768697 edges, 806487 markings/sec, 135 secs
lola: 119915670 markings, 160010195 edges, 788998 markings/sec, 140 secs
lola: 123890038 markings, 165387855 edges, 794874 markings/sec, 145 secs
lola: 128031938 markings, 170942874 edges, 828380 markings/sec, 150 secs
lola: 132023546 markings, 176246641 edges, 798322 markings/sec, 155 secs
lola: 135966947 markings, 181486192 edges, 788680 markings/sec, 160 secs
lola: 139981622 markings, 186985899 edges, 802935 markings/sec, 165 secs
lola: 144019139 markings, 192350424 edges, 807503 markings/sec, 170 secs
lola: 147903732 markings, 197511709 edges, 776919 markings/sec, 175 secs
lola: 151799349 markings, 202728128 edges, 779123 markings/sec, 180 secs
lola: 155933765 markings, 208362677 edges, 826883 markings/sec, 185 secs
lola: 160020989 markings, 213793386 edges, 817445 markings/sec, 190 secs
lola: 164000670 markings, 219081238 edges, 795936 markings/sec, 195 secs
lola: 167930828 markings, 224440587 edges, 786032 markings/sec, 200 secs
lola: 171961887 markings, 229856349 edges, 806212 markings/sec, 205 secs
lola: 175879885 markings, 235062423 edges, 783600 markings/sec, 210 secs
lola: 179726369 markings, 240172971 edges, 769297 markings/sec, 215 secs
lola: 183702523 markings, 245668798 edges, 795231 markings/sec, 220 secs
lola: 187703547 markings, 250984906 edges, 800205 markings/sec, 225 secs
lola: 191601652 markings, 256164167 edges, 779621 markings/sec, 230 secs
lola: 195380998 markings, 261258960 edges, 755869 markings/sec, 235 secs
lola: 199305261 markings, 266627369 edges, 784853 markings/sec, 240 secs
lola: 203188329 markings, 271786776 edges, 776614 markings/sec, 245 secs
lola: 206325436 markings, 275955970 edges, 627421 markings/sec, 250 secs
lola: 209655699 markings, 280464391 edges, 666053 markings/sec, 255 secs
lola: 212035659 markings, 283784468 edges, 475992 markings/sec, 260 secs
lola: 214523535 markings, 287090053 edges, 497575 markings/sec, 265 secs
lola: 216819833 markings, 290141078 edges, 459260 markings/sec, 270 secs
lola: 218801589 markings, 292774316 edges, 396351 markings/sec, 275 secs
lola: 221024056 markings, 295727061 edges, 444493 markings/sec, 280 secs
lola: 223281182 markings, 298783328 edges, 451425 markings/sec, 285 secs
lola: 225659290 markings, 302117987 edges, 475622 markings/sec, 290 secs
lola: 228730110 markings, 306222631 edges, 614164 markings/sec, 295 secs
lola: 231476238 markings, 309871036 edges, 549226 markings/sec, 300 secs
lola: 233699616 markings, 312825302 edges, 444676 markings/sec, 305 secs
lola: 235394762 markings, 315077668 edges, 339029 markings/sec, 310 secs
lola: 237899398 markings, 318515303 edges, 500927 markings/sec, 315 secs
lola: 240019617 markings, 321492602 edges, 424044 markings/sec, 320 secs
lola: 242757743 markings, 325130839 edges, 547625 markings/sec, 325 secs
lola: 245235497 markings, 328422952 edges, 495551 markings/sec, 330 secs
lola: 247918214 markings, 331987418 edges, 536543 markings/sec, 335 secs
lola: 251212585 markings, 336436758 edges, 658874 markings/sec, 340 secs
lola: lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 498 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p1) AND (A (G ((1 <= p20))) AND ((1 <= p16) AND ((p10 <= 0) OR (p17 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(((1 <= p1) AND (AG((1 <= p20)) AND ((1 <= p16) AND ((p10 <= 0) OR (p17 <= 0))))))
lola: processed formula length: 85
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1374468 markings, 4918341 edges, 274894 markings/sec, 0 secs
lola: 3000924 markings, 10646921 edges, 325291 markings/sec, 5 secs
lola: 4706083 markings, 15990436 edges, 341032 markings/sec, 10 secs
lola: 6661450 markings, 21208936 edges, 391073 markings/sec, 15 secs
lola: 8451133 markings, 27003879 edges, 357937 markings/sec, 20 secs
lola: 10118298 markings, 32233167 edges, 333433 markings/sec, 25 secs
lola: 11971842 markings, 37662803 edges, 370709 markings/sec, 30 secs
lola: 13690742 markings, 42799975 edges, 343780 markings/sec, 35 secs
lola: 15329068 markings, 48040852 edges, 327665 markings/sec, 40 secs
lola: 17245876 markings, 53546003 edges, 383362 markings/sec, 45 secs
lola: 18872172 markings, 58566232 edges, 325259 markings/sec, 50 secs
lola: 20598097 markings, 63930747 edges, 345185 markings/sec, 55 secs
lola: 22205913 markings, 68956713 edges, 321563 markings/sec, 60 secs
lola: 23924084 markings, 74217987 edges, 343634 markings/sec, 65 secs
lola: 25574973 markings, 79383188 edges, 330178 markings/sec, 70 secs
lola: 27263515 markings, 84542056 edges, 337708 markings/sec, 75 secs
lola: 28872356 markings, 89595757 edges, 321768 markings/sec, 80 secs
lola: 30301409 markings, 94218133 edges, 285811 markings/sec, 85 secs
lola: 31926865 markings, 99316386 edges, 325091 markings/sec, 90 secs
lola: 33471658 markings, 104245333 edges, 308959 markings/sec, 95 secs
lola: 34966727 markings, 109099966 edges, 299014 markings/sec, 100 secs
lola: 36351604 markings, 113889192 edges, 276975 markings/sec, 105 secs
lola: 37684566 markings, 118623651 edges, 266592 markings/sec, 110 secs
lola: 39422931 markings, 123796433 edges, 347673 markings/sec, 115 secs
lola: 40878045 markings, 128698025 edges, 291023 markings/sec, 120 secs
lola: 42448952 markings, 133854414 edges, 314181 markings/sec, 125 secs
lola: 43868257 markings, 138629842 edges, 283861 markings/sec, 130 secs
lola: 45235580 markings, 143358345 edges, 273465 markings/sec, 135 secs
lola: 46645859 markings, 148094347 edges, 282056 markings/sec, 140 secs
lola: 48056398 markings, 152682444 edges, 282108 markings/sec, 145 secs
lola: 49517129 markings, 157458409 edges, 292146 markings/sec, 150 secs
lola: 50902740 markings, 162216356 edges, 277122 markings/sec, 155 secs
lola: 52316316 markings, 166990290 edges, 282715 markings/sec, 160 secs
lola: 53733268 markings, 171704422 edges, 283390 markings/sec, 165 secs
lola: 55264440 markings, 176569050 edges, 306234 markings/sec, 170 secs
lola: 56612208 markings, 181221551 edges, 269554 markings/sec, 175 secs
lola: 57843594 markings, 185768333 edges, 246277 markings/sec, 180 secs
lola: 59236018 markings, 190459707 edges, 278485 markings/sec, 185 secs
lola: 60705017 markings, 195297390 edges, 293800 markings/sec, 190 secs
lola: 62275359 markings, 200212452 edges, 314068 markings/sec, 195 secs
lola: 63678989 markings, 204889532 edges, 280726 markings/sec, 200 secs
lola: 65078729 markings, 209491242 edges, 279948 markings/sec, 205 secs
lola: 66308930 markings, 214072570 edges, 246040 markings/sec, 210 secs
lola: 67739435 markings, 218774618 edges, 286101 markings/sec, 215 secs
lola: 68905779 markings, 222983516 edges, 233269 markings/sec, 220 secs
lola: 70256809 markings, 227629307 edges, 270206 markings/sec, 225 secs
lola: 71696723 markings, 232220826 edges, 287983 markings/sec, 230 secs
lola: 73045170 markings, 236855125 edges, 269689 markings/sec, 235 secs
lola: 74299074 markings, 241404196 edges, 250781 markings/sec, 240 secs
lola: 76008755 markings, 246422886 edges, 341936 markings/sec, 245 secs
lola: 77370521 markings, 251144920 edges, 272353 markings/sec, 250 secs
lola: 78540303 markings, 255599357 edges, 233956 markings/sec, 255 secs
lola: 79865066 markings, 260120900 edges, 264953 markings/sec, 260 secs
lola: 81063450 markings, 264300423 edges, 239677 markings/sec, 265 secs
lola: 82387128 markings, 268808378 edges, 264736 markings/sec, 270 secs
lola: 83690901 markings, 273373535 edges, 260755 markings/sec, 275 secs
lola: 85177182 markings, 278112869 edges, 297256 markings/sec, 280 secs
lola: 86666723 markings, 282813166 edges, 297908 markings/sec, 285 secs
lola: 88114220 markings, 287291367 edges, 289499 markings/sec, 290 secs
lola: 89373834 markings, 291759425 edges, 251923 markings/sec, 295 secs
lola: 90829421 markings, 296505008 edges, 291117 markings/sec, 300 secs
lola: 91934693 markings, 300598595 edges, 221054 markings/sec, 305 secs
lola: 93414660 markings, 305263182 edges, 295993 markings/sec, 310 secs
lola: 94641857 markings, 309741561 edges, 245439 markings/sec, 315 secs
lola: 96129122 markings, 314526683 edges, 297453 markings/sec, 320 secs
lola: 97421667 markings, 318992793 edges, 258509 markings/sec, 325 secs
lola: 98593030 markings, 323407621 edges, 234273 markings/sec, 330 secs
lola: 100163258 markings, 328164158 edges, 314046 markings/sec, 335 secs
lola: 101461701 markings, 332637835 edges, 259689 markings/sec, 340 secs
lola: 102596916 markings, 336787899 edges, 227043 markings/sec, 345 secs
lola: 103802506 markings, 341187426 edges, 241118 markings/sec, 350 secs
lola: 105180863 markings, 345548268 edges, 275671 markings/sec, 355 secs
lola: 106312770 markings, 349897612 edges, 226381 markings/sec, 360 secs
lola: 107588660 markings, 354133219 edges, 255178 markings/sec, 365 secs
lola: 108531145 markings, 357240177 edges, 188497 markings/sec, 370 secs
lola: 109462839 markings, 360801374 edges, 186339 markings/sec, 375 secs
lola: 110320357 markings, 363936853 edges, 171504 markings/sec, 380 secs
lola: 110946293 markings, 366161944 edges, 125187 markings/sec, 385 secs
lola: 111961966 markings, 369745881 edges, 203135 markings/sec, 390 secs
lola: 112660818 markings, 372169544 edges, 139770 markings/sec, 395 secs
lola: 113427568 markings, 374869073 edges, 153350 markings/sec, 400 secs
lola: 114192254 markings, 377509154 edges, 152937 markings/sec, 405 secs
lola: 115099682 markings, 380523000 edges, 181486 markings/sec, 410 secs
lola: 116114980 markings, 383672703 edges, 203060 markings/sec, 415 secs
lola: 116928658 markings, 386507905 edges, 162736 markings/sec, 420 secs
lola: 117985813 markings, 389860393 edges, 211431 markings/sec, 425 secs
lola: 118697352 markings, 392568179 edges, 142308 markings/sec, 430 secs
lola: 119818323 markings, 396217914 edges, 224194 markings/sec, 435 secs
lola: 120589852 markings, 398870849 edges, 154306 markings/sec, 440 secs
lola: 121760098 markings, 403099986 edges, 234049 markings/sec, 445 secs
lola: 122656316 markings, 405907388 edges, 179244 markings/sec, 450 secs
lola: 123542416 markings, 408801843 edges, 177220 markings/sec, 455 secs
lola: 124439166 markings, 412140735 edges, 179350 markings/sec, 460 secs
lola: 125251098 markings, 414867840 edges, 162386 markings/sec, 465 secs
lola: 126179461 markings, 417761346 edges, 185673 markings/sec, 470 secs
lola: 126693786 markings, 419703065 edges, 102865 markings/sec, 475 secs
lola: 127636964 markings, 422981408 edges, 188636 markings/sec, 480 secs
lola: 128256460 markings, 425210615 edges, 123899 markings/sec, 485 secs
lola: 128990679 markings, 427712634 edges, 146844 markings/sec, 490 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown yes no yes unknown unknown unknown unknown no no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 498 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F (((1 <= p0) AND (1 <= p1)))) OR A (F ((p6 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((EF(((1 <= p0) AND (1 <= p1))) OR AF((p6 <= 0))))
lola: processed formula length: 52
lola: 21 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1339639 markings, 5232937 edges, 267928 markings/sec, 0 secs
lola: 3001791 markings, 11849662 edges, 332430 markings/sec, 5 secs
lola: 4453809 markings, 17646810 edges, 290404 markings/sec, 10 secs
lola: 5776939 markings, 23072217 edges, 264626 markings/sec, 15 secs
lola: 7237558 markings, 28870408 edges, 292124 markings/sec, 20 secs
lola: 8595929 markings, 34341288 edges, 271674 markings/sec, 25 secs
lola: 9948316 markings, 39777911 edges, 270477 markings/sec, 30 secs
lola: 11242386 markings, 45051173 edges, 258814 markings/sec, 35 secs
lola: 12558997 markings, 50376725 edges, 263322 markings/sec, 40 secs
lola: 13861106 markings, 55646177 edges, 260422 markings/sec, 45 secs
lola: 15159400 markings, 60841119 edges, 259659 markings/sec, 50 secs
lola: 16458696 markings, 66113709 edges, 259859 markings/sec, 55 secs
lola: 17738290 markings, 71334712 edges, 255919 markings/sec, 60 secs
lola: 19038425 markings, 76520961 edges, 260027 markings/sec, 65 secs
lola: 20343498 markings, 81793524 edges, 261015 markings/sec, 70 secs
lola: 21614340 markings, 86889289 edges, 254168 markings/sec, 75 secs
lola: 22885405 markings, 92030997 edges, 254213 markings/sec, 80 secs
lola: 24138778 markings, 97084225 edges, 250675 markings/sec, 85 secs
lola: 25370342 markings, 102074180 edges, 246313 markings/sec, 90 secs
lola: 26585773 markings, 107030042 edges, 243086 markings/sec, 95 secs
lola: 27744297 markings, 111737695 edges, 231705 markings/sec, 100 secs
lola: 28953786 markings, 116636011 edges, 241898 markings/sec, 105 secs
lola: 30168810 markings, 121546002 edges, 243005 markings/sec, 110 secs
lola: 31398056 markings, 126514453 edges, 245849 markings/sec, 115 secs
lola: 32604225 markings, 131406562 edges, 241234 markings/sec, 120 secs
lola: 33791062 markings, 136217509 edges, 237367 markings/sec, 125 secs
lola: 34971685 markings, 141038049 edges, 236125 markings/sec, 130 secs
lola: 36182359 markings, 145907338 edges, 242135 markings/sec, 135 secs
lola: 37379938 markings, 150728913 edges, 239516 markings/sec, 140 secs
lola: 38590818 markings, 155631772 edges, 242176 markings/sec, 145 secs
lola: 39786493 markings, 160516320 edges, 239135 markings/sec, 150 secs
lola: 40992510 markings, 165407795 edges, 241203 markings/sec, 155 secs
lola: 42229619 markings, 170426490 edges, 247422 markings/sec, 160 secs
lola: 43413730 markings, 175238138 edges, 236822 markings/sec, 165 secs
lola: 44592617 markings, 180012369 edges, 235777 markings/sec, 170 secs
lola: 45781049 markings, 184819817 edges, 237686 markings/sec, 175 secs
lola: 46952837 markings, 189553816 edges, 234358 markings/sec, 180 secs
lola: 48128955 markings, 194351346 edges, 235224 markings/sec, 185 secs
lola: 49297575 markings, 199166172 edges, 233724 markings/sec, 190 secs
lola: 50464977 markings, 203929529 edges, 233480 markings/sec, 195 secs
lola: 51694444 markings, 208834574 edges, 245893 markings/sec, 200 secs
lola: 52862291 markings, 213587931 edges, 233569 markings/sec, 205 secs
lola: 54055485 markings, 218394615 edges, 238639 markings/sec, 210 secs
lola: 55217563 markings, 223153634 edges, 232416 markings/sec, 215 secs
lola: 56411418 markings, 227958167 edges, 238771 markings/sec, 220 secs
lola: 57626454 markings, 232771048 edges, 243007 markings/sec, 225 secs
lola: 58792768 markings, 237482168 edges, 233263 markings/sec, 230 secs
lola: 59965413 markings, 242207719 edges, 234529 markings/sec, 235 secs
lola: 61175883 markings, 247124825 edges, 242094 markings/sec, 240 secs
lola: 62306018 markings, 251802471 edges, 226027 markings/sec, 245 secs
lola: 63460131 markings, 256496587 edges, 230823 markings/sec, 250 secs
lola: 64602731 markings, 261145438 edges, 228520 markings/sec, 255 secs
lola: 65756765 markings, 265821511 edges, 230807 markings/sec, 260 secs
lola: 66938522 markings, 270572085 edges, 236351 markings/sec, 265 secs
lola: 68111787 markings, 275306640 edges, 234653 markings/sec, 270 secs
lola: 69247799 markings, 279959480 edges, 227202 markings/sec, 275 secs
lola: 70379416 markings, 284605877 edges, 226323 markings/sec, 280 secs
lola: 71507725 markings, 289269565 edges, 225662 markings/sec, 285 secs
lola: 72677595 markings, 293999217 edges, 233974 markings/sec, 290 secs
lola: 73854194 markings, 298691942 edges, 235320 markings/sec, 295 secs
lola: 75009722 markings, 303364080 edges, 231106 markings/sec, 300 secs
lola: 76111542 markings, 308006908 edges, 220364 markings/sec, 305 secs
lola: 77273558 markings, 312707718 edges, 232403 markings/sec, 310 secs
lola: 78460732 markings, 317430929 edges, 237435 markings/sec, 315 secs
lola: 79603843 markings, 322042805 edges, 228622 markings/sec, 320 secs
lola: 80766162 markings, 326704959 edges, 232464 markings/sec, 325 secs
lola: 81918127 markings, 331366035 edges, 230393 markings/sec, 330 secs
lola: 83072680 markings, 335956494 edges, 230911 markings/sec, 335 secs
lola: 84214901 markings, 340657422 edges, 228444 markings/sec, 340 secs
lola: 85358358 markings, 345309378 edges, 228691 markings/sec, 345 secs
lola: 86473002 markings, 349932238 edges, 222929 markings/sec, 350 secs
lola: 87599839 markings, 354569802 edges, 225367 markings/sec, 355 secs
lola: 88716101 markings, 359159454 edges, 223252 markings/sec, 360 secs
lola: 89860115 markings, 363748473 edges, 228803 markings/sec, 365 secs
lola: 90992595 markings, 368420741 edges, 226496 markings/sec, 370 secs
lola: 92109222 markings, 372939850 edges, 223325 markings/sec, 375 secs
lola: 93233471 markings, 377530584 edges, 224850 markings/sec, 380 secs
lola: 94369619 markings, 382148873 edges, 227230 markings/sec, 385 secs
lola: 95513745 markings, 386829972 edges, 228825 markings/sec, 390 secs
lola: 96648055 markings, 391487729 edges, 226862 markings/sec, 395 secs
lola: 97781082 markings, 396059981 edges, 226605 markings/sec, 400 secs
lola: 98922208 markings, 400712495 edges, 228225 markings/sec, 405 secs
lola: 100035270 markings, 405294366 edges, 222612 markings/sec, 410 secs
lola: 101155616 markings, 409863539 edges, 224069 markings/sec, 415 secs
lola: 102317409 markings, 414486329 edges, 232359 markings/sec, 420 secs
lola: 103421090 markings, 418988962 edges, 220736 markings/sec, 425 secs
lola: 104550976 markings, 423601426 edges, 225977 markings/sec, 430 secs
lola: 105701037 markings, 428157971 edges, 230012 markings/sec, 435 secs
lola: 106883003 markings, 432900855 edges, 236393 markings/sec, 440 secs
lola: 107891551 markings, 437022025 edges, 201710 markings/sec, 445 secs
lola: 108518610 markings, 439528197 edges, 125412 markings/sec, 450 secs
lola: 109248517 markings, 442484693 edges, 145981 markings/sec, 455 secs
lola: 110026129 markings, 445598477 edges, 155522 markings/sec, 460 secs
lola: 110773325 markings, 448606301 edges, 149439 markings/sec, 465 secs
lola: 111574514 markings, 451836919 edges, 160238 markings/sec, 470 secs
lola: 112199038 markings, 454391251 edges, 124905 markings/sec, 475 secs
lola: 112768163 markings, 456684145 edges, 113825 markings/sec, 480 secs
lola: 113565026 markings, 459910863 edges, 159373 markings/sec, 485 secs
lola: 114458908 markings, 463479946 edges, 178776 markings/sec, 490 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown yes no yes unknown unknown unknown unknown no no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 498 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((1 <= p13) AND (1 <= p15)) U (E (F ((1 <= p14))) AND ((p3 <= 0) OR (p4 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking an existential CTL formula with single witness path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:658
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:666
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:661
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((p13 <= 0) OR (p15 <= 0)) R (G ((p14 <= 0)) OR ((1 <= p3) AND (1 <= p4))))
lola: processed formula length: 77
lola: 29 rewrites
lola: closed formula file CTLFireability.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 insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The existential single path CTL formula holds.
lola: 2004 markings, 2105 edges
lola: ========================================
lola: subprocess 13 will run for 997 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((1 <= p0) OR E (F ((1 <= p16)))))) OR (A (((p11 <= 0) U (1 <= p19))) OR ((1 <= p8) AND (1 <= p10) AND ((1 <= p1) OR ((1 <= p5) AND (1 <= p7))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 997 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p11 <= 0) U (1 <= p19)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:577
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (((p11 <= 0) U (1 <= p19)))
lola: processed formula length: 29
lola: 23 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p11 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: 1
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 502 markings, 502 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p0) OR E (F ((1 <= p16))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(((1 <= p0) OR EF((1 <= p16))))
lola: processed formula length: 33
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown yes no yes unknown unknown unknown unknown no no
lola: memory consumption: 102980 KB
lola: time consumption: 2575 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G ((1 <= p11)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG((1 <= p11))))
lola: processed formula length: 22
lola: 21 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2814017 markings, 8142350 edges, 562803 markings/sec, 0 secs
lola: 5521161 markings, 16243279 edges, 541429 markings/sec, 5 secs
lola: 8233982 markings, 24292244 edges, 542564 markings/sec, 10 secs
lola: 10800689 markings, 32027212 edges, 513341 markings/sec, 15 secs
lola: 13295689 markings, 39541862 edges, 499000 markings/sec, 20 secs
lola: 15806931 markings, 47138369 edges, 502248 markings/sec, 25 secs
lola: 18336634 markings, 54772512 edges, 505941 markings/sec, 30 secs
lola: 20845160 markings, 62309037 edges, 501705 markings/sec, 35 secs
lola: 23219548 markings, 69516604 edges, 474878 markings/sec, 40 secs
lola: 25612630 markings, 76912238 edges, 478616 markings/sec, 45 secs
lola: 27753627 markings, 83643502 edges, 428199 markings/sec, 50 secs
lola: 30054540 markings, 90824976 edges, 460183 markings/sec, 55 secs
lola: 32364840 markings, 98016745 edges, 462060 markings/sec, 60 secs
lola: 34593559 markings, 105079229 edges, 445744 markings/sec, 65 secs
lola: 36792799 markings, 112007629 edges, 439848 markings/sec, 70 secs
lola: 39042187 markings, 119075036 edges, 449878 markings/sec, 75 secs
lola: 41287755 markings, 126117323 edges, 449114 markings/sec, 80 secs
lola: 43516030 markings, 133091057 edges, 445655 markings/sec, 85 secs
lola: 45668520 markings, 139945277 edges, 430498 markings/sec, 90 secs
lola: 47797969 markings, 146773342 edges, 425890 markings/sec, 95 secs
lola: 49954478 markings, 153686193 edges, 431302 markings/sec, 100 secs
lola: 52142821 markings, 160550608 edges, 437669 markings/sec, 105 secs
lola: 54265047 markings, 167335230 edges, 424445 markings/sec, 110 secs
lola: 56407950 markings, 174170981 edges, 428581 markings/sec, 115 secs
lola: 58385495 markings, 180456271 edges, 395509 markings/sec, 120 secs
lola: 60525333 markings, 187291887 edges, 427968 markings/sec, 125 secs
lola: 62655238 markings, 194173143 edges, 425981 markings/sec, 130 secs
lola: 64728357 markings, 200820362 edges, 414624 markings/sec, 135 secs
lola: 66848792 markings, 207564534 edges, 424087 markings/sec, 140 secs
lola: 68897233 markings, 214191989 edges, 409688 markings/sec, 145 secs
lola: 70936721 markings, 220874779 edges, 407898 markings/sec, 150 secs
lola: 73010770 markings, 227537126 edges, 414810 markings/sec, 155 secs
lola: 75098725 markings, 234198744 edges, 417591 markings/sec, 160 secs
lola: 77176667 markings, 240937269 edges, 415588 markings/sec, 165 secs
lola: 79187444 markings, 247426927 edges, 402155 markings/sec, 170 secs
lola: 81194165 markings, 253913686 edges, 401344 markings/sec, 175 secs
lola: 83217110 markings, 260433362 edges, 404589 markings/sec, 180 secs
lola: 85292077 markings, 267136439 edges, 414993 markings/sec, 185 secs
lola: 87339916 markings, 273812552 edges, 409568 markings/sec, 190 secs
lola: 89341558 markings, 280316439 edges, 400328 markings/sec, 195 secs
lola: 91333429 markings, 286856775 edges, 398374 markings/sec, 200 secs
lola: 93308563 markings, 293310150 edges, 395027 markings/sec, 205 secs
lola: 95368831 markings, 299945529 edges, 412054 markings/sec, 210 secs
lola: 97344684 markings, 306427981 edges, 395171 markings/sec, 215 secs
lola: 99383136 markings, 313016208 edges, 407690 markings/sec, 220 secs
lola: 101349166 markings, 319412200 edges, 393206 markings/sec, 225 secs
lola: 103319622 markings, 325808337 edges, 394091 markings/sec, 230 secs
lola: 105260197 markings, 332150722 edges, 388115 markings/sec, 235 secs
lola: 107377759 markings, 338851731 edges, 423512 markings/sec, 240 secs
lola: 108557403 markings, 342663328 edges, 235929 markings/sec, 245 secs
lola: 109511202 markings, 345789097 edges, 190760 markings/sec, 250 secs
lola: 110581515 markings, 349257590 edges, 214063 markings/sec, 255 secs
lola: 111794347 markings, 353223015 edges, 242566 markings/sec, 260 secs
lola: 112666171 markings, 356031648 edges, 174365 markings/sec, 265 secs
lola: 113751538 markings, 359571932 edges, 217073 markings/sec, 270 secs
lola: 114899584 markings, 363366477 edges, 229609 markings/sec, 275 secs
lola: 116000825 markings, 366929048 edges, 220248 markings/sec, 280 secs
lola: 116869068 markings, 369737589 edges, 173649 markings/sec, 285 secs
lola: 118527140 markings, 375157836 edges, 331614 markings/sec, 290 secs
lola: 119265128 markings, 377579570 edges, 147598 markings/sec, 295 secs
lola: 120453971 markings, 381479055 edges, 237769 markings/sec, 300 secs
lola: 121578135 markings, 385116059 edges, 224833 markings/sec, 305 secs
lola: 122864611 markings, 389344922 edges, 257295 markings/sec, 310 secs
lola: 123907089 markings, 392759195 edges, 208496 markings/sec, 315 secs
lola: 124979508 markings, 396231806 edges, 214484 markings/sec, 320 secs
lola: 126021070 markings, 399664544 edges, 208312 markings/sec, 325 secs
lola: 126751194 markings, 402049108 edges, 146025 markings/sec, 330 secs
lola: 127881315 markings, 405702438 edges, 226024 markings/sec, 335 secs
lola: 128749646 markings, 408552137 edges, 173666 markings/sec, 340 secs
lola: 129904012 markings, 412376424 edges, 230873 markings/sec, 345 secs
lola: 130515812 markings, 414348939 edges, 122360 markings/sec, 350 secs
lola: 131171142 markings, 416475134 edges, 131066 markings/sec, 355 secs
lola: 131997127 markings, 419154917 edges, 165197 markings/sec, 360 secs
lola: 132778698 markings, 421766167 edges, 156314 markings/sec, 365 secs
lola: 133512692 markings, 424156812 edges, 146799 markings/sec, 370 secs
lola: 134182094 markings, 426364585 edges, 133880 markings/sec, 375 secs
lola: 134182094 markings, 426364585 edges, 0 markings/sec, 380 secs
lola: 134253725 markings, 426601236 edges, 14326 markings/sec, 385 secs
lola: 134253753 markings, 426601353 edges, 6 markings/sec, 390 secs
lola: 134253797 markings, 426601528 edges, 9 markings/sec, 395 secs
lola: 134253834 markings, 426601676 edges, 7 markings/sec, 400 secs
lola: 134253851 markings, 426601744 edges, 3 markings/sec, 405 secs
lola: 134253870 markings, 426601819 edges, 4 markings/sec, 410 secs
lola: 134253888 markings, 426601891 edges, 4 markings/sec, 415 secs
lola: 134253903 markings, 426601953 edges, 3 markings/sec, 420 secs
lola: 134253930 markings, 426602050 edges, 5 markings/sec, 425 secs
lola: 134253956 markings, 426602130 edges, 5 markings/sec, 430 secs
lola: 134253978 markings, 426602194 edges, 4 markings/sec, 435 secs
lola: 134253995 markings, 426602247 edges, 3 markings/sec, 440 secs
lola: 134254016 markings, 426602311 edges, 4 markings/sec, 445 secs
lola: 134254037 markings, 426602377 edges, 4 markings/sec, 450 secs
lola: 134254051 markings, 426602440 edges, 3 markings/sec, 455 secs
lola: 134254070 markings, 426602516 edges, 4 markings/sec, 460 secs
lola: 134254085 markings, 426602578 edges, 3 markings/sec, 465 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E ((((p5 <= 0) OR (p7 <= 0)) U (((1 <= p10) AND (1 <= p17) AND (1 <= p6) AND (p4 <= 0)) AND E (X ((1 <= p20))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(((p5 <= 0) OR (p7 <= 0)) U (((1 <= p10) AND (1 <= p17) AND (1 <= p6) AND (p4 <= 0)) AND EX((1 <= p20))))
lola: processed formula length: 107
lola: 20 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1923797 markings, 6000300 edges, 384759 markings/sec, 0 secs
lola: 3479408 markings, 11512303 edges, 311122 markings/sec, 5 secs
lola: 5116411 markings, 16870550 edges, 327401 markings/sec, 10 secs
lola: 6790305 markings, 22304240 edges, 334779 markings/sec, 15 secs
lola: 7918674 markings, 26840474 edges, 225674 markings/sec, 20 secs
lola: 9452979 markings, 32148895 edges, 306861 markings/sec, 25 secs
lola: 10895783 markings, 36816366 edges, 288561 markings/sec, 30 secs
lola: 11739614 markings, 40684013 edges, 168766 markings/sec, 35 secs
lola: 13082548 markings, 45760738 edges, 268587 markings/sec, 40 secs
lola: 14660419 markings, 50290062 edges, 315574 markings/sec, 45 secs
lola: 15826904 markings, 54762437 edges, 233297 markings/sec, 50 secs
lola: 16675752 markings, 58710640 edges, 169770 markings/sec, 55 secs
lola: 17670075 markings, 63400168 edges, 198865 markings/sec, 60 secs
lola: 19509220 markings, 68592152 edges, 367829 markings/sec, 65 secs
lola: 21017969 markings, 73014846 edges, 301750 markings/sec, 70 secs
lola: 21962344 markings, 77143981 edges, 188875 markings/sec, 75 secs
lola: 22751791 markings, 80842790 edges, 157889 markings/sec, 80 secs
lola: 23574820 markings, 84751270 edges, 164606 markings/sec, 85 secs
lola: 24743992 markings, 89545807 edges, 233834 markings/sec, 90 secs
lola: 26331622 markings, 94076010 edges, 317526 markings/sec, 95 secs
lola: 27643573 markings, 97922267 edges, 262390 markings/sec, 100 secs
lola: 28921956 markings, 102042668 edges, 255677 markings/sec, 105 secs
lola: 29731597 markings, 105788409 edges, 161928 markings/sec, 110 secs
lola: 30492015 markings, 109372981 edges, 152084 markings/sec, 115 secs
lola: 31262253 markings, 113053333 edges, 154048 markings/sec, 120 secs
lola: 32079146 markings, 116974720 edges, 163379 markings/sec, 125 secs
lola: 33418186 markings, 122137602 edges, 267808 markings/sec, 130 secs
lola: 34927058 markings, 126486737 edges, 301774 markings/sec, 135 secs
lola: 36240607 markings, 130338760 edges, 262710 markings/sec, 140 secs
lola: 37470993 markings, 133997878 edges, 246077 markings/sec, 145 secs
lola: 38656860 markings, 138309294 edges, 237173 markings/sec, 150 secs
lola: 39407276 markings, 141820995 edges, 150083 markings/sec, 155 secs
lola: 40131269 markings, 145250231 edges, 144799 markings/sec, 160 secs
lola: 40783870 markings, 148375959 edges, 130520 markings/sec, 165 secs
lola: 41468904 markings, 151674849 edges, 137007 markings/sec, 170 secs
lola: 42197557 markings, 155192437 edges, 145731 markings/sec, 175 secs
lola: 43021875 markings, 159198408 edges, 164864 markings/sec, 180 secs
lola: 44654351 markings, 164246148 edges, 326495 markings/sec, 185 secs
lola: 46048960 markings, 168299232 edges, 278922 markings/sec, 190 secs
lola: 47323766 markings, 172069473 edges, 254961 markings/sec, 195 secs
lola: 48513958 markings, 175625138 edges, 238038 markings/sec, 200 secs
lola: 49830706 markings, 179630771 edges, 263350 markings/sec, 205 secs
lola: 50587702 markings, 183118575 edges, 151399 markings/sec, 210 secs
lola: 51251381 markings, 186246180 edges, 132736 markings/sec, 215 secs
lola: 51872196 markings, 189200336 edges, 124163 markings/sec, 220 secs
lola: 52564174 markings, 192523107 edges, 138396 markings/sec, 225 secs
lola: 53269997 markings, 195931574 edges, 141165 markings/sec, 230 secs
lola: 53876236 markings, 198873454 edges, 121248 markings/sec, 235 secs
lola: 54552831 markings, 202157718 edges, 135319 markings/sec, 240 secs
lola: 55272747 markings, 205659957 edges, 143983 markings/sec, 245 secs
lola: 56396668 markings, 210325742 edges, 224784 markings/sec, 250 secs
lola: 58047422 markings, 215061484 edges, 330151 markings/sec, 255 secs
lola: 59405021 markings, 219042102 edges, 271520 markings/sec, 260 secs
lola: 60642791 markings, 222714969 edges, 247554 markings/sec, 265 secs
lola: 61857183 markings, 226349715 edges, 242878 markings/sec, 270 secs
lola: 63046824 markings, 229934410 edges, 237928 markings/sec, 275 secs
lola: 64229391 markings, 233991653 edges, 236513 markings/sec, 280 secs
lola: 64915946 markings, 237209882 edges, 137311 markings/sec, 285 secs
lola: 65592719 markings, 240414201 edges, 135355 markings/sec, 290 secs
lola: 66277193 markings, 243683383 edges, 136895 markings/sec, 295 secs
lola: 66936936 markings, 246860343 edges, 131949 markings/sec, 300 secs
lola: 67606905 markings, 250110836 edges, 133994 markings/sec, 305 secs
lola: 68289838 markings, 253428079 edges, 136587 markings/sec, 310 secs
lola: 68983019 markings, 256816284 edges, 138636 markings/sec, 315 secs
lola: 69646829 markings, 260059160 edges, 132762 markings/sec, 320 secs
lola: 70360242 markings, 263547859 edges, 142683 markings/sec, 325 secs
lola: 71222081 markings, 267785675 edges, 172368 markings/sec, 330 secs
lola: 72888053 markings, 272880042 edges, 333194 markings/sec, 335 secs
lola: 74354586 markings, 277173920 edges, 293307 markings/sec, 340 secs
lola: 75704958 markings, 281162488 edges, 270074 markings/sec, 345 secs
lola: 76861425 markings, 284611397 edges, 231293 markings/sec, 350 secs
lola: 78011377 markings, 288069469 edges, 229990 markings/sec, 355 secs
lola: 79143926 markings, 291487136 edges, 226510 markings/sec, 360 secs
lola: 80329887 markings, 295073873 edges, 237192 markings/sec, 365 secs
lola: 81344053 markings, 298952730 edges, 202833 markings/sec, 370 secs
lola: 81999069 markings, 302050524 edges, 131003 markings/sec, 375 secs
lola: 82620021 markings, 305004120 edges, 124190 markings/sec, 380 secs
lola: 83230264 markings, 307928314 edges, 122049 markings/sec, 385 secs
lola: 83818287 markings, 310756880 edges, 117605 markings/sec, 390 secs
lola: 84450402 markings, 313820136 edges, 126423 markings/sec, 395 secs
lola: 85100429 markings, 316983865 edges, 130005 markings/sec, 400 secs
lola: 85762363 markings, 320218407 edges, 132387 markings/sec, 405 secs
lola: 86436151 markings, 323516645 edges, 134758 markings/sec, 410 secs
lola: 87124831 markings, 326898571 edges, 137736 markings/sec, 415 secs
lola: 87826158 markings, 330335600 edges, 140265 markings/sec, 420 secs
lola: 88554777 markings, 333917785 edges, 145724 markings/sec, 425 secs
lola: 89355307 markings, 337875047 edges, 160106 markings/sec, 430 secs
lola: 90894047 markings, 343121921 edges, 307748 markings/sec, 435 secs
lola: 92381290 markings, 347475220 edges, 297449 markings/sec, 440 secs
lola: 93729464 markings, 351453427 edges, 269635 markings/sec, 445 secs
lola: 94995629 markings, 355215213 edges, 253233 markings/sec, 450 secs
lola: 96086778 markings, 358490808 edges, 218230 markings/sec, 455 secs
lola: 97205785 markings, 361868998 edges, 223801 markings/sec, 460 secs
lola: 98317655 markings, 365230530 edges, 222374 markings/sec, 465 secs
lola: 99393562 markings, 368487800 edges, 215181 markings/sec, 470 secs
lola: 100640691 markings, 372281103 edges, 249426 markings/sec, 475 secs
lola: 101555984 markings, 376087475 edges, 183059 markings/sec, 480 secs
lola: 102234967 markings, 379300307 edges, 135797 markings/sec, 485 secs
lola: 102867967 markings, 382329523 edges, 126600 markings/sec, 490 secs
lola: 103491668 markings, 385328100 edges, 124740 markings/sec, 495 secs
lola: 104115325 markings, 388340480 edges, 124731 markings/sec, 500 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown yes no yes unknown unknown unknown unknown no no
lola:
preliminary result: unknown unknown yes unknown unknown yes no yes unknown unknown unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown yes unknown unknown yes no yes unknown unknown unknown unknown no no
lola: memory consumption: 8841064 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown yes unknown unknown yes no yes unknown unknown unknown unknown no no
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="FMS-PT-00100"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is FMS-PT-00100, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987815300044"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FMS-PT-00100.tgz
mv FMS-PT-00100 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;