About the Execution of ITS-LoLa for AutoFlight-PT-03b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15751.000 | 3600000.00 | 3625658.00 | 9146.90 | F?FFFFTFT?TT?T?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r166-smll-158987787700412.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 AutoFlight-PT-03b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787700412
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 240K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 23:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 18:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 18:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 14:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 14:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 10:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 10:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 70K 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 AutoFlight-PT-03b-CTLFireability-00
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-01
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-02
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-03
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-04
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-05
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-06
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-07
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-08
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-09
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-10
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-11
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-12
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-13
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-14
FORMULA_NAME AutoFlight-PT-03b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591464563053
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 17:29:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 17:29:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 17:29:26] [INFO ] Load time of PNML (sax parser for PT used): 158 ms
[2020-06-06 17:29:26] [INFO ] Transformed 298 places.
[2020-06-06 17:29:26] [INFO ] Transformed 296 transitions.
[2020-06-06 17:29:26] [INFO ] Found NUPN structural information;
[2020-06-06 17:29:26] [INFO ] Parsed PT model containing 298 places and 296 transitions in 247 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 59 ms.
Incomplete random walk after 100000 steps, including 630 resets, run finished after 624 ms. (steps per millisecond=160 ) properties seen :[1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 296 rows 298 cols
[2020-06-06 17:29:27] [INFO ] Computed 22 place invariants in 16 ms
[2020-06-06 17:29:27] [INFO ] [Real]Absence check using 21 positive place invariants in 39 ms returned sat
[2020-06-06 17:29:27] [INFO ] [Real]Absence check using 21 positive and 1 generalized place invariants in 3 ms returned sat
[2020-06-06 17:29:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:27] [INFO ] [Real]Absence check using state equation in 433 ms returned sat
[2020-06-06 17:29:28] [INFO ] Deduced a trap composed of 44 places in 263 ms
[2020-06-06 17:29:28] [INFO ] Deduced a trap composed of 32 places in 214 ms
[2020-06-06 17:29:28] [INFO ] Deduced a trap composed of 33 places in 184 ms
[2020-06-06 17:29:29] [INFO ] Deduced a trap composed of 55 places in 147 ms
[2020-06-06 17:29:29] [INFO ] Deduced a trap composed of 39 places in 195 ms
[2020-06-06 17:29:29] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1182 ms
[2020-06-06 17:29:29] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 17:29:29] [INFO ] [Nat]Absence check using 21 positive place invariants in 106 ms returned sat
[2020-06-06 17:29:29] [INFO ] [Nat]Absence check using 21 positive and 1 generalized place invariants in 4 ms returned sat
[2020-06-06 17:29:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:29] [INFO ] [Nat]Absence check using state equation in 473 ms returned sat
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 44 places in 158 ms
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 32 places in 119 ms
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 33 places in 108 ms
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 55 places in 114 ms
[2020-06-06 17:29:30] [INFO ] Deduced a trap composed of 39 places in 93 ms
[2020-06-06 17:29:30] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 727 ms
[2020-06-06 17:29:30] [INFO ] Computed and/alt/rep : 295/398/295 causal constraints in 39 ms.
[2020-06-06 17:29:33] [INFO ] Added : 295 causal constraints over 59 iterations in 2484 ms. Result :sat
[2020-06-06 17:29:33] [INFO ] [Real]Absence check using 21 positive place invariants in 35 ms returned sat
[2020-06-06 17:29:33] [INFO ] [Real]Absence check using 21 positive and 1 generalized place invariants in 3 ms returned sat
[2020-06-06 17:29:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:33] [INFO ] [Real]Absence check using state equation in 483 ms returned sat
[2020-06-06 17:29:34] [INFO ] Deduced a trap composed of 32 places in 173 ms
[2020-06-06 17:29:34] [INFO ] Deduced a trap composed of 33 places in 192 ms
[2020-06-06 17:29:34] [INFO ] Deduced a trap composed of 50 places in 156 ms
[2020-06-06 17:29:34] [INFO ] Deduced a trap composed of 60 places in 139 ms
[2020-06-06 17:29:34] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 773 ms
[2020-06-06 17:29:34] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 17:29:34] [INFO ] [Nat]Absence check using 21 positive place invariants in 242 ms returned sat
[2020-06-06 17:29:34] [INFO ] [Nat]Absence check using 21 positive and 1 generalized place invariants in 5 ms returned sat
[2020-06-06 17:29:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:35] [INFO ] [Nat]Absence check using state equation in 461 ms returned sat
[2020-06-06 17:29:35] [INFO ] Deduced a trap composed of 32 places in 197 ms
[2020-06-06 17:29:35] [INFO ] Deduced a trap composed of 55 places in 223 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 41 places in 182 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 33 places in 201 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 40 places in 174 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 53 places in 115 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 45 places in 128 ms
[2020-06-06 17:29:36] [INFO ] Deduced a trap composed of 50 places in 113 ms
[2020-06-06 17:29:36] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1528 ms
[2020-06-06 17:29:37] [INFO ] Computed and/alt/rep : 295/398/295 causal constraints in 44 ms.
[2020-06-06 17:29:38] [INFO ] Added : 261 causal constraints over 53 iterations in 1696 ms. Result :sat
[2020-06-06 17:29:38] [INFO ] [Real]Absence check using 21 positive place invariants in 32 ms returned sat
[2020-06-06 17:29:38] [INFO ] [Real]Absence check using 21 positive and 1 generalized place invariants in 2 ms returned sat
[2020-06-06 17:29:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:39] [INFO ] [Real]Absence check using state equation in 433 ms returned sat
[2020-06-06 17:29:39] [INFO ] Deduced a trap composed of 30 places in 114 ms
[2020-06-06 17:29:39] [INFO ] Deduced a trap composed of 40 places in 81 ms
[2020-06-06 17:29:39] [INFO ] Deduced a trap composed of 37 places in 81 ms
[2020-06-06 17:29:39] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 337 ms
[2020-06-06 17:29:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 17:29:39] [INFO ] [Nat]Absence check using 21 positive place invariants in 193 ms returned sat
[2020-06-06 17:29:39] [INFO ] [Nat]Absence check using 21 positive and 1 generalized place invariants in 2 ms returned sat
[2020-06-06 17:29:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:40] [INFO ] [Nat]Absence check using state equation in 419 ms returned sat
[2020-06-06 17:29:40] [INFO ] Deduced a trap composed of 30 places in 149 ms
[2020-06-06 17:29:40] [INFO ] Deduced a trap composed of 40 places in 130 ms
[2020-06-06 17:29:40] [INFO ] Deduced a trap composed of 44 places in 154 ms
[2020-06-06 17:29:40] [INFO ] Deduced a trap composed of 41 places in 98 ms
[2020-06-06 17:29:40] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 641 ms
[2020-06-06 17:29:40] [INFO ] Computed and/alt/rep : 295/398/295 causal constraints in 34 ms.
[2020-06-06 17:29:43] [INFO ] Added : 291 causal constraints over 59 iterations in 2113 ms. Result :sat
[2020-06-06 17:29:43] [INFO ] [Real]Absence check using 21 positive place invariants in 37 ms returned sat
[2020-06-06 17:29:43] [INFO ] [Real]Absence check using 21 positive and 1 generalized place invariants in 5 ms returned sat
[2020-06-06 17:29:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:43] [INFO ] [Real]Absence check using state equation in 486 ms returned sat
[2020-06-06 17:29:43] [INFO ] Deduced a trap composed of 39 places in 158 ms
[2020-06-06 17:29:44] [INFO ] Deduced a trap composed of 37 places in 169 ms
[2020-06-06 17:29:44] [INFO ] Deduced a trap composed of 50 places in 141 ms
[2020-06-06 17:29:44] [INFO ] Deduced a trap composed of 40 places in 141 ms
[2020-06-06 17:29:44] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 742 ms
[2020-06-06 17:29:44] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 17:29:44] [INFO ] [Nat]Absence check using 21 positive place invariants in 214 ms returned sat
[2020-06-06 17:29:44] [INFO ] [Nat]Absence check using 21 positive and 1 generalized place invariants in 5 ms returned sat
[2020-06-06 17:29:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 17:29:45] [INFO ] [Nat]Absence check using state equation in 501 ms returned sat
[2020-06-06 17:29:45] [INFO ] Deduced a trap composed of 40 places in 152 ms
[2020-06-06 17:29:45] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 190 ms
[2020-06-06 17:29:45] [INFO ] Computed and/alt/rep : 295/398/295 causal constraints in 35 ms.
[2020-06-06 17:29:47] [INFO ] Added : 294 causal constraints over 59 iterations in 2206 ms. Result :sat
[2020-06-06 17:29:48] [INFO ] Flatten gal took : 126 ms
[2020-06-06 17:29:48] [INFO ] Flatten gal took : 42 ms
[2020-06-06 17:29:48] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 7 ms.
[2020-06-06 17:29:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 7 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ AutoFlight-PT-03b @ 3570 seconds
FORMULA AutoFlight-PT-03b-CTLFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-03b-CTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ AutoFlight-PT-03b
{
"exit":
{
"memory": 3266340,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p273 <= 0) OR ((1 <= p289)))",
"processed_size": 31,
"rewrites": 21
},
"result":
{
"preliminary_value": "no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"store":
{
"type": "dfs/tscc"
},
"type": "possible_invariance",
"workflow": "stateequation"
}
}
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: 594/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 298
lola: finding significant places
lola: 298 places, 296 transitions, 276 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p154 <= 1)
lola: LP says that atomic proposition is always true: (p222 <= 1)
lola: LP says that atomic proposition is always true: (p201 <= 1)
lola: LP says that atomic proposition is always true: (p94 <= 1)
lola: LP says that atomic proposition is always true: (p221 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p291 <= 1)
lola: LP says that atomic proposition is always true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p203 <= 1)
lola: LP says that atomic proposition is always true: (p178 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p173 <= 1)
lola: LP says that atomic proposition is always true: (p284 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p210 <= 1)
lola: LP says that atomic proposition is always true: (p294 <= 1)
lola: LP says that atomic proposition is always true: (p184 <= 1)
lola: LP says that atomic proposition is always true: (p285 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p152 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p289 <= 1)
lola: LP says that atomic proposition is always true: (p273 <= 1)
lola: LP says that atomic proposition is always true: (p278 <= 1)
lola: LP says that atomic proposition is always true: (p113 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p208 <= 1)
lola: LP says that atomic proposition is always true: (p134 <= 1)
lola: LP says that atomic proposition is always true: (p184 <= 1)
lola: LP says that atomic proposition is always true: (p285 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p42 <= 1)
lola: LP says that atomic proposition is always true: (p233 <= 1)
lola: LP says that atomic proposition is always true: (p199 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p237 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p56 <= 1)
lola: LP says that atomic proposition is always true: (p257 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p222 <= 1)
lola: LP says that atomic proposition is always true: (p239 <= 1)
lola: LP says that atomic proposition is always true: (p294 <= 1)
lola: LP says that atomic proposition is always true: (p154 <= 1)
lola: LP says that atomic proposition is always true: (p148 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: (((1 <= p106)) OR (E (F (((1 <= p201) AND (((1 <= p154)) OR ((1 <= p222)))))) AND A (F (((1 <= p94)))))) : (E (F (A (G (((1 <= p221)))))) OR ((1 <= p177))) : A (F ((((E (G (((1 <= p5)))) AND ((p291 <= 0))) AND ((p69 <= 0))) AND ((p203 <= 0))))) : (A (F ((((1 <= p178)) OR ((1 <= p111))))) AND ((((A (X (((1 <= p114)))) OR ((p173 <= 0))) OR ((p284 <= 0))) OR ((1 <= p35))) OR ((1 <= p210) AND (1 <= p294)))) : A (F (E (X (A (G (((1 <= p184) AND (1 <= p285)))))))) : (A (G (((p107 <= 0)))) AND A (F ((((p108 <= 0)) AND ((p152 <= 0)))))) : NOT(A (F (((1 <= p212))))) : E (X ((A (F (((1 <= p84)))) OR ((1 <= p144))))) : E (F (((1 <= p115)))) : E (F (A (G (((1 <= p273) AND ((p289 <= 0))))))) : ((E (X (E (F (((1 <= p278)))))) OR E (F (E (G (((1 <= p113))))))) OR E (G (A ((((1 <= p161)) U ((1 <= p22))))))) : E (F ((((1 <= p60) AND (1 <= p208)) OR ((1 <= p134) AND (1 <= p184) AND (1 <= p285) AND (1 <= p212) AND (1 <= p42) AND (1 <= p233) AND (1 <= p199))))) : (E (G (((1 <= p85) AND (((1 <= p46)) OR ((1 <= p114)) OR ((1 <= p71) AND (1 <= p237)))))) OR A (G (((p75 <= 0))))) : (E (F (((1 <= p56)))) OR A (X (A (X (((1 <= p257))))))) : E (((((E (F (((1 <= p241)))) OR ((1 <= p222))) OR ((p239 <= 0))) OR ((p294 <= 0))) U ((1 <= p154) AND (1 <= p148)))) : A (F (((1 <= p9))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:554
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((((1 <= p178)) OR ((1 <= p111))))) AND (A (X (((1 <= p114)))) OR (((p173 <= 0)) OR (((p284 <= 0)) OR (((1 <= p35)) OR ((1 <= p210) AND (1 <= p294)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p173 <= 0)) OR (((p284 <= 0)) OR (((1 <= p35)) OR ((1 <= p210) AND (1 <= p294)))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:798
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:798
lola: processed formula: (((p173 <= 0)) OR ((p284 <= 0)) OR ((1 <= p35)) OR ((1 <= p210) AND (1 <= p294)))
lola: processed formula length: 81
lola: 22 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p178)) OR ((1 <= p111)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((p178 <= 0)) AND ((p111 <= 0)))
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: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p178)) OR ((1 <= p111)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 5486 markings, 9480 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (A (G (((1 <= p184) AND (1 <= p285))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(EX(AG(((1 <= p184) AND (1 <= p285)))))
lola: processed formula length: 41
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: 1168 markings, 1324 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (F (((1 <= p84)))))) OR E (X (((1 <= p144)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (((1 <= p144))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(((1 <= p144)))
lola: processed formula length: 17
lola: 18 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 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (F (((1 <= p84))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AF(((1 <= p84))))
lola: processed formula length: 20
lola: 19 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 157 markings, 156 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (E (F (((1 <= p278)))))) OR (E (F (E (G (((1 <= p113)))))) OR E (G (A ((((1 <= p161)) U ((1 <= p22))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((1 <= p113))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: ((1 <= p113))
lola: processed formula length: 13
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 /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p113 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p113))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 872 markings, 1348 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p56)))) OR A (X (A (X (((1 <= p257)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p56))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p56))))
lola: processed formula length: 20
lola: 18 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p56))
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 16 markings, 15 edges
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p115))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p115))))
lola: processed formula length: 21
lola: 18 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p115))
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
lola: The predicate is reachable.
lola: 15 markings, 14 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p60) AND (1 <= p208)) OR ((1 <= p134) AND (1 <= p184) AND (1 <= p285) AND (1 <= p212) AND (1 <= p42) AND (1 <= p233) AND (1 <= p199)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p60) AND (1 <= p208)) OR ((1 <= p134) AND (1 <= p184) AND (1 <= p285) AND (1 <= p212) AND (1 <= p42) AND (1 <= p233) AND (1 <= p199)))))
lola: processed formula length: 151
lola: 18 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p60) AND (1 <= p208)) OR ((1 <= p134) AND (1 <= p184) AND (1 <= p285) AND (1 <= p212) AND (1 <= p42) AND (1 <= p233) AND (1 <= p199)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 9 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p212 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((p212 <= 0))))
lola: processed formula length: 21
lola: 18 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k: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 <= p212))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 2325 markings, 2780 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p9))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p9 <= 0))
lola: processed formula length: 11
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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p9))
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 / EG
lola: The predicate eventually occurs.
lola: 123 markings, 126 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p273) AND ((p289 <= 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: ((p273 <= 0) OR ((1 <= p289)))
lola: processed formula length: 31
lola: 21 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k: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 <= p273) AND ((p289 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: 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: ((p273 <= 0) OR ((1 <= p289)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-9-0.sara
lola: state equation: write sara problem file to CTLFireability-9-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-9-1.sara.
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-9-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 291335 markings, 1642394 edges, 58267 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 569168 markings, 3269590 edges, 55567 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 812959 markings, 4894729 edges, 48758 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 1060279 markings, 6510895 edges, 49464 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 1299947 markings, 8129043 edges, 47934 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 1545332 markings, 9719984 edges, 49077 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 1785547 markings, 11327083 edges, 48043 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 1972655 markings, 12586900 edges, 37422 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 2223994 markings, 14219866 edges, 50268 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 2460713 markings, 15813393 edges, 47344 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 2716360 markings, 17437350 edges, 51129 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 2989237 markings, 19059164 edges, 54575 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 3293476 markings, 20797359 edges, 60848 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 3568743 markings, 22509079 edges, 55053 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 3837893 markings, 24194875 edges, 53830 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 4090955 markings, 25899475 edges, 50612 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 4379130 markings, 27617600 edges, 57635 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 4647975 markings, 29341765 edges, 53769 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 4888641 markings, 31049109 edges, 48133 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 5136041 markings, 32748916 edges, 49480 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 5361943 markings, 34427837 edges, 45180 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 5563986 markings, 36099775 edges, 40409 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 5801892 markings, 37773424 edges, 47581 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 6030136 markings, 39451816 edges, 45649 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 6227698 markings, 41116095 edges, 39512 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 6460573 markings, 42784023 edges, 46575 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 6659564 markings, 44460678 edges, 39798 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 6868245 markings, 46131396 edges, 41736 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 7048637 markings, 47790105 edges, 36078 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 7270590 markings, 49436462 edges, 44391 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 7496167 markings, 51081075 edges, 45115 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 7689142 markings, 52707227 edges, 38595 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 7915677 markings, 54345410 edges, 45307 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 8148389 markings, 56025908 edges, 46542 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 8355408 markings, 57688614 edges, 41404 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 8574557 markings, 59348214 edges, 43830 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 8802534 markings, 61014943 edges, 45595 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 9023089 markings, 62670176 edges, 44111 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 9226953 markings, 64309921 edges, 40773 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 9463996 markings, 66004958 edges, 47409 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 9693978 markings, 67705660 edges, 45996 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 9901677 markings, 69395778 edges, 41540 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 10115449 markings, 71065050 edges, 42754 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 10317849 markings, 72739074 edges, 40480 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 10492870 markings, 74396677 edges, 35004 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 10689702 markings, 76047635 edges, 39366 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 10888989 markings, 77705171 edges, 39857 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 11088017 markings, 79358630 edges, 39806 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 11263267 markings, 80997596 edges, 35050 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 11463424 markings, 82632160 edges, 40031 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 11637874 markings, 84278406 edges, 34890 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 11824232 markings, 85926426 edges, 37272 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 11979187 markings, 87552335 edges, 30991 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 12156095 markings, 89170527 edges, 35382 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 12353450 markings, 90786146 edges, 39471 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 12547608 markings, 92399537 edges, 38832 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 12714769 markings, 93990797 edges, 33432 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 12913668 markings, 95600008 edges, 39780 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 13110511 markings, 97259484 edges, 39369 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 13305589 markings, 98911887 edges, 39016 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 13486439 markings, 100559712 edges, 36170 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 13690928 markings, 102197352 edges, 40898 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 13888347 markings, 103839899 edges, 39484 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 14063860 markings, 105464097 edges, 35103 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 14251529 markings, 107085010 edges, 37534 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 14517472 markings, 108651970 edges, 53189 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 14771368 markings, 110343844 edges, 50779 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 14967801 markings, 111735316 edges, 39287 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 15230443 markings, 113419953 edges, 52528 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 15479715 markings, 115076175 edges, 49854 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 15704618 markings, 116766759 edges, 44981 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 15911086 markings, 118473225 edges, 41294 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 16141131 markings, 120178955 edges, 46009 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 16361017 markings, 121855992 edges, 43977 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 16642833 markings, 123546959 edges, 56363 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 16897965 markings, 125256801 edges, 51026 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 17145724 markings, 126959879 edges, 49552 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 17403648 markings, 128650005 edges, 51585 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 17687128 markings, 130306769 edges, 56696 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 17938102 markings, 131908527 edges, 50195 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 18188134 markings, 133626465 edges, 50006 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 18436808 markings, 135317049 edges, 49735 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 18649639 markings, 137025110 edges, 42566 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 18877465 markings, 138748937 edges, 45565 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 19138230 markings, 140437916 edges, 52153 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 19385826 markings, 142149973 edges, 49519 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 19644249 markings, 143822857 edges, 51685 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 19893894 markings, 145466132 edges, 49929 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 20118923 markings, 147121587 edges, 45006 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 20331354 markings, 148784057 edges, 42486 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 20597984 markings, 150468107 edges, 53326 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 20842756 markings, 152152385 edges, 48954 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 21064468 markings, 153832017 edges, 44342 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 21280921 markings, 155507130 edges, 43291 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 21503482 markings, 157178537 edges, 44512 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 21715521 markings, 158847767 edges, 42408 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 21912364 markings, 160507219 edges, 39369 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 22100697 markings, 162169737 edges, 37667 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 22337014 markings, 163814195 edges, 47263 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 22613357 markings, 165496268 edges, 55269 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 22842344 markings, 167166578 edges, 45797 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no no unknown yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 987112 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 10 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (G (((1 <= p5)))) AND (((p291 <= 0)) AND (((p69 <= 0)) AND ((p203 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((EG(((1 <= p5))) AND (((p291 <= 0)) AND (((p69 <= 0)) AND ((p203 <= 0))))))
lola: processed formula length: 78
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 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 454840 markings, 1525045 edges, 90968 markings/sec, 0 secs
lola: 910414 markings, 3150152 edges, 91115 markings/sec, 5 secs
lola: 1357494 markings, 4747985 edges, 89416 markings/sec, 10 secs
lola: 1793730 markings, 6316853 edges, 87247 markings/sec, 15 secs
lola: 2253243 markings, 7919607 edges, 91903 markings/sec, 20 secs
lola: 2740743 markings, 9537315 edges, 97500 markings/sec, 25 secs
lola: 3208592 markings, 11160002 edges, 93570 markings/sec, 30 secs
lola: 3676592 markings, 12795065 edges, 93600 markings/sec, 35 secs
lola: 4147113 markings, 14437426 edges, 94104 markings/sec, 40 secs
lola: 4614113 markings, 16068398 edges, 93400 markings/sec, 45 secs
lola: 5080616 markings, 17698212 edges, 93301 markings/sec, 50 secs
lola: 5536603 markings, 19325063 edges, 91197 markings/sec, 55 secs
lola: 5938473 markings, 20934827 edges, 80374 markings/sec, 60 secs
lola: 6402815 markings, 22558188 edges, 92868 markings/sec, 65 secs
lola: 6872052 markings, 24178264 edges, 93847 markings/sec, 70 secs
lola: 7349047 markings, 25828464 edges, 95399 markings/sec, 75 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 7516940 markings, 26460345 edges
lola: ========================================
lola: subprocess 11 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (F (((1 <= p241)))) OR (((1 <= p222)) OR (((p239 <= 0)) OR ((p294 <= 0))))) U ((1 <= p154) AND (1 <= p148))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((EF(((1 <= p241))) OR (((1 <= p222)) OR (((p239 <= 0)) OR ((p294 <= 0))))) U ((1 <= p154) AND (1 <= p148)))
lola: processed formula length: 109
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 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 254090 markings, 1535701 edges, 50818 markings/sec, 0 secs
lola: 507987 markings, 3127024 edges, 50779 markings/sec, 5 secs
lola: 735574 markings, 4736124 edges, 45517 markings/sec, 10 secs
lola: 951781 markings, 6308919 edges, 43241 markings/sec, 15 secs
lola: 1000304 markings, 7912644 edges, 9705 markings/sec, 20 secs
lola: 1000304 markings, 9367806 edges, 0 markings/sec, 25 secs
lola: 1000304 markings, 10933428 edges, 0 markings/sec, 30 secs
lola: 1000304 markings, 12514033 edges, 0 markings/sec, 35 secs
lola: 1000304 markings, 14076382 edges, 0 markings/sec, 40 secs
lola: 1166166 markings, 15653444 edges, 33172 markings/sec, 45 secs
lola: 1353416 markings, 17199035 edges, 37450 markings/sec, 50 secs
lola: 1537396 markings, 18724580 edges, 36796 markings/sec, 55 secs
lola: 1698204 markings, 20196987 edges, 32162 markings/sec, 60 secs
lola: 1855888 markings, 21658885 edges, 31537 markings/sec, 65 secs
lola: 2015931 markings, 23127433 edges, 32009 markings/sec, 70 secs
lola: 2182951 markings, 24637090 edges, 33404 markings/sec, 75 secs
lola: 2342865 markings, 26119865 edges, 31983 markings/sec, 80 secs
lola: 2503677 markings, 27604504 edges, 32162 markings/sec, 85 secs
lola: 2643469 markings, 29195003 edges, 27958 markings/sec, 90 secs
lola: 2771690 markings, 30738285 edges, 25644 markings/sec, 95 secs
lola: 2957204 markings, 32282113 edges, 37103 markings/sec, 100 secs
lola: 3243993 markings, 33948523 edges, 57358 markings/sec, 105 secs
lola: 3521618 markings, 35588472 edges, 55525 markings/sec, 110 secs
lola: 3770980 markings, 37235104 edges, 49872 markings/sec, 115 secs
lola: 4026107 markings, 38852562 edges, 51025 markings/sec, 120 secs
lola: 4290139 markings, 40491051 edges, 52806 markings/sec, 125 secs
lola: 4551970 markings, 42110659 edges, 52366 markings/sec, 130 secs
lola: 4786010 markings, 43764632 edges, 46808 markings/sec, 135 secs
lola: 5029371 markings, 45381829 edges, 48672 markings/sec, 140 secs
lola: 5248285 markings, 46979657 edges, 43783 markings/sec, 145 secs
lola: 5455752 markings, 48607883 edges, 41493 markings/sec, 150 secs
lola: 5661426 markings, 50221622 edges, 41135 markings/sec, 155 secs
lola: 5883205 markings, 51806423 edges, 44356 markings/sec, 160 secs
lola: 6101053 markings, 53409897 edges, 43570 markings/sec, 165 secs
lola: 6297298 markings, 55013598 edges, 39249 markings/sec, 170 secs
lola: 6513883 markings, 56603494 edges, 43317 markings/sec, 175 secs
lola: 6707289 markings, 58185096 edges, 38681 markings/sec, 180 secs
lola: 6897230 markings, 59796291 edges, 37988 markings/sec, 185 secs
lola: 7074235 markings, 61395055 edges, 35401 markings/sec, 190 secs
lola: 7288784 markings, 62960279 edges, 42910 markings/sec, 195 secs
lola: 7502320 markings, 64517751 edges, 42707 markings/sec, 200 secs
lola: 7687869 markings, 66088067 edges, 37110 markings/sec, 205 secs
lola: 7904182 markings, 67645051 edges, 43263 markings/sec, 210 secs
lola: 8115179 markings, 69221266 edges, 42199 markings/sec, 215 secs
lola: 8328783 markings, 70829023 edges, 42721 markings/sec, 220 secs
lola: 8526512 markings, 72420665 edges, 39546 markings/sec, 225 secs
lola: 8746902 markings, 73984191 edges, 44078 markings/sec, 230 secs
lola: 8962296 markings, 75566401 edges, 43079 markings/sec, 235 secs
lola: 9152855 markings, 77152114 edges, 38112 markings/sec, 240 secs
lola: 9377518 markings, 78730535 edges, 44933 markings/sec, 245 secs
lola: 9597912 markings, 80339816 edges, 44079 markings/sec, 250 secs
lola: 9793596 markings, 81976790 edges, 39137 markings/sec, 255 secs
lola: 10007133 markings, 83577694 edges, 42707 markings/sec, 260 secs
lola: 10193233 markings, 85153112 edges, 37220 markings/sec, 265 secs
lola: 10386643 markings, 86755034 edges, 38682 markings/sec, 270 secs
lola: 10556951 markings, 88356305 edges, 34062 markings/sec, 275 secs
lola: 10751212 markings, 89920458 edges, 38852 markings/sec, 280 secs
lola: 10932286 markings, 91462165 edges, 36215 markings/sec, 285 secs
lola: 11118905 markings, 93041846 edges, 37324 markings/sec, 290 secs
lola: 11289518 markings, 94598283 edges, 34123 markings/sec, 295 secs
lola: 11476304 markings, 96140834 edges, 37357 markings/sec, 300 secs
lola: 11640137 markings, 97690569 edges, 32767 markings/sec, 305 secs
lola: 11817059 markings, 99248017 edges, 35384 markings/sec, 310 secs
lola: 11966285 markings, 100808329 edges, 29845 markings/sec, 315 secs
lola: 12129907 markings, 102372357 edges, 32724 markings/sec, 320 secs
lola: 12320723 markings, 103878777 edges, 38163 markings/sec, 325 secs
lola: 12506129 markings, 105408030 edges, 37081 markings/sec, 330 secs
lola: 12668802 markings, 106946909 edges, 32535 markings/sec, 335 secs
lola: 12840109 markings, 108442514 edges, 34261 markings/sec, 340 secs
lola: 13033614 markings, 109986874 edges, 38701 markings/sec, 345 secs
lola: 13223324 markings, 111557995 edges, 37942 markings/sec, 350 secs
lola: 13390149 markings, 113137775 edges, 33365 markings/sec, 355 secs
lola: 13578975 markings, 114706910 edges, 37765 markings/sec, 360 secs
lola: 13764969 markings, 116247818 edges, 37199 markings/sec, 365 secs
lola: 13953974 markings, 117813064 edges, 37801 markings/sec, 370 secs
lola: 14116090 markings, 119354386 edges, 32423 markings/sec, 375 secs
lola: 14325213 markings, 120851865 edges, 41825 markings/sec, 380 secs
lola: 14567129 markings, 122365377 edges, 48383 markings/sec, 385 secs
lola: 14800460 markings, 123976046 edges, 46666 markings/sec, 390 secs
lola: 15045876 markings, 125626645 edges, 49083 markings/sec, 395 secs
lola: 15289507 markings, 127225345 edges, 48726 markings/sec, 400 secs
lola: 15526651 markings, 128802358 edges, 47429 markings/sec, 405 secs
lola: 15741421 markings, 130444080 edges, 42954 markings/sec, 410 secs
lola: 15940331 markings, 132072247 edges, 39782 markings/sec, 415 secs
lola: 16157047 markings, 133708253 edges, 43343 markings/sec, 420 secs
lola: 16370786 markings, 135324022 edges, 42748 markings/sec, 425 secs
lola: 16642810 markings, 136939126 edges, 54405 markings/sec, 430 secs
lola: 16888454 markings, 138572684 edges, 49129 markings/sec, 435 secs
lola: 17120937 markings, 140205500 edges, 46497 markings/sec, 440 secs
lola: 17372198 markings, 141829897 edges, 50252 markings/sec, 445 secs
lola: 17625704 markings, 143381402 edges, 50701 markings/sec, 450 secs
lola: 17875827 markings, 144895665 edges, 50025 markings/sec, 455 secs
lola: 18110195 markings, 146517997 edges, 46874 markings/sec, 460 secs
lola: 18360317 markings, 148166982 edges, 50024 markings/sec, 465 secs
lola: 18575357 markings, 149774563 edges, 43008 markings/sec, 470 secs
lola: 18782631 markings, 151414191 edges, 41455 markings/sec, 475 secs
lola: 19020923 markings, 153047983 edges, 47658 markings/sec, 480 secs
lola: 19253185 markings, 154670939 edges, 46452 markings/sec, 485 secs
lola: 19505036 markings, 156331870 edges, 50370 markings/sec, 490 secs
lola: 19754191 markings, 157889841 edges, 49831 markings/sec, 495 secs
lola: 19973631 markings, 159443191 edges, 43888 markings/sec, 500 secs
lola: 20187620 markings, 161045243 edges, 42798 markings/sec, 505 secs
lola: 20413660 markings, 162636233 edges, 45208 markings/sec, 510 secs
lola: 20652405 markings, 164244372 edges, 47749 markings/sec, 515 secs
lola: 20880640 markings, 165814454 edges, 45647 markings/sec, 520 secs
lola: 21090699 markings, 167430883 edges, 42012 markings/sec, 525 secs
lola: 21300422 markings, 169033144 edges, 41945 markings/sec, 530 secs
lola: 21514379 markings, 170656511 edges, 42791 markings/sec, 535 secs
lola: 21719929 markings, 172276649 edges, 41110 markings/sec, 540 secs
lola: 21911107 markings, 173886861 edges, 38236 markings/sec, 545 secs
lola: 22093092 markings, 175494604 edges, 36397 markings/sec, 550 secs
lola: 22311853 markings, 177060636 edges, 43752 markings/sec, 555 secs
lola: 22574535 markings, 178637913 edges, 52536 markings/sec, 560 secs
lola: 22800753 markings, 180239432 edges, 45244 markings/sec, 565 secs
lola: 22999262 markings, 181790034 edges, 39702 markings/sec, 570 secs
lola: 23227932 markings, 183370439 edges, 45734 markings/sec, 575 secs
lola: 23425912 markings, 184951297 edges, 39596 markings/sec, 580 secs
lola: 23672961 markings, 186568192 edges, 49410 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no no no unknown yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 1864568 KB
lola: time consumption: 1190 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G (((1 <= p221)))))) OR ((1 <= p177)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p177))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p177))
lola: processed formula length: 13
lola: 17 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 793 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p221))))))
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: ((p221 <= 0))
lola: processed formula length: 13
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: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 <= p221))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 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: ((p221 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-13-0.sara.
lola: state equation: write sara problem file to CTLFireability-13-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-13-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 264744 markings, 1604036 edges, 52949 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 523683 markings, 3227478 edges, 51788 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 753505 markings, 4868812 edges, 45964 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 973773 markings, 6471611 edges, 44054 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 1205618 markings, 8104100 edges, 46369 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 1424108 markings, 9694131 edges, 43698 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 1654051 markings, 11313148 edges, 45989 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 1864904 markings, 12846153 edges, 42171 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 2092958 markings, 14451169 edges, 45611 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 2316139 markings, 16074930 edges, 44636 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 2489584 markings, 17338157 edges, 34689 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 2728980 markings, 18978795 edges, 47879 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 2985770 markings, 20600122 edges, 51358 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 3289279 markings, 22333661 edges, 60702 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 3565816 markings, 24049250 edges, 55307 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 3828563 markings, 25707827 edges, 52549 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 4084265 markings, 27422638 edges, 51140 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 4372029 markings, 29138442 edges, 57553 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 4640913 markings, 30852478 edges, 53777 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 4881388 markings, 32563125 edges, 48095 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 5129086 markings, 34250925 edges, 49540 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 5356530 markings, 35943054 edges, 45489 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 5552065 markings, 37581011 edges, 39107 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 5787277 markings, 39229759 edges, 47042 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 6017924 markings, 40911363 edges, 46129 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 6212471 markings, 42551787 edges, 38909 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 6445651 markings, 44224036 edges, 46636 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 6644551 markings, 45896873 edges, 39780 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 6854319 markings, 47569721 edges, 41954 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 7031525 markings, 49232500 edges, 35441 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 7252970 markings, 50875811 edges, 44289 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 7479162 markings, 52514952 edges, 45238 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 7674977 markings, 54139923 edges, 39163 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 7897277 markings, 55768112 edges, 44460 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 8122157 markings, 57438409 edges, 44976 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 8339658 markings, 59106663 edges, 43500 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 8550275 markings, 60763959 edges, 42123 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 8782020 markings, 62427866 edges, 46349 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 9005593 markings, 64087452 edges, 44715 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 9209985 markings, 65729162 edges, 40878 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 9444501 markings, 67411690 edges, 46903 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 9674640 markings, 69113627 edges, 46028 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 9881730 markings, 70799338 edges, 41418 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 10095421 markings, 72453153 edges, 42738 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 10295472 markings, 74117473 edges, 40010 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 10474713 markings, 75777046 edges, 35848 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 10665232 markings, 77426037 edges, 38104 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 10868903 markings, 79085460 edges, 40734 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 11067424 markings, 80737530 edges, 39704 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 11237983 markings, 82365451 edges, 34112 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 11442368 markings, 83997974 edges, 40877 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 11617204 markings, 85640776 edges, 34967 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 11804455 markings, 87288510 edges, 37450 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 11960285 markings, 88911582 edges, 31166 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 12129134 markings, 90531946 edges, 33770 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 12330597 markings, 92145890 edges, 40293 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 12524807 markings, 93754799 edges, 38842 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 12692976 markings, 95345095 edges, 33634 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 12886596 markings, 96941843 edges, 38724 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 13083966 markings, 98599958 edges, 39474 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 13282561 markings, 100251353 edges, 39719 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 13460357 markings, 101896906 edges, 35559 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 13662489 markings, 103530633 edges, 40426 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 13860686 markings, 105165567 edges, 39639 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 14040148 markings, 106790247 edges, 35892 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 14221823 markings, 108407172 edges, 36335 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 14481652 markings, 109967127 edges, 51966 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 14734910 markings, 111642709 edges, 50652 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 14978551 markings, 113367755 edges, 48728 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 15238651 markings, 115045584 edges, 52020 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 15439936 markings, 116371629 edges, 40257 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 15669028 markings, 118045171 edges, 45818 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 15879179 markings, 119753730 edges, 42030 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 16101889 markings, 121455101 edges, 44542 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 16323116 markings, 123126610 edges, 44245 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 16599701 markings, 124810725 edges, 55317 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 16856447 markings, 126512781 edges, 51349 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 17096672 markings, 128211673 edges, 48045 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 17358048 markings, 129899583 edges, 52275 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 17628737 markings, 131562186 edges, 54138 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 17889484 markings, 133152689 edges, 52149 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 18135448 markings, 134855568 edges, 49193 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 18390914 markings, 136548183 edges, 51093 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 18611879 markings, 138250753 edges, 44193 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 18832046 markings, 139965068 edges, 44033 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 19086935 markings, 141654357 edges, 50978 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 19331102 markings, 143356594 edges, 48833 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 19593610 markings, 145046719 edges, 52502 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 19846238 markings, 146686389 edges, 50526 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 20074895 markings, 148329540 edges, 45731 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 20278018 markings, 149992184 edges, 40625 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 20543930 markings, 151666280 edges, 53182 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 20788603 markings, 153348537 edges, 48935 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 21016753 markings, 155025294 edges, 45630 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 21229223 markings, 156700730 edges, 42494 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 21455285 markings, 158369054 edges, 45212 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 21667780 markings, 160039532 edges, 42499 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 21872370 markings, 161701740 edges, 40918 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 22058474 markings, 163354815 edges, 37221 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 22271705 markings, 165005173 edges, 42646 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 22550690 markings, 166673263 edges, 55797 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 22792732 markings, 168344100 edges, 48408 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 23005357 markings, 170000510 edges, 42525 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 23243479 markings, 171658850 edges, 47624 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 23451860 markings, 173303214 edges, 41676 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 23708042 markings, 175009190 edges, 51236 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 23921622 markings, 176693358 edges, 42716 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 24177560 markings, 178322450 edges, 51188 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 24438401 markings, 179998135 edges, 52168 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 24688363 markings, 181641191 edges, 49992 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 24936209 markings, 183325439 edges, 49569 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 25143963 markings, 184995494 edges, 41551 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 25401767 markings, 186655692 edges, 51561 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 25621024 markings, 188209860 edges, 43851 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 25830455 markings, 189887056 edges, 41886 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 26058572 markings, 191608331 edges, 45623 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 26266166 markings, 193239206 edges, 41519 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 26456776 markings, 194920912 edges, 38122 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no no no unknown yes no yes unknown yes yes unknown yes unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no unknown yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 1138976 KB
lola: time consumption: 1785 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: memory consumption: 1138976 KB
lola: time consumption: 1785 seconds
lola: print data as JSON (--json)
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no unknown yes no yes unknown yes yes unknown yes unknown yes
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p107 <= 0)))) AND A (F ((((p108 <= 0)) AND ((p152 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p107 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p107 <= 0))))
lola: processed formula length: 21
lola: 19 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p107))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 30 markings, 29 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 14 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p106)) OR (E (F (((1 <= p201) AND (((1 <= p154)) OR ((1 <= p222)))))) AND A (F (((1 <= p94))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p106))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p106))
lola: processed formula length: 13
lola: 17 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1785 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p94))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p94 <= 0))
lola: processed formula length: 12
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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p94))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 3986 markings, 7061 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 1785 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (((1 <= p85) AND (((1 <= p46)) OR ((1 <= p114)) OR ((1 <= p71) AND (1 <= p237)))))) OR A (G (((p75 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1785 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p75 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p75 <= 0))))
lola: processed formula length: 20
lola: 19 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p75))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 18 markings, 17 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p273) AND ((p289 <= 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: ((p273 <= 0) OR ((1 <= p289)))
lola: processed formula length: 31
lola: 21 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 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: ((p273 <= 0) OR ((1 <= p289)))
lola: state equation task get result unparse finished id 1
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 <= p273) AND ((p289 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-16-0.sara
lola: state equation: write sara problem file to CTLFireability-16-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-16-0.sara.
sara: try reading problem file CTLFireability-16-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 279529 markings, 1571670 edges, 55906 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 559049 markings, 3197994 edges, 55904 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 799949 markings, 4824322 edges, 48180 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 1048238 markings, 6434121 edges, 49658 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 1289043 markings, 8048669 edges, 48161 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 1531387 markings, 9644329 edges, 48469 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 1773909 markings, 11247371 edges, 48504 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 2011355 markings, 12834279 edges, 47489 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 2262378 markings, 14467099 edges, 50205 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 2499819 markings, 16071041 edges, 47488 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 2755615 markings, 17694710 edges, 51159 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 3039102 markings, 19340928 edges, 56697 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 3342591 markings, 21074141 edges, 60698 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 3606122 markings, 22782538 edges, 52706 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 3882190 markings, 24462937 edges, 55214 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 4134280 markings, 26188416 edges, 50418 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 4423653 markings, 27897962 edges, 57875 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 4687141 markings, 29607855 edges, 52698 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 4926964 markings, 31303184 edges, 47965 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 5165422 markings, 32990600 edges, 47692 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 5393885 markings, 34676774 edges, 45693 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 5598841 markings, 36351718 edges, 40991 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 5835571 markings, 38024625 edges, 47346 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 6060718 markings, 39698336 edges, 45029 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 6259602 markings, 41358298 edges, 39777 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 6489712 markings, 43018766 edges, 46022 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 6690495 markings, 44691358 edges, 40157 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 6891213 markings, 46350984 edges, 40144 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 7074259 markings, 48003003 edges, 36609 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 7297904 markings, 49641781 edges, 44729 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 7520398 markings, 51279481 edges, 44499 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 7712920 markings, 52898560 edges, 38504 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 7943243 markings, 54536030 edges, 46065 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 8174941 markings, 56205629 edges, 46340 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 8375202 markings, 57863983 edges, 40052 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 8601342 markings, 59519190 edges, 45228 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 8823769 markings, 61175389 edges, 44485 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 9039277 markings, 62820631 edges, 43102 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 9243250 markings, 64452031 edges, 40795 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 9482164 markings, 66148064 edges, 47783 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 9709528 markings, 67839898 edges, 45473 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 9918896 markings, 69520752 edges, 41874 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 10130081 markings, 71184935 edges, 42237 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 10329225 markings, 72852284 edges, 39829 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 10504021 markings, 74503438 edges, 34959 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 10703634 markings, 76147192 edges, 39923 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 10899802 markings, 77796688 edges, 39234 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 11097234 markings, 79441794 edges, 39486 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 11273661 markings, 81075564 edges, 35285 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 11471619 markings, 82704625 edges, 39592 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 11645261 markings, 84346200 edges, 34728 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 11830723 markings, 85988158 edges, 37092 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 11984599 markings, 87607658 edges, 30775 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 12163233 markings, 89219492 edges, 35727 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 12358205 markings, 90830631 edges, 38994 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 12551857 markings, 92436855 edges, 38730 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 12717806 markings, 94020838 edges, 33190 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 12916837 markings, 95625390 edges, 39806 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 13112495 markings, 97277160 edges, 39132 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 13307017 markings, 98924012 edges, 38904 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 13487021 markings, 100565280 edges, 36001 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 13690647 markings, 102194811 edges, 40725 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 13887442 markings, 103831686 edges, 39359 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 14062406 markings, 105449322 edges, 34993 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 14247032 markings, 107063835 edges, 36925 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 14513491 markings, 108627772 edges, 53292 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 14766553 markings, 110311418 edges, 50612 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 15013809 markings, 112035353 edges, 49451 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 15270405 markings, 113704582 edges, 51319 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 15517710 markings, 115349146 edges, 49461 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 15739351 markings, 117035529 edges, 44328 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 15947396 markings, 118732449 edges, 41609 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 16170513 markings, 120421114 edges, 44623 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 16403286 markings, 122092349 edges, 46555 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 16678600 markings, 123776750 edges, 55063 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 16924694 markings, 125477648 edges, 49219 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 17180003 markings, 127172071 edges, 51062 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 17435958 markings, 128853715 edges, 51191 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 17715727 markings, 130502751 edges, 55954 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 17966616 markings, 132098521 edges, 50178 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 18215419 markings, 133819082 edges, 49761 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 18459440 markings, 135498830 edges, 48804 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 18673705 markings, 137202636 edges, 42853 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 18899710 markings, 138921493 edges, 45201 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 19162843 markings, 140603124 edges, 52627 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 19409811 markings, 142310796 edges, 49394 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 19670461 markings, 143972686 edges, 52130 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 19911903 markings, 145610580 edges, 48288 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 20139102 markings, 147264248 edges, 45440 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 20358829 markings, 148921384 edges, 43945 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 20617660 markings, 150603588 edges, 51766 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 20861909 markings, 152282644 edges, 48850 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 21080426 markings, 153957664 edges, 43703 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 21298856 markings, 155630424 edges, 43686 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 21518869 markings, 157298619 edges, 44003 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 21729904 markings, 158962918 edges, 42207 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 21924659 markings, 160616806 edges, 38951 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 22112330 markings, 162273339 edges, 37534 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 22353796 markings, 163915127 edges, 48293 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 22627732 markings, 165594531 edges, 54787 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 22854637 markings, 167258864 edges, 45381 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 23072917 markings, 168910141 edges, 43656 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 23306415 markings, 170567396 edges, 46700 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 23528672 markings, 172228443 edges, 44451 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 23772414 markings, 173925080 edges, 48748 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 23991327 markings, 175583563 edges, 43783 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 24250329 markings, 177228222 edges, 51800 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 24501181 markings, 178881800 edges, 50170 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 24763834 markings, 180546423 edges, 52531 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 24998055 markings, 182230296 edges, 46844 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 25218015 markings, 183892447 edges, 43992 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 25460686 markings, 185490975 edges, 48534 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 25678489 markings, 187098314 edges, 43561 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 25891519 markings, 188788406 edges, 42606 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 26120087 markings, 190493477 edges, 45714 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 26320663 markings, 192127239 edges, 40115 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 26506440 markings, 193807738 edges, 37155 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 26706560 markings, 195508598 edges, 40024 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 26931488 markings, 197175769 edges, 44986 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 27146063 markings, 198844522 edges, 42915 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 27363402 markings, 200528322 edges, 43468 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 27592243 markings, 202196690 edges, 45768 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 27815797 markings, 203878496 edges, 44711 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 28007877 markings, 205541732 edges, 38416 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 28241803 markings, 207176319 edges, 46785 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 28469881 markings, 208846298 edges, 45616 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 28687455 markings, 210545932 edges, 43515 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 28917605 markings, 212244504 edges, 46030 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 29120616 markings, 213899726 edges, 40602 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 29308549 markings, 215579967 edges, 37587 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 29510268 markings, 217275430 edges, 40344 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 29736646 markings, 218925725 edges, 45276 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 29951348 markings, 220591692 edges, 42940 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 30173888 markings, 222271010 edges, 44508 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 30408275 markings, 223927759 edges, 46877 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 30640680 markings, 225574233 edges, 46481 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 30846439 markings, 227209802 edges, 41152 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 31051408 markings, 228869064 edges, 40994 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 31232950 markings, 230509780 edges, 36308 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 31474699 markings, 232155168 edges, 48350 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 31718695 markings, 233804547 edges, 48799 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 31951612 markings, 235476638 edges, 46583 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 32178901 markings, 237193760 edges, 45458 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 32389960 markings, 238894007 edges, 42212 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 32610999 markings, 240548182 edges, 44208 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 32841162 markings, 242241695 edges, 46033 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 33053824 markings, 243908659 edges, 42532 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 33247962 markings, 245561591 edges, 38828 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 33429925 markings, 247221288 edges, 36393 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 33622112 markings, 248896076 edges, 38437 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 33821164 markings, 250561616 edges, 39810 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 34033363 markings, 252231394 edges, 42440 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 34268916 markings, 253891081 edges, 47111 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 34493035 markings, 255562123 edges, 44824 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 34695741 markings, 257222968 edges, 40541 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 34919105 markings, 258893726 edges, 44673 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 35139536 markings, 260548408 edges, 44086 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 35384895 markings, 262181197 edges, 49072 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 35653212 markings, 263825202 edges, 53663 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 35909854 markings, 265490832 edges, 51328 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 36157133 markings, 267153951 edges, 49456 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 36403065 markings, 268805008 edges, 49186 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 36619714 markings, 270463089 edges, 43330 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 36834782 markings, 272113379 edges, 43014 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 37045534 markings, 273743352 edges, 42150 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 37233693 markings, 275361414 edges, 37632 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 37415700 markings, 276974589 edges, 36401 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 37627463 markings, 278623023 edges, 42353 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 37843342 markings, 280318919 edges, 43176 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 38091818 markings, 281972373 edges, 49695 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 38327044 markings, 283651166 edges, 47045 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 38564177 markings, 285294118 edges, 47427 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 38784953 markings, 286928035 edges, 44155 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 39025496 markings, 288600535 edges, 48109 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 39241627 markings, 290267787 edges, 43226 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 39455182 markings, 291927374 edges, 42711 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 39650460 markings, 293586684 edges, 39056 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 39839999 markings, 295244624 edges, 37908 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 40044521 markings, 296888682 edges, 40904 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 40233305 markings, 298535343 edges, 37757 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 40421417 markings, 300173693 edges, 37622 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 40602790 markings, 301813464 edges, 36275 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 40769318 markings, 303443069 edges, 33306 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 40937428 markings, 305077138 edges, 33622 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 41159504 markings, 306675990 edges, 44415 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 41399010 markings, 308329039 edges, 47901 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 41617021 markings, 309973861 edges, 43602 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 41840453 markings, 311630953 edges, 44686 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 42060732 markings, 313293890 edges, 44056 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 42251508 markings, 314941531 edges, 38155 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 42472408 markings, 316593480 edges, 44180 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 42718153 markings, 318270870 edges, 49149 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 42946298 markings, 319982527 edges, 45629 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 43156743 markings, 321692760 edges, 42089 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 43386167 markings, 323405527 edges, 45885 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 43613395 markings, 325112669 edges, 45446 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 43838166 markings, 326794673 edges, 44954 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 44038310 markings, 328477030 edges, 40029 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 44226012 markings, 330162439 edges, 37540 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 44414655 markings, 331848437 edges, 37729 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 44613387 markings, 333530650 edges, 39746 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 44812819 markings, 335216151 edges, 39886 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 45062376 markings, 336883893 edges, 49911 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 45283597 markings, 338552236 edges, 44244 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 45485934 markings, 340224807 edges, 40467 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 45716521 markings, 341912588 edges, 46117 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 45938763 markings, 343589705 edges, 44448 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 46172451 markings, 345249345 edges, 46738 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 46449215 markings, 346910917 edges, 55353 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 46667599 markings, 348565299 edges, 43677 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 46855086 markings, 350191085 edges, 37497 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 47105125 markings, 351831871 edges, 50008 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 47395667 markings, 353552318 edges, 58108 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 47666720 markings, 355256694 edges, 54211 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 47929791 markings, 356961014 edges, 52614 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 48182255 markings, 358667652 edges, 50493 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 48423478 markings, 360371266 edges, 48245 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 48641740 markings, 362059772 edges, 43652 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 48897995 markings, 363768204 edges, 51251 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 49156970 markings, 365479057 edges, 51795 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 49405691 markings, 367171752 edges, 49744 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 49642579 markings, 368864226 edges, 47378 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 49858538 markings, 370547282 edges, 43192 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 50075539 markings, 372223162 edges, 43400 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 50319622 markings, 373913127 edges, 48817 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 50559571 markings, 375596059 edges, 47990 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 50782113 markings, 377269095 edges, 44508 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 50998812 markings, 378938183 edges, 43340 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 51215967 markings, 380612606 edges, 43431 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 51424839 markings, 382269535 edges, 41774 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 51636035 markings, 383917262 edges, 42239 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 51853724 markings, 385587611 edges, 43538 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 52069480 markings, 387257848 edges, 43151 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 52284973 markings, 388909628 edges, 43099 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 52508728 markings, 390594513 edges, 44751 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 52721370 markings, 392250295 edges, 42528 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 52913966 markings, 393893629 edges, 38519 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 53106357 markings, 395519340 edges, 38478 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 53303392 markings, 397131726 edges, 39407 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 53515601 markings, 398802385 edges, 42442 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 53726916 markings, 400475222 edges, 42263 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 53936013 markings, 402149193 edges, 41819 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 54143170 markings, 403808007 edges, 41431 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 54332952 markings, 405450426 edges, 37956 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 54540150 markings, 407113584 edges, 41440 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 54742907 markings, 408780623 edges, 40551 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 54981802 markings, 410455793 edges, 47779 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 55226896 markings, 412145835 edges, 49019 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 55446508 markings, 413815929 edges, 43922 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 55673049 markings, 415496509 edges, 45308 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 55890261 markings, 417177756 edges, 43442 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 56102749 markings, 418858483 edges, 42498 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 56289379 markings, 420523017 edges, 37326 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 56505424 markings, 422202588 edges, 43209 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 56723878 markings, 423880681 edges, 43691 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 56941859 markings, 425565602 edges, 43596 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 57156916 markings, 427241884 edges, 43011 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 57360560 markings, 428911469 edges, 40729 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 57549871 markings, 430572997 edges, 37862 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 57735218 markings, 432227244 edges, 37069 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 57938090 markings, 433893650 edges, 40574 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 58153265 markings, 435563691 edges, 43035 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 58355580 markings, 437208871 edges, 40463 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 58546790 markings, 438853403 edges, 38242 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 58733973 markings, 440493346 edges, 37437 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 58921593 markings, 442137830 edges, 37524 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 59107715 markings, 443761879 edges, 37224 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 59288369 markings, 445385337 edges, 36131 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 59474415 markings, 447026283 edges, 37209 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 59663424 markings, 448674032 edges, 37802 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 59857463 markings, 450331501 edges, 38808 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 60046764 markings, 451961070 edges, 37860 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 60240556 markings, 453622530 edges, 38758 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 60426618 markings, 455262398 edges, 37212 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 60598243 markings, 456886757 edges, 34325 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 60771030 markings, 458509444 edges, 34557 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 60941282 markings, 460105269 edges, 34050 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 61121749 markings, 461724752 edges, 36093 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 61309608 markings, 463375676 edges, 37572 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 61491573 markings, 465029775 edges, 36393 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 61675915 markings, 466690966 edges, 36868 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 61858433 markings, 468331034 edges, 36504 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 62024350 markings, 469953557 edges, 33183 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 62206426 markings, 471596870 edges, 36415 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 62384207 markings, 473236507 edges, 35556 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 62606784 markings, 474873528 edges, 44515 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 62887138 markings, 476533389 edges, 56071 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 63141412 markings, 478162328 edges, 50855 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 63395388 markings, 479805245 edges, 50795 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 63639204 markings, 481451053 edges, 48763 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 63870967 markings, 483093663 edges, 46353 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 64081437 markings, 484721626 edges, 42094 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 64325908 markings, 486360883 edges, 48894 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 64577272 markings, 488013641 edges, 50273 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 64818429 markings, 489652948 edges, 48231 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 65052299 markings, 491290624 edges, 46774 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 65261058 markings, 492921949 edges, 41752 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 65467369 markings, 494548671 edges, 41262 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 65697816 markings, 496176759 edges, 46089 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 65935493 markings, 497806462 edges, 47535 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 66159299 markings, 499409774 edges, 44761 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 66362261 markings, 501008864 edges, 40592 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 66565867 markings, 502612899 edges, 40721 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 66775778 markings, 504214054 edges, 41982 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 66974103 markings, 505799898 edges, 39665 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 67179756 markings, 507394759 edges, 41131 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 67387046 markings, 509003244 edges, 41458 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 67599899 markings, 510620810 edges, 42571 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 67810490 markings, 512210719 edges, 42118 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 68023961 markings, 513822001 edges, 42694 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 68220742 markings, 515417722 edges, 39356 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 68409241 markings, 517011822 edges, 37700 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 68590721 markings, 518569188 edges, 36296 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 68787694 markings, 520138541 edges, 39395 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 68992764 markings, 521737827 edges, 41014 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 69194138 markings, 523358197 edges, 40275 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 69395984 markings, 524979475 edges, 40369 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 69595636 markings, 526577709 edges, 39930 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 69778754 markings, 528160590 edges, 36624 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 69978477 markings, 529767675 edges, 39945 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 70174055 markings, 531370101 edges, 39116 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 70380320 markings, 532997919 edges, 41253 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 70589170 markings, 534659321 edges, 41770 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 70791391 markings, 536299380 edges, 40444 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 70981038 markings, 537938848 edges, 37929 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 71173881 markings, 539581222 edges, 38569 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 71360151 markings, 541225191 edges, 37254 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 71543813 markings, 542863779 edges, 36732 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 71707267 markings, 544485998 edges, 32691 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 71891450 markings, 546126050 edges, 36837 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 72078479 markings, 547764465 edges, 37406 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 72268615 markings, 549409404 edges, 38027 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 72451986 markings, 551039074 edges, 36674 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 72640704 markings, 552679948 edges, 37744 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 72816744 markings, 554317395 edges, 35208 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 72981288 markings, 555933821 edges, 32909 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 73143912 markings, 557543209 edges, 32525 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 73313844 markings, 559166904 edges, 33986 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 73502625 markings, 560800675 edges, 37756 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 73683099 markings, 562430628 edges, 36095 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 73859825 markings, 564033213 edges, 35345 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 74024527 markings, 565636443 edges, 32940 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 74186017 markings, 567239583 edges, 32298 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 74350932 markings, 568846530 edges, 32983 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 74514388 markings, 570432890 edges, 32691 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 74669489 markings, 572009089 edges, 31020 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 74836575 markings, 573601556 edges, 33417 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 75000549 markings, 575201773 edges, 32795 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 75161005 markings, 576812515 edges, 32091 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 75331082 markings, 578426165 edges, 34015 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 75498662 markings, 580007036 edges, 33516 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 75667499 markings, 581621394 edges, 33767 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 75829687 markings, 583211869 edges, 32438 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 75981431 markings, 584799632 edges, 30349 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 76137095 markings, 586394372 edges, 31133 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 76283696 markings, 587956799 edges, 29320 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes
lola:
preliminary result: no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 3266340 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no no no yes no yes unknown yes yes unknown yes unknown yes
lola: memory consumption: 3266340 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-03b"
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 AutoFlight-PT-03b, 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 r166-smll-158987787700412"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-03b.tgz
mv AutoFlight-PT-03b 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 ;