About the Execution of ITS-LoLa for FlexibleBarrier-PT-20a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15774.730 | 3600000.00 | 3547270.00 | 63110.80 | ?FTT????T?TT?TFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r170-smll-158987815800388.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 FlexibleBarrier-PT-20a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815800388
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 3.5K Apr 4 19:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 19:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 08:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 08:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 3 21:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 3 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 3 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 321K 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 FlexibleBarrier-PT-20a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591404263111
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 00:44:25] [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 00:44:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 00:44:25] [INFO ] Load time of PNML (sax parser for PT used): 177 ms
[2020-06-06 00:44:25] [INFO ] Transformed 243 places.
[2020-06-06 00:44:25] [INFO ] Transformed 1064 transitions.
[2020-06-06 00:44:25] [INFO ] Found NUPN structural information;
[2020-06-06 00:44:25] [INFO ] Parsed PT model containing 243 places and 1064 transitions in 245 ms.
Ensure Unique test removed 362 transitions
Reduce redundant transitions removed 362 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 45 ms.
Finished random walk after 21080 steps, including 0 resets, run visited all 42 properties in 226 ms. (steps per millisecond=93 )
[2020-06-06 00:44:26] [INFO ] Flatten gal took : 121 ms
[2020-06-06 00:44:26] [INFO ] Flatten gal took : 57 ms
[2020-06-06 00:44:26] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 7 ms.
[2020-06-06 00:44:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 15 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ FlexibleBarrier-PT-20a @ 3570 seconds
FORMULA FlexibleBarrier-PT-20a-CTLFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-20a-CTLFireability-04 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ FlexibleBarrier-PT-20a
{
"exit":
{
"memory": 2634668,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 4,
"adisj": 2,
"aneg": 0,
"comp": 14,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 14,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 10,
"visible_transitions": 0
},
"processed": "EF((EG(((1 <= p35) AND (1 <= p192) AND (1 <= p241))) AND (AX((((1 <= p71) AND (1 <= p204) AND (1 <= p241)) OR ((1 <= p203) AND (1 <= p241)))) AND ((p23 <= 0) OR (p48 <= 0) OR (p241 <= 0) OR ((1 <= p72) AND (1 <= p131) AND (1 <= p241))))))",
"processed_size": 242,
"rewrites": 46
},
"net":
{
"conflict_clusters": 84,
"singleton_clusters": 0
},
"result":
{
"preliminary_value": "unknown no yes yes unknown unknown unknown unknown yes unknown yes yes unknown yes no yes "
},
"task":
{
"compoundnumber": 18,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
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: 945/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 243
lola: finding significant places
lola: 243 places, 702 transitions, 221 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: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p79 <= 1)
lola: LP says that atomic proposition is always true: (p242 <= 1)
lola: LP says that atomic proposition is always true: (p167 <= 1)
lola: LP says that atomic proposition is always true: (p132 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p226 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p73 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p228 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p166 <= 1)
lola: LP says that atomic proposition is always true: (p53 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p168 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p216 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p61 <= 1)
lola: LP says that atomic proposition is always true: (p132 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p192 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p156 <= 1)
lola: LP says that atomic proposition is always true: (p179 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p179 <= 1)
lola: LP says that atomic proposition is always true: (p216 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p192 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p203 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p156 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p167 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p239 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p6 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p228 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p133 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p216 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p140 <= 1)
lola: LP says that atomic proposition is always true: (p224 <= 1)
lola: LP says that atomic proposition is always true: (p205 <= 1)
lola: LP says that atomic proposition is always true: (p236 <= 1)
lola: LP says that atomic proposition is always true: (p174 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p215 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p239 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p215 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p100 <= 1)
lola: LP says that atomic proposition is always true: (p242 <= 1)
lola: LP says that atomic proposition is always true: (p157 <= 1)
lola: LP says that atomic proposition is always true: (p130 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p242 <= 1)
lola: LP says that atomic proposition is always true: (p232 <= 1)
lola: LP says that atomic proposition is always true: (p242 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p228 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: ((E (((((1 <= p23) AND (1 <= p108) AND (1 <= p241)) OR ((1 <= p79) AND (1 <= p242)) OR (p167 <= 0)) U A (X (((1 <= p132) AND (1 <= p191) AND (1 <= p241)))))) AND NOT(E ((((1 <= p11) AND (1 <= p72) AND (1 <= p241)) U ((1 <= p36) AND (1 <= p119) AND (1 <= p241)))))) AND (NOT(E (G (((1 <= p84) AND (1 <= p143) AND (1 <= p241))))) OR ((1 <= p96) AND (1 <= p143) AND (1 <= p241) AND ((p226 <= 0))))) : NOT(E (G ((((p23 <= 0) OR (p96 <= 0) OR (p241 <= 0) OR (p12 <= 0)) AND E (F (((1 <= p73)))))))) : ((E (F (E (G (((1 <= p155) AND (1 <= p228) AND (1 <= p241) AND (1 <= p164)))))) OR E (X (E (X (((1 <= p92))))))) OR E (X (E (X (((1 <= p166))))))) : (((((E (F (((1 <= p53) AND (1 <= p23) AND (1 <= p180) AND (1 <= p241)))) OR ((1 <= p12) AND (1 <= p71) AND (1 <= p241))) OR ((1 <= p71) AND (1 <= p155) AND (1 <= p168) AND (1 <= p241) AND (1 <= p83) AND (1 <= p180))) OR ((1 <= p191) AND (1 <= p216) AND (1 <= p241) AND (1 <= p35) AND (1 <= p60))) OR ((1 <= p47) AND (1 <= p144) AND (1 <= p241) AND (1 <= p36) AND (1 <= p131))) OR ((((p61 <= 0)) AND A (F ((((1 <= p132) AND (1 <= p143) AND (1 <= p241)) OR ((1 <= p71) AND (1 <= p204) AND (1 <= p241)))))) AND E (F (((((1 <= p49)) OR ((1 <= p131) AND (1 <= p192) AND (1 <= p241))) AND (((1 <= p12) AND (1 <= p107) AND (1 <= p241)) OR ((1 <= p156) AND (1 <= p179) AND (1 <= p241)))))))) : E (F (NOT(E (X (((p179 <= 0) OR (p216 <= 0) OR (p241 <= 0))))))) : E (F (((E (G (((1 <= p35) AND (1 <= p192) AND (1 <= p241)))) AND A (X ((((1 <= p71) AND (1 <= p204) AND (1 <= p241)) OR ((1 <= p203) AND (1 <= p241)))))) AND ((p23 <= 0) OR (p48 <= 0) OR (p241 <= 0) OR ((1 <= p72) AND (1 <= p131) AND (1 <= p241)))))) : E (((E (F (((1 <= p59) AND (1 <= p156) AND (1 <= p241)))) OR A (X (((1 <= p71) AND (1 <= p180) AND (1 <= p241))))) U A (X ((((1 <= p72) AND (1 <= p167) AND (1 <= p241)) OR ((1 <= p84) AND (1 <= p239) AND (1 <= p241))))))) : ((E ((A (G (((1 <= p6) AND (1 <= p241)))) U ((1 <= p37)))) OR E (F (((1 <= p119) AND (1 <= p228) AND (1 <= p241) AND (1 <= p51))))) OR E ((((1 <= p23) AND (1 <= p48) AND (1 <= p241) AND (1 <= p133)) U (((1 <= p83) AND (1 <= p216) AND (1 <= p241)) OR ((1 <= p140)))))) : (NOT(E (F (A (X (((1 <= p224))))))) OR E (F (((1 <= p205) AND ((p236 <= 0) OR (p174 <= 0) OR (p241 <= 0)))))) : (A (G (E (F ((((1 <= p36) AND (1 <= p215) AND (1 <= p241)) OR ((1 <= p59) AND (1 <= p108) AND (1 <= p241))))))) OR A (F (E (G (((1 <= p72) AND (1 <= p239) AND (1 <= p241) AND (1 <= p60) AND (1 <= p215) AND (1 <= p241))))))) : A (F (E (G (E (F (((1 <= p100) AND (1 <= p242)))))))) : E (F (((1 <= p157)))) : A (G (E (F (((1 <= p130)))))) : A (F (E (F ((((p95 <= 0) OR (p108 <= 0) OR (p241 <= 0)) AND (((1 <= p35) AND (1 <= p96) AND (1 <= p241)) OR ((1 <= p115) AND (1 <= p242)))))))) : A ((A (F ((((1 <= p232) AND (1 <= p242)) OR ((1 <= p11) AND (1 <= p241))))) U ((1 <= p155) AND (1 <= p228) AND (1 <= p241)))) : NOT(A (X (A (G (((p84 <= 0) OR (p143 <= 0) OR (p241 <= 0)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k: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:254
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:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((((1 <= p23) AND (1 <= p108) AND (1 <= p241)) OR ((1 <= p79) AND (1 <= p242)) OR (p167 <= 0)) U A (X (((1 <= p132) AND (1 <= p191) AND (1 <= p241)))))) AND (A ((((p11 <= 0) OR (p72 <= 0) OR (p241 <= 0)) R ((p36 <= 0) OR (p119 <= 0) OR (p241 <= 0)))) AND (A (F (((p84 <= 0) OR (p143 <= 0) OR (p241 <= 0)))) OR ((1 <= p96) AND (1 <= p143) AND (1 <= p241) AND ((p226 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: (E((((1 <= p23) AND (1 <= p108) AND (1 <= p241)) OR ((1 <= p79) AND (1 <= p242)) OR (p167 <= 0)) U AX(((1 <= p132) AND (1 <= p191) AND (1 <= p241)))) AND (A(((p11 <= 0) OR (p72 <= 0) OR (p241 <= 0)) R ((p36 <= 0) OR (p119 <= 0) OR (p241 <= 0))) AND (AF(((p84 <= 0) OR (p143 <= 0) OR (p241 <= 0))) OR ((1 <= p96) AND (1 <= p143) AND (1 <= p241) AND ((p226 <= 0))))))
lola: processed formula length: 373
lola: 47 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 516329 markings, 1212651 edges, 103266 markings/sec, 0 secs
lola: 1057133 markings, 2599141 edges, 108161 markings/sec, 5 secs
lola: 1546403 markings, 4020824 edges, 97854 markings/sec, 10 secs
lola: 2059884 markings, 5442515 edges, 102696 markings/sec, 15 secs
lola: 2558348 markings, 6849078 edges, 99693 markings/sec, 20 secs
lola: 3052083 markings, 8261954 edges, 98747 markings/sec, 25 secs
lola: 3482083 markings, 9564515 edges, 86000 markings/sec, 30 secs
lola: 3956525 markings, 10886869 edges, 94888 markings/sec, 35 secs
lola: 4360366 markings, 12134983 edges, 80768 markings/sec, 40 secs
lola: 4774046 markings, 13390070 edges, 82736 markings/sec, 45 secs
lola: 5172328 markings, 14629506 edges, 79656 markings/sec, 50 secs
lola: 5564178 markings, 15855507 edges, 78370 markings/sec, 55 secs
lola: 5947474 markings, 17071390 edges, 76659 markings/sec, 60 secs
lola: 6333551 markings, 18283389 edges, 77215 markings/sec, 65 secs
lola: 6706217 markings, 19475037 edges, 74533 markings/sec, 70 secs
lola: 7076313 markings, 20664209 edges, 74019 markings/sec, 75 secs
lola: 7445914 markings, 21849142 edges, 73920 markings/sec, 80 secs
lola: 7805608 markings, 23025014 edges, 71939 markings/sec, 85 secs
lola: 8173708 markings, 24205059 edges, 73620 markings/sec, 90 secs
lola: 8531619 markings, 25367221 edges, 71582 markings/sec, 95 secs
lola: 8897722 markings, 26583850 edges, 73221 markings/sec, 100 secs
lola: 9288797 markings, 27864260 edges, 78215 markings/sec, 105 secs
lola: 9664505 markings, 29130037 edges, 75142 markings/sec, 110 secs
lola: 10053773 markings, 30417750 edges, 77854 markings/sec, 115 secs
lola: 10461149 markings, 31712844 edges, 81475 markings/sec, 120 secs
lola: 10835951 markings, 32966608 edges, 74960 markings/sec, 125 secs
lola: 11213882 markings, 34223022 edges, 75586 markings/sec, 130 secs
lola: 11599623 markings, 35490400 edges, 77148 markings/sec, 135 secs
lola: 11959608 markings, 36702582 edges, 71997 markings/sec, 140 secs
lola: 12324928 markings, 37923040 edges, 73064 markings/sec, 145 secs
lola: 12722739 markings, 39188557 edges, 79562 markings/sec, 150 secs
lola: 13209269 markings, 40535103 edges, 97306 markings/sec, 155 secs
lola: 13625667 markings, 41669321 edges, 83280 markings/sec, 160 secs
lola: 14068401 markings, 42968784 edges, 88547 markings/sec, 165 secs
lola: 14496440 markings, 44274313 edges, 85608 markings/sec, 170 secs
lola: 14914667 markings, 45564794 edges, 83645 markings/sec, 175 secs
lola: 15326872 markings, 46842597 edges, 82441 markings/sec, 180 secs
lola: 15732940 markings, 48113383 edges, 81214 markings/sec, 185 secs
lola: 16126673 markings, 49379411 edges, 78747 markings/sec, 190 secs
lola: 16522050 markings, 50636691 edges, 79075 markings/sec, 195 secs
lola: 16915325 markings, 51893503 edges, 78655 markings/sec, 200 secs
lola: 17302093 markings, 53139226 edges, 77354 markings/sec, 205 secs
lola: 17683651 markings, 54373903 edges, 76312 markings/sec, 210 secs
lola: 18069814 markings, 55611766 edges, 77233 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7554900 KB
lola: time consumption: 229 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (E (G (((1 <= p155) AND (1 <= p228) AND (1 <= p241) AND (1 <= p164)))))) OR (E (X (E (X (((1 <= p92)))))) OR E (X (E (X (((1 <= p166))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (X (((1 <= p166))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EX(((1 <= p166))))
lola: processed formula length: 21
lola: 45 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 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((1 <= p155) AND (1 <= p228) AND (1 <= p241) AND (1 <= p164))))))
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 <= p155) AND (1 <= p228) AND (1 <= p241) AND (1 <= p164))
lola: processed formula length: 61
lola: 46 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: ((p155 <= 0) OR (p228 <= 0) OR (p241 <= 0) OR (p164 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 4 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 <= p155) AND (1 <= p228) AND (1 <= p241) AND (1 <= p164))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 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: 11 markings, 11 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p179) AND (1 <= p216) AND (1 <= p241))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p179) AND (1 <= p216) AND (1 <= p241))))
lola: processed formula length: 53
lola: 45 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: 527008 markings, 1357464 edges, 105402 markings/sec, 0 secs
lola: 1007466 markings, 2742836 edges, 96092 markings/sec, 5 secs
lola: 1460021 markings, 4114047 edges, 90511 markings/sec, 10 secs
lola: 1961505 markings, 5515319 edges, 100297 markings/sec, 15 secs
lola: 2449289 markings, 6917010 edges, 97557 markings/sec, 20 secs
lola: 2903989 markings, 8291930 edges, 90940 markings/sec, 25 secs
lola: 3398551 markings, 9677711 edges, 98912 markings/sec, 30 secs
lola: 3847661 markings, 11035602 edges, 89822 markings/sec, 35 secs
lola: 4291087 markings, 12382677 edges, 88685 markings/sec, 40 secs
lola: 4716049 markings, 13714769 edges, 84992 markings/sec, 45 secs
lola: 5129905 markings, 15033782 edges, 82771 markings/sec, 50 secs
lola: 5544616 markings, 16351163 edges, 82942 markings/sec, 55 secs
lola: 5958226 markings, 17664705 edges, 82722 markings/sec, 60 secs
lola: 6350513 markings, 18934107 edges, 78457 markings/sec, 65 secs
lola: 6760593 markings, 20250497 edges, 82016 markings/sec, 70 secs
lola: 7203360 markings, 21694744 edges, 88553 markings/sec, 75 secs
lola: 7603021 markings, 22998609 edges, 79932 markings/sec, 80 secs
lola: 8001723 markings, 24292887 edges, 79740 markings/sec, 85 secs
lola: 8405209 markings, 25601174 edges, 80697 markings/sec, 90 secs
lola: 8794046 markings, 26877009 edges, 77767 markings/sec, 95 secs
lola: 9180504 markings, 28152625 edges, 77292 markings/sec, 100 secs
lola: 9571182 markings, 29436482 edges, 78136 markings/sec, 105 secs
lola: 9967659 markings, 30735088 edges, 79295 markings/sec, 110 secs
lola: 10338316 markings, 31984198 edges, 74131 markings/sec, 115 secs
lola: 10728882 markings, 33272610 edges, 78113 markings/sec, 120 secs
lola: 11098045 markings, 34522961 edges, 73833 markings/sec, 125 secs
lola: 11469685 markings, 35771633 edges, 74328 markings/sec, 130 secs
lola: 11841062 markings, 37033668 edges, 74275 markings/sec, 135 secs
lola: 12243361 markings, 38322208 edges, 80460 markings/sec, 140 secs
lola: 12610655 markings, 39564700 edges, 73459 markings/sec, 145 secs
lola: 13108553 markings, 40952081 edges, 99580 markings/sec, 150 secs
lola: 13578926 markings, 42332310 edges, 94075 markings/sec, 155 secs
lola: 14055489 markings, 43711027 edges, 95313 markings/sec, 160 secs
lola: 14517449 markings, 45066881 edges, 92392 markings/sec, 165 secs
lola: 14953943 markings, 46398803 edges, 87299 markings/sec, 170 secs
lola: 15381094 markings, 47717488 edges, 85430 markings/sec, 175 secs
lola: 15793709 markings, 49023483 edges, 82523 markings/sec, 180 secs
lola: 16223549 markings, 50342721 edges, 85968 markings/sec, 185 secs
lola: 16632200 markings, 51640764 edges, 81730 markings/sec, 190 secs
lola: 17035635 markings, 52933259 edges, 80687 markings/sec, 195 secs
lola: 17434154 markings, 54219350 edges, 79704 markings/sec, 200 secs
lola: 17807985 markings, 55447704 edges, 74766 markings/sec, 205 secs
lola: 18169527 markings, 56621334 edges, 72308 markings/sec, 210 secs
lola: 18530806 markings, 57800933 edges, 72256 markings/sec, 215 secs
lola: 18970145 markings, 59069984 edges, 87868 markings/sec, 220 secs
lola: 19448566 markings, 60441613 edges, 95684 markings/sec, 225 secs
lola: 19890219 markings, 61776784 edges, 88331 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8328840 KB
lola: time consumption: 468 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (((1 <= p35) AND (1 <= p192) AND (1 <= p241)))) AND (A (X ((((1 <= p71) AND (1 <= p204) AND (1 <= p241)) OR ((1 <= p203) AND (1 <= p241))))) AND ((p23 <= 0) OR (p48 <= 0) OR (p241 <= 0) OR ((1 <= p72) AND (1 <= p131) AND (1 <= p241)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((EG(((1 <= p35) AND (1 <= p192) AND (1 <= p241))) AND (AX((((1 <= p71) AND (1 <= p204) AND (1 <= p241)) OR ((1 <= p203) AND (1 <= p241)))) AND ((p23 <= 0) OR (p48 <= 0) OR (p241 <= 0) OR ((1 <= p72) AND (1 <= p131) AND (1 <= p241))))))
lola: processed formula length: 242
lola: 46 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: 494728 markings, 1772302 edges, 98946 markings/sec, 0 secs
lola: 941988 markings, 3492794 edges, 89452 markings/sec, 5 secs
lola: 1360300 markings, 5168097 edges, 83662 markings/sec, 10 secs
lola: 1791502 markings, 6860068 edges, 86240 markings/sec, 15 secs
lola: 2259714 markings, 8615364 edges, 93642 markings/sec, 20 secs
lola: 2684497 markings, 10309019 edges, 84957 markings/sec, 25 secs
lola: 3139078 markings, 12038033 edges, 90916 markings/sec, 30 secs
lola: 3552196 markings, 13698798 edges, 82624 markings/sec, 35 secs
lola: 3956421 markings, 15339417 edges, 80845 markings/sec, 40 secs
lola: 4364545 markings, 16976856 edges, 81625 markings/sec, 45 secs
lola: 4753852 markings, 18585702 edges, 77861 markings/sec, 50 secs
lola: 5110424 markings, 20082284 edges, 71314 markings/sec, 55 secs
lola: 5460982 markings, 21551847 edges, 70112 markings/sec, 60 secs
lola: 5817596 markings, 23030441 edges, 71323 markings/sec, 65 secs
lola: 6165023 markings, 24499166 edges, 69485 markings/sec, 70 secs
lola: 6511504 markings, 25960285 edges, 69296 markings/sec, 75 secs
lola: 6859812 markings, 27427175 edges, 69662 markings/sec, 80 secs
lola: 7197099 markings, 28871663 edges, 67457 markings/sec, 85 secs
lola: 7536972 markings, 30324068 edges, 67975 markings/sec, 90 secs
lola: 7873167 markings, 31764618 edges, 67239 markings/sec, 95 secs
lola: 8228058 markings, 33250936 edges, 70978 markings/sec, 100 secs
lola: 8557969 markings, 34663488 edges, 65982 markings/sec, 105 secs
lola: 8910281 markings, 36168878 edges, 70462 markings/sec, 110 secs
lola: 9262098 markings, 37679898 edges, 70363 markings/sec, 115 secs
lola: 9611392 markings, 39183792 edges, 69859 markings/sec, 120 secs
lola: 9972092 markings, 40722167 edges, 72140 markings/sec, 125 secs
lola: 10297675 markings, 42143730 edges, 65117 markings/sec, 130 secs
lola: 10627504 markings, 43570224 edges, 65966 markings/sec, 135 secs
lola: 10951506 markings, 44981343 edges, 64800 markings/sec, 140 secs
lola: 11270733 markings, 46374689 edges, 63845 markings/sec, 145 secs
lola: 11589862 markings, 47771404 edges, 63826 markings/sec, 150 secs
lola: 11914998 markings, 49181121 edges, 65027 markings/sec, 155 secs
lola: 12258882 markings, 50633923 edges, 68777 markings/sec, 160 secs
lola: 12571948 markings, 52001735 edges, 62613 markings/sec, 165 secs
lola: 13006992 markings, 53672353 edges, 87009 markings/sec, 170 secs
lola: 13448080 markings, 55387532 edges, 88218 markings/sec, 175 secs
lola: 13886240 markings, 57090707 edges, 87632 markings/sec, 180 secs
lola: 14317974 markings, 58774854 edges, 86347 markings/sec, 185 secs
lola: 14716513 markings, 60398213 edges, 79708 markings/sec, 190 secs
lola: 15121046 markings, 62027093 edges, 80907 markings/sec, 195 secs
lola: 15509777 markings, 63629511 edges, 77746 markings/sec, 200 secs
lola: 15886932 markings, 65205948 edges, 75431 markings/sec, 205 secs
lola: 16285918 markings, 66823826 edges, 79797 markings/sec, 210 secs
lola: 16660744 markings, 68396084 edges, 74965 markings/sec, 215 secs
lola: 17033738 markings, 69960882 edges, 74599 markings/sec, 220 secs
lola: 17400651 markings, 71514120 edges, 73383 markings/sec, 225 secs
lola: 17761648 markings, 73054923 edges, 72199 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4737100 KB
lola: time consumption: 706 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (F (((1 <= p59) AND (1 <= p156) AND (1 <= p241)))) OR A (X (((1 <= p71) AND (1 <= p180) AND (1 <= p241))))) U A (X ((((1 <= p72) AND (1 <= p167) AND (1 <= p241)) OR ((1 <= p84) AND (1 <= p239) AND (1 <= p241)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((EF(((1 <= p59) AND (1 <= p156) AND (1 <= p241))) OR AX(((1 <= p71) AND (1 <= p180) AND (1 <= p241)))) U AX((((1 <= p72) AND (1 <= p167) AND (1 <= p241)) OR ((1 <= p84) AND (1 <= p239) AND (1 <= p241)))))
lola: processed formula length: 207
lola: 47 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: 621225 markings, 1623365 edges, 124245 markings/sec, 0 secs
lola: 1160502 markings, 3204804 edges, 107855 markings/sec, 5 secs
lola: 1671275 markings, 4753004 edges, 102155 markings/sec, 10 secs
lola: 2276535 markings, 6406119 edges, 121052 markings/sec, 15 secs
lola: 2799171 markings, 7970633 edges, 104527 markings/sec, 20 secs
lola: 3355400 markings, 9555906 edges, 111246 markings/sec, 25 secs
lola: 3861852 markings, 11082109 edges, 101290 markings/sec, 30 secs
lola: 4355552 markings, 12584766 edges, 98740 markings/sec, 35 secs
lola: 4817909 markings, 14039368 edges, 92471 markings/sec, 40 secs
lola: 5255116 markings, 15428110 edges, 87441 markings/sec, 45 secs
lola: 5669932 markings, 16747762 edges, 82963 markings/sec, 50 secs
lola: 6120231 markings, 18192096 edges, 90060 markings/sec, 55 secs
lola: 6567427 markings, 19629256 edges, 89439 markings/sec, 60 secs
lola: 7009085 markings, 21058455 edges, 88332 markings/sec, 65 secs
lola: 7441453 markings, 22475935 edges, 86474 markings/sec, 70 secs
lola: 7871847 markings, 23887093 edges, 86079 markings/sec, 75 secs
lola: 8321363 markings, 25328695 edges, 89903 markings/sec, 80 secs
lola: 8750478 markings, 26731781 edges, 85823 markings/sec, 85 secs
lola: 9173559 markings, 28129479 edges, 84616 markings/sec, 90 secs
lola: 9598609 markings, 29531287 edges, 85010 markings/sec, 95 secs
lola: 10028890 markings, 30946275 edges, 86056 markings/sec, 100 secs
lola: 10441894 markings, 32327032 edges, 82601 markings/sec, 105 secs
lola: 10861737 markings, 33726270 edges, 83969 markings/sec, 110 secs
lola: 11266590 markings, 35090671 edges, 80971 markings/sec, 115 secs
lola: 11671304 markings, 36458316 edges, 80943 markings/sec, 120 secs
lola: 12082547 markings, 37832972 edges, 82249 markings/sec, 125 secs
lola: 12519045 markings, 39248684 edges, 87300 markings/sec, 130 secs
lola: 13048624 markings, 40783246 edges, 105916 markings/sec, 135 secs
lola: 13591036 markings, 42369318 edges, 108482 markings/sec, 140 secs
lola: 14125875 markings, 43926019 edges, 106968 markings/sec, 145 secs
lola: 14637820 markings, 45435421 edges, 102389 markings/sec, 150 secs
lola: 15117454 markings, 46896934 edges, 95927 markings/sec, 155 secs
lola: 15577827 markings, 48334938 edges, 92075 markings/sec, 160 secs
lola: 16032279 markings, 49761509 edges, 90890 markings/sec, 165 secs
lola: 16495337 markings, 51197500 edges, 92612 markings/sec, 170 secs
lola: 16927419 markings, 52595883 edges, 86416 markings/sec, 175 secs
lola: 17365100 markings, 53996476 edges, 87536 markings/sec, 180 secs
lola: 17787178 markings, 55379669 edges, 84416 markings/sec, 185 secs
lola: 18216110 markings, 56765753 edges, 85786 markings/sec, 190 secs
lola: 18636523 markings, 58143106 edges, 84083 markings/sec, 195 secs
lola: 19210533 markings, 59740623 edges, 114802 markings/sec, 200 secs
lola: 19703781 markings, 61208746 edges, 98650 markings/sec, 205 secs
lola: 20155396 markings, 62644994 edges, 90323 markings/sec, 210 secs
lola: 20571136 markings, 64012821 edges, 83148 markings/sec, 215 secs
lola: 20990047 markings, 65388926 edges, 83782 markings/sec, 220 secs
lola: 21508964 markings, 66911907 edges, 103783 markings/sec, 225 secs
lola: 21948526 markings, 68326758 edges, 87912 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5828200 KB
lola: time consumption: 945 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (X (((p224 <= 0)))))) OR E (F (((1 <= p205) AND ((p236 <= 0) OR (p174 <= 0) OR (p241 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p205) AND ((p236 <= 0) OR (p174 <= 0) OR (p241 <= 0)))))
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 <= p205) AND ((p236 <= 0) OR (p174 <= 0) OR (p241 <= 0)))))
lola: processed formula length: 71
lola: 44 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 <= p205) AND ((p236 <= 0) OR (p174 <= 0) OR (p241 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 8 markings, 7 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 6 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (((1 <= p84) AND (1 <= p143) AND (1 <= p241))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:623
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: processed formula: ((1 <= p84) AND (1 <= p143) AND (1 <= p241))
lola: processed formula length: 44
lola: 45 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p84) AND (1 <= p143) AND (1 <= p241))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 291 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p157))))
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 <= p157))))
lola: processed formula length: 21
lola: 44 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 <= p157))
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: 8 markings, 7 edges
lola: ========================================
lola: subprocess 8 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p95 <= 0) OR (p108 <= 0) OR (p241 <= 0)) AND (((1 <= p35) AND (1 <= p96) AND (1 <= p241)) OR ((1 <= p115) AND (1 <= p242))))))
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 ((((p95 <= 0) OR (p108 <= 0) OR (p241 <= 0)) AND (((1 <= p35) AND (1 <= p96) AND (1 <= p241)) OR ((1 <= p115) AND (1 <= p242))))))
lola: processed formula length: 138
lola: 44 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: (((p95 <= 0) OR (p108 <= 0) OR (p241 <= 0)) AND (((1 <= p35) AND (1 <= p96) AND (1 <= p241)) OR ((1 <= p115) AND (1 <= p242))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 17 literals and 5 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 9 will run for 375 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((1 <= p130))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((1 <= p130))
lola: processed formula length: 13
lola: 46 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: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p130))
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 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: ((p130 <= 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: write sara problem file to CTLFireability-9-1.sara
lola: state equation: write sara problem file to CTLFireability-9-0.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-9-1.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 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 441391 markings, 575952 edges, 88278 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 913357 markings, 1193497 edges, 94393 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 1376850 markings, 1800982 edges, 92699 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 1839767 markings, 2409117 edges, 92583 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 2297856 markings, 3011595 edges, 91618 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 2755772 markings, 3614289 edges, 91583 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 3214169 markings, 4217700 edges, 91679 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 3666256 markings, 4813035 edges, 90417 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 4118162 markings, 5408900 edges, 90381 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 4570635 markings, 6006364 edges, 90495 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 5022007 markings, 6602424 edges, 90274 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 5473589 markings, 7197868 edges, 90316 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 5922159 markings, 7789445 edges, 89714 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 6372122 markings, 8385191 edges, 89993 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 6823457 markings, 8982787 edges, 90267 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 7274542 markings, 9579420 edges, 90217 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 7724655 markings, 10175849 edges, 90023 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 8171646 markings, 10766862 edges, 89398 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 8610685 markings, 11347251 edges, 87808 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 9047119 markings, 11924385 edges, 87287 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 9482707 markings, 12502615 edges, 87118 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 9920369 markings, 13082599 edges, 87532 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 10356477 markings, 13659423 edges, 87222 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 10791043 markings, 14235485 edges, 86913 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 11231761 markings, 14819908 edges, 88144 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 11670130 markings, 15401487 edges, 87674 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 12108274 markings, 15983417 edges, 87629 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 12550124 markings, 16570084 edges, 88370 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 12985426 markings, 17147674 edges, 87060 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 13415210 markings, 17717873 edges, 85957 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 13853660 markings, 18299442 edges, 87690 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 14289398 markings, 18877216 edges, 87148 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 14723189 markings, 19453162 edges, 86758 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 15160979 markings, 20033804 edges, 87558 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 15592774 markings, 20607507 edges, 86359 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 16026017 markings, 21183194 edges, 86649 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 16460023 markings, 21760109 edges, 86801 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 16892666 markings, 22336401 edges, 86529 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 17323569 markings, 22906850 edges, 86181 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 17755451 markings, 23480872 edges, 86376 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 18191276 markings, 24061435 edges, 87165 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 18624692 markings, 24637495 edges, 86683 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 19057928 markings, 25213798 edges, 86647 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 19489163 markings, 25785717 edges, 86247 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 19923517 markings, 26364172 edges, 86871 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 20357772 markings, 26942567 edges, 86851 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 20790684 markings, 27519484 edges, 86582 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 21223963 markings, 28096385 edges, 86656 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 21657185 markings, 28672597 edges, 86644 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 22090605 markings, 29248719 edges, 86684 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 22519186 markings, 29819165 edges, 85716 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 22947878 markings, 30388641 edges, 85738 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 23378836 markings, 30962601 edges, 86192 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 23801662 markings, 31525585 edges, 84565 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 24227627 markings, 32091920 edges, 85193 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 24656975 markings, 32662764 edges, 85870 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 25088266 markings, 33236508 edges, 86258 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 25514377 markings, 33803105 edges, 85222 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 25944393 markings, 34377159 edges, 86003 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 26371439 markings, 34946096 edges, 85409 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 26800171 markings, 35516224 edges, 85746 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 27231807 markings, 36092433 edges, 86327 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 27663942 markings, 36669862 edges, 86427 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 28094029 markings, 37244666 edges, 86017 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 28521905 markings, 37814675 edges, 85575 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 28948204 markings, 38382376 edges, 85260 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 29373659 markings, 38949195 edges, 85091 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 29802050 markings, 39521111 edges, 85678 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 30229436 markings, 40090524 edges, 85477 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 30656053 markings, 40659335 edges, 85323 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 31084875 markings, 41231216 edges, 85764 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 31513202 markings, 41803251 edges, 85665 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 31936543 markings, 42366867 edges, 84668 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 32362185 markings, 42935105 edges, 85128 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown unknown unknown yes unknown unknown yes unknown yes unknown yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown yes unknown unknown unknown unknown unknown yes unknown unknown yes unknown yes unknown yes
lola: memory consumption: 4326128 KB
lola: time consumption: 1320 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 375 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p23) AND (1 <= p96) AND (1 <= p241) AND (1 <= p12)) OR A (G (((p73 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((((1 <= p23) AND (1 <= p96) AND (1 <= p241) AND (1 <= p12)) OR AG(((p73 <= 0)))))
lola: processed formula length: 84
lola: 45 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: 35399 markings, 81536 edges
lola: ========================================
lola: subprocess 11 will run for 450 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (E (F (((1 <= p100) AND (1 <= p242))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(EG(EF(((1 <= p100) AND (1 <= p242)))))
lola: processed formula length: 41
lola: 46 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 611900 markings, 1596259 edges, 122380 markings/sec, 0 secs
lola: 1145543 markings, 3159806 edges, 106729 markings/sec, 5 secs
lola: 1647885 markings, 4688829 edges, 100468 markings/sec, 10 secs
lola: 2249750 markings, 6326466 edges, 120373 markings/sec, 15 secs
lola: 2767334 markings, 7873611 edges, 103517 markings/sec, 20 secs
lola: 3314056 markings, 9437049 edges, 109344 markings/sec, 25 secs
lola: 3817954 markings, 10945636 edges, 100780 markings/sec, 30 secs
lola: 4277108 markings, 12339944 edges, 91831 markings/sec, 35 secs
lola: 4753184 markings, 13829591 edges, 95215 markings/sec, 40 secs
lola: 5209973 markings, 15288996 edges, 91358 markings/sec, 45 secs
lola: 5670685 markings, 16749951 edges, 92142 markings/sec, 50 secs
lola: 6124321 markings, 18205188 edges, 90727 markings/sec, 55 secs
lola: 6574427 markings, 19652220 edges, 90021 markings/sec, 60 secs
lola: 7018076 markings, 21087479 edges, 88730 markings/sec, 65 secs
lola: 7451055 markings, 22508408 edges, 86596 markings/sec, 70 secs
lola: 7883126 markings, 23925243 edges, 86414 markings/sec, 75 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 7996401 markings, 24276271 edges
lola: ========================================
lola: subprocess 12 will run for 541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((A (G (((1 <= p6) AND (1 <= p241)))) U ((1 <= p37)))) OR (E (F (((1 <= p119) AND (1 <= p228) AND (1 <= p241) AND (1 <= p51)))) OR E ((((1 <= p23) AND (1 <= p48) AND (1 <= p241) AND (1 <= p133)) U (((1 <= p83) AND (1 <= p216) AND (1 <= p241)) OR ((1 <= p140)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: (E(AG(((1 <= p6) AND (1 <= p241))) U ((1 <= p37))) OR (EF(((1 <= p119) AND (1 <= p228) AND (1 <= p241) AND (1 <= p51))) OR E(((1 <= p23) AND (1 <= p48) AND (1 <= p241) AND (1 <= p133)) U (((1 <= p83) AND (1 <= p216) AND (1 <= p241)) OR ((1 <= p140))))))
lola: processed formula length: 254
lola: 47 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 4 significant temporal operators and needs 17 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 642639 markings, 1683617 edges, 128528 markings/sec, 0 secs
lola: 1177862 markings, 3254631 edges, 107045 markings/sec, 5 secs
lola: 1681534 markings, 4781789 edges, 100734 markings/sec, 10 secs
lola: 2281128 markings, 6419332 edges, 119919 markings/sec, 15 secs
lola: 2795264 markings, 7957940 edges, 102827 markings/sec, 20 secs
lola: 3288622 markings, 9358974 edges, 98672 markings/sec, 25 secs
lola: 3805379 markings, 10906403 edges, 103351 markings/sec, 30 secs
lola: 4305409 markings, 12426296 edges, 100006 markings/sec, 35 secs
lola: 4780302 markings, 13917645 edges, 94979 markings/sec, 40 secs
lola: 5241108 markings, 15384158 edges, 92161 markings/sec, 45 secs
lola: 5704150 markings, 16853594 edges, 92608 markings/sec, 50 secs
lola: 6159463 markings, 18315204 edges, 91063 markings/sec, 55 secs
lola: 6611033 markings, 19767886 edges, 90314 markings/sec, 60 secs
lola: 7056297 markings, 21214605 edges, 89053 markings/sec, 65 secs
lola: 7493756 markings, 22647255 edges, 87492 markings/sec, 70 secs
lola: 7929613 markings, 24074229 edges, 87171 markings/sec, 75 secs
lola: 8382708 markings, 25525362 edges, 90619 markings/sec, 80 secs
lola: 8811859 markings, 26936994 edges, 85830 markings/sec, 85 secs
lola: 9234476 markings, 28329442 edges, 84523 markings/sec, 90 secs
lola: 9637346 markings, 29661652 edges, 80574 markings/sec, 95 secs
lola: 10050688 markings, 31020403 edges, 82668 markings/sec, 100 secs
lola: 10444573 markings, 32335135 edges, 78777 markings/sec, 105 secs
lola: 10846028 markings, 33674360 edges, 80291 markings/sec, 110 secs
lola: 11230641 markings, 34967173 edges, 76923 markings/sec, 115 secs
lola: 11614012 markings, 36262875 edges, 76674 markings/sec, 120 secs
lola: 12003783 markings, 37566496 edges, 77954 markings/sec, 125 secs
lola: 12406534 markings, 38869769 edges, 80550 markings/sec, 130 secs
lola: 12879253 markings, 40327256 edges, 94544 markings/sec, 135 secs
lola: 13446102 markings, 41933494 edges, 113370 markings/sec, 140 secs
lola: 13986289 markings, 43498776 edges, 108037 markings/sec, 145 secs
lola: 14499501 markings, 45016704 edges, 102642 markings/sec, 150 secs
lola: 14989619 markings, 46503048 edges, 98024 markings/sec, 155 secs
lola: 15458947 markings, 47959806 edges, 93866 markings/sec, 160 secs
lola: 15913780 markings, 49398251 edges, 90967 markings/sec, 165 secs
lola: 16388744 markings, 50860967 edges, 94993 markings/sec, 170 secs
lola: 16831018 markings, 52283829 edges, 88455 markings/sec, 175 secs
lola: 17275910 markings, 53704465 edges, 88978 markings/sec, 180 secs
lola: 17703161 markings, 55105984 edges, 85450 markings/sec, 185 secs
lola: 18131666 markings, 56503614 edges, 85701 markings/sec, 190 secs
lola: 18565050 markings, 57909197 edges, 86677 markings/sec, 195 secs
lola: 19112780 markings, 59469268 edges, 109546 markings/sec, 200 secs
lola: 19654885 markings, 61064236 edges, 108421 markings/sec, 205 secs
lola: 20119367 markings, 62529711 edges, 92896 markings/sec, 210 secs
lola: 20543895 markings, 63918840 edges, 84906 markings/sec, 215 secs
lola: 20959894 markings, 65298951 edges, 83200 markings/sec, 220 secs
lola: 21481128 markings, 66826241 edges, 104247 markings/sec, 225 secs
lola: 21928913 markings, 68261927 edges, 89557 markings/sec, 230 secs
lola: 22325935 markings, 69578763 edges, 79404 markings/sec, 235 secs
lola: 22731659 markings, 70936261 edges, 81145 markings/sec, 240 secs
lola: 23122734 markings, 72245029 edges, 78215 markings/sec, 245 secs
lola: 23528840 markings, 73601453 edges, 81221 markings/sec, 250 secs
lola: 23940222 markings, 74971633 edges, 82276 markings/sec, 255 secs
lola: 24338047 markings, 76320221 edges, 79565 markings/sec, 260 secs
lola: 24813854 markings, 77793617 edges, 95161 markings/sec, 265 secs
lola: 25220558 markings, 79157345 edges, 81341 markings/sec, 270 secs
lola: 25686333 markings, 80615665 edges, 93155 markings/sec, 275 secs
lola: 26123730 markings, 82031314 edges, 87479 markings/sec, 280 secs
lola: 26521137 markings, 83372504 edges, 79481 markings/sec, 285 secs
lola: 26975032 markings, 84809259 edges, 90779 markings/sec, 290 secs
lola: 27357396 markings, 86130855 edges, 76473 markings/sec, 295 secs
lola: 27789560 markings, 87537414 edges, 86433 markings/sec, 300 secs
lola: 28176885 markings, 88869716 edges, 77465 markings/sec, 305 secs
lola: 28561691 markings, 90195282 edges, 76961 markings/sec, 310 secs
lola: 28971745 markings, 91563957 edges, 82011 markings/sec, 315 secs
lola: 29365770 markings, 92905656 edges, 78805 markings/sec, 320 secs
lola: 29754281 markings, 94233622 edges, 77702 markings/sec, 325 secs
lola: 30144095 markings, 95565136 edges, 77963 markings/sec, 330 secs
lola: 30548514 markings, 96925882 edges, 80884 markings/sec, 335 secs
lola: 30959129 markings, 98292094 edges, 82123 markings/sec, 340 secs
lola: 31364871 markings, 99656889 edges, 81148 markings/sec, 345 secs
lola: 31757003 markings, 100992660 edges, 78426 markings/sec, 350 secs
lola: 32131890 markings, 102301357 edges, 74977 markings/sec, 355 secs
lola: 32560531 markings, 103715663 edges, 85728 markings/sec, 360 secs
lola: 32952121 markings, 105046836 edges, 78318 markings/sec, 365 secs
lola: 33327092 markings, 106349211 edges, 74994 markings/sec, 370 secs
lola: 33702169 markings, 107641651 edges, 75015 markings/sec, 375 secs
lola: 34055477 markings, 108878500 edges, 70662 markings/sec, 380 secs
lola: 34452664 markings, 110220895 edges, 79437 markings/sec, 385 secs
lola: 34822325 markings, 111509108 edges, 73932 markings/sec, 390 secs
lola: 35206571 markings, 112821865 edges, 76849 markings/sec, 395 secs
lola: 35600406 markings, 114163174 edges, 78767 markings/sec, 400 secs
lola: 35989435 markings, 115486582 edges, 77806 markings/sec, 405 secs
lola: 36347866 markings, 116737740 edges, 71686 markings/sec, 410 secs
lola: 36687338 markings, 117915397 edges, 67894 markings/sec, 415 secs
lola: 37033975 markings, 119130139 edges, 69327 markings/sec, 420 secs
lola: 37375822 markings, 120314041 edges, 68369 markings/sec, 425 secs
lola: 37717494 markings, 121507859 edges, 68334 markings/sec, 430 secs
lola: 38061010 markings, 122696348 edges, 68703 markings/sec, 435 secs
lola: 38408912 markings, 123923197 edges, 69580 markings/sec, 440 secs
lola: 38774264 markings, 125204890 edges, 73070 markings/sec, 445 secs
lola: 39123594 markings, 126424035 edges, 69866 markings/sec, 450 secs
lola: 39475332 markings, 127666518 edges, 70348 markings/sec, 455 secs
lola: 39860929 markings, 128986515 edges, 77119 markings/sec, 460 secs
lola: 40240403 markings, 130275854 edges, 75895 markings/sec, 465 secs
lola: 40615794 markings, 131584827 edges, 75078 markings/sec, 470 secs
lola: 41008729 markings, 132922327 edges, 78587 markings/sec, 475 secs
lola: 41378153 markings, 134215383 edges, 73885 markings/sec, 480 secs
lola: 41742444 markings, 135500410 edges, 72858 markings/sec, 485 secs
lola: 42104694 markings, 136768364 edges, 72450 markings/sec, 490 secs
lola: 42472682 markings, 138049999 edges, 73598 markings/sec, 495 secs
lola: 42841290 markings, 139346226 edges, 73722 markings/sec, 500 secs
lola: 43217391 markings, 140653948 edges, 75220 markings/sec, 505 secs
lola: 43594501 markings, 141972474 edges, 75422 markings/sec, 510 secs
lola: 43954683 markings, 143250605 edges, 72036 markings/sec, 515 secs
lola: 44310025 markings, 144526269 edges, 71068 markings/sec, 520 secs
lola: 44693963 markings, 145844055 edges, 76788 markings/sec, 525 secs
lola: 45070302 markings, 147149594 edges, 75268 markings/sec, 530 secs
lola: 45432810 markings, 148428364 edges, 72502 markings/sec, 535 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes unknown unknown unknown unknown unknown yes unknown yes yes unknown yes unknown yes
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((A (F ((((1 <= p232) AND (1 <= p242)) OR ((1 <= p11) AND (1 <= p241))))) U ((1 <= p155) AND (1 <= p228) AND (1 <= p241))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F ((((1 <= p232) AND (1 <= p242)) OR ((1 <= p11) AND (1 <= p241)))) U ((1 <= p155) AND (1 <= p228) AND (1 <= p241)))
lola: processed formula length: 118
lola: 45 rewrites
lola: closed formula file CTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The universal single path CTL formula does not hold.
lola: 8 markings, 9 edges
lola: ========================================
lola: subprocess 14 will run for 812 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p53) AND (1 <= p23) AND (1 <= p180) AND (1 <= p241)))) OR (((1 <= p12) AND (1 <= p71) AND (1 <= p241)) OR (((1 <= p71) AND (1 <= p155) AND (1 <= p168) AND (1 <= p241) AND (1 <= p83) AND (1 <= p180)) OR (((1 <= p191) AND (1 <= p216) AND (1 <= p241) AND (1 <= p35) AND (1 <= p60)) OR (((1 <= p47) AND (1 <= p144) AND (1 <= p241) AND (1 <= p36) AND (1 <= p131)) OR (((p61 <= 0)) AND (A (F ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 812 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p61 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p61 <= 0))
lola: processed formula length: 12
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 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 15 will run for 1625 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p12) AND (1 <= p71) AND (1 <= p241))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p12) AND (1 <= p71) AND (1 <= p241))
lola: processed formula length: 43
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 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: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p191) AND (1 <= p216) AND (1 <= p241) AND (1 <= p35) AND (1 <= p60))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p191) AND (1 <= p216) AND (1 <= p241) AND (1 <= p35) AND (1 <= p60))
lola: processed formula length: 75
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 5 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 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p71) AND (1 <= p155) AND (1 <= p168) AND (1 <= p241) AND (1 <= p83) AND (1 <= p180))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p71) AND (1 <= p155) AND (1 <= p168) AND (1 <= p241) AND (1 <= p83) AND (1 <= p180))
lola: processed formula length: 91
lola: 43 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 6 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 19 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p53) AND (1 <= p23) AND (1 <= p180) AND (1 <= p241))))
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 <= p53) AND (1 <= p23) AND (1 <= p180) AND (1 <= p241))))
lola: processed formula length: 67
lola: 44 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 <= p53) AND (1 <= p23) AND (1 <= p180) AND (1 <= p241))
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: 10 markings, 9 edges
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 15 will run for 1625 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F ((((1 <= p36) AND (1 <= p215) AND (1 <= p241)) OR ((1 <= p59) AND (1 <= p108) AND (1 <= p241))))))) OR A (F (E (G (((1 <= p72) AND (1 <= p239) AND (1 <= p241) AND (1 <= p60) AND (1 <= p215) AND (1 <= p241)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1625 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (((1 <= p72) AND (1 <= p239) AND (1 <= p241) AND (1 <= p60) AND (1 <= p215) AND (1 <= p241))))))
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 <= p72) AND (1 <= p239) AND (1 <= p241) AND (1 <= p60) AND (1 <= p215) AND (1 <= p241))))
lola: processed formula length: 99
lola: 45 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: 4 markings, 8 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 (((((1 <= p23) AND (1 <= p108) AND (1 <= p241)) OR ((1 <= p79) AND (1 <= p242)) OR (p167 <= 0)) U A (X (((1 <= p132) AND (1 <= p191) AND (1 <= p241)))))) AND (A ((((p11 <= 0) OR (p72 <= 0) OR (p241 <= 0)) R ((p36 <= 0) OR (p119 <= 0) OR (p241 <= 0)))) AND (A (F (((p84 <= 0) OR (p143 <= 0) OR (p241 <= 0)))) OR ((1 <= p96) AND (1 <= p143) AND (1 <= p241) AND ((p226 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: (E((((1 <= p23) AND (1 <= p108) AND (1 <= p241)) OR ((1 <= p79) AND (1 <= p242)) OR (p167 <= 0)) U AX(((1 <= p132) AND (1 <= p191) AND (1 <= p241)))) AND (A(((p11 <= 0) OR (p72 <= 0) OR (p241 <= 0)) R ((p36 <= 0) OR (p119 <= 0) OR (p241 <= 0))) AND (AF(((p84 <= 0) OR (p143 <= 0) OR (p241 <= 0))) OR ((1 <= p96) AND (1 <= p143) AND (1 <= p241) AND ((p226 <= 0))))))
lola: processed formula length: 373
lola: 47 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 517275 markings, 1214918 edges, 103455 markings/sec, 0 secs
lola: 1023404 markings, 2505737 edges, 101226 markings/sec, 5 secs
lola: 1471950 markings, 3800141 edges, 89709 markings/sec, 10 secs
lola: 1954580 markings, 5127082 edges, 96526 markings/sec, 15 secs
lola: 2368169 markings, 6364575 edges, 82718 markings/sec, 20 secs
lola: 2848129 markings, 7663316 edges, 95992 markings/sec, 25 secs
lola: 3274680 markings, 8927419 edges, 85310 markings/sec, 30 secs
lola: 3733715 markings, 10222216 edges, 91807 markings/sec, 35 secs
lola: 4162713 markings, 11518295 edges, 85800 markings/sec, 40 secs
lola: 4589289 markings, 12811866 edges, 85315 markings/sec, 45 secs
lola: 5006635 markings, 14103275 edges, 83469 markings/sec, 50 secs
lola: 5424257 markings, 15413101 edges, 83524 markings/sec, 55 secs
lola: 5838129 markings, 16715711 edges, 82774 markings/sec, 60 secs
lola: 6248395 markings, 18016959 edges, 82053 markings/sec, 65 secs
lola: 6645392 markings, 19277145 edges, 79399 markings/sec, 70 secs
lola: 7038340 markings, 20541914 edges, 78590 markings/sec, 75 secs
lola: 7437096 markings, 21819301 edges, 79751 markings/sec, 80 secs
lola: 7824265 markings, 23085379 edges, 77434 markings/sec, 85 secs
lola: 8226297 markings, 24369088 edges, 80406 markings/sec, 90 secs
lola: 8607438 markings, 25622661 edges, 76228 markings/sec, 95 secs
lola: 8978051 markings, 26851832 edges, 74123 markings/sec, 100 secs
lola: 9353631 markings, 28081900 edges, 75116 markings/sec, 105 secs
lola: 9723661 markings, 29324445 edges, 74006 markings/sec, 110 secs
lola: 10106054 markings, 30581289 edges, 76479 markings/sec, 115 secs
lola: 10505568 markings, 31857888 edges, 79903 markings/sec, 120 secs
lola: 10875490 markings, 33093374 edges, 73984 markings/sec, 125 secs
lola: 11243094 markings, 34319965 edges, 73521 markings/sec, 130 secs
lola: 11620557 markings, 35561902 edges, 75493 markings/sec, 135 secs
lola: 11982674 markings, 36783010 edges, 72423 markings/sec, 140 secs
lola: 12352752 markings, 38015823 edges, 74016 markings/sec, 145 secs
lola: 12757320 markings, 39280650 edges, 80914 markings/sec, 150 secs
lola: 13256701 markings, 40675200 edges, 99876 markings/sec, 155 secs
lola: 13757483 markings, 42047854 edges, 100156 markings/sec, 160 secs
lola: 14205202 markings, 43384708 edges, 89544 markings/sec, 165 secs
lola: 14634800 markings, 44698993 edges, 85920 markings/sec, 170 secs
lola: 15048660 markings, 45989389 edges, 82772 markings/sec, 175 secs
lola: 15469526 markings, 47285389 edges, 84173 markings/sec, 180 secs
lola: 15877447 markings, 48570771 edges, 81584 markings/sec, 185 secs
lola: 16274675 markings, 49846893 edges, 79446 markings/sec, 190 secs
lola: 16673091 markings, 51114463 edges, 79683 markings/sec, 195 secs
lola: 17067895 markings, 52379637 edges, 78961 markings/sec, 200 secs
lola: 17454591 markings, 53635688 edges, 77339 markings/sec, 205 secs
lola: 17838364 markings, 54882771 edges, 76755 markings/sec, 210 secs
lola: 18229548 markings, 56133543 edges, 78237 markings/sec, 215 secs
lola: 18651389 markings, 57414765 edges, 84368 markings/sec, 220 secs
lola: 19143736 markings, 58797861 edges, 98469 markings/sec, 225 secs
lola: 19629877 markings, 60181385 edges, 97228 markings/sec, 230 secs
lola: 20024086 markings, 61408972 edges, 78842 markings/sec, 235 secs
lola: 20374000 markings, 62541458 edges, 69983 markings/sec, 240 secs
lola: 20750384 markings, 63697555 edges, 75277 markings/sec, 245 secs
lola: 21094336 markings, 64825447 edges, 68790 markings/sec, 250 secs
lola: 21484113 markings, 66012290 edges, 77955 markings/sec, 255 secs
lola: 21834073 markings, 67139604 edges, 69992 markings/sec, 260 secs
lola: 22181797 markings, 68267287 edges, 69545 markings/sec, 265 secs
lola: 22512370 markings, 69370054 edges, 66115 markings/sec, 270 secs
lola: 22846643 markings, 70467574 edges, 66855 markings/sec, 275 secs
lola: 23175609 markings, 71563745 edges, 65793 markings/sec, 280 secs
lola: 23500768 markings, 72658671 edges, 65032 markings/sec, 285 secs
lola: 23827596 markings, 73754901 edges, 65366 markings/sec, 290 secs
lola: 24149952 markings, 74837368 edges, 64471 markings/sec, 295 secs
lola: 24463527 markings, 75908889 edges, 62715 markings/sec, 300 secs
lola: 24820370 markings, 77048551 edges, 71369 markings/sec, 305 secs
lola: 25161129 markings, 78165047 edges, 68152 markings/sec, 310 secs
lola: 25474244 markings, 79235128 edges, 62623 markings/sec, 315 secs
lola: 25802056 markings, 80335574 edges, 65562 markings/sec, 320 secs
lola: 26128915 markings, 81422530 edges, 65372 markings/sec, 325 secs
lola: 26467919 markings, 82533411 edges, 67801 markings/sec, 330 secs
lola: 26791515 markings, 83621919 edges, 64719 markings/sec, 335 secs
lola: 27119870 markings, 84712581 edges, 65671 markings/sec, 340 secs
lola: 27438126 markings, 85784521 edges, 63651 markings/sec, 345 secs
lola: 27751605 markings, 86858659 edges, 62696 markings/sec, 350 secs
lola: 28096883 markings, 87981086 edges, 69056 markings/sec, 355 secs
lola: 28411973 markings, 89051707 edges, 63018 markings/sec, 360 secs
lola: 28733557 markings, 90134922 edges, 64317 markings/sec, 365 secs
lola: 29063844 markings, 91238609 edges, 66057 markings/sec, 370 secs
lola: 29372369 markings, 92301331 edges, 61705 markings/sec, 375 secs
lola: 29698688 markings, 93395212 edges, 65264 markings/sec, 380 secs
lola: 30025463 markings, 94487580 edges, 65355 markings/sec, 385 secs
lola: 30345355 markings, 95573937 edges, 63978 markings/sec, 390 secs
lola: 30659382 markings, 96646789 edges, 62805 markings/sec, 395 secs
lola: 30960290 markings, 97697631 edges, 60182 markings/sec, 400 secs
lola: 31273251 markings, 98767314 edges, 62592 markings/sec, 405 secs
lola: 31590630 markings, 99851157 edges, 63476 markings/sec, 410 secs
lola: 31920730 markings, 100954769 edges, 66020 markings/sec, 415 secs
lola: 32244350 markings, 102041671 edges, 64724 markings/sec, 420 secs
lola: 32547219 markings, 103094280 edges, 60574 markings/sec, 425 secs
lola: 32850084 markings, 104157649 edges, 60573 markings/sec, 430 secs
lola: 33159692 markings, 105223400 edges, 61922 markings/sec, 435 secs
lola: 33474075 markings, 106303318 edges, 62877 markings/sec, 440 secs
lola: 33778314 markings, 107361828 edges, 60848 markings/sec, 445 secs
lola: 34093250 markings, 108438347 edges, 62987 markings/sec, 450 secs
lola: 34427789 markings, 109578922 edges, 66908 markings/sec, 455 secs
lola: 34773064 markings, 110751467 edges, 69055 markings/sec, 460 secs
lola: 35129496 markings, 111949783 edges, 71286 markings/sec, 465 secs
lola: 35464397 markings, 113105222 edges, 66980 markings/sec, 470 secs
lola: 35815833 markings, 114288616 edges, 70287 markings/sec, 475 secs
lola: 36156467 markings, 115459093 edges, 68127 markings/sec, 480 secs
lola: 36503456 markings, 116641249 edges, 69398 markings/sec, 485 secs
lola: 36848134 markings, 117815662 edges, 68936 markings/sec, 490 secs
lola: 37175603 markings, 118966663 edges, 65494 markings/sec, 495 secs
lola: 37499279 markings, 120106856 edges, 64735 markings/sec, 500 secs
lola: 37833572 markings, 121265135 edges, 66859 markings/sec, 505 secs
lola: 38162977 markings, 122414540 edges, 65881 markings/sec, 510 secs
lola: 38492158 markings, 123564234 edges, 65836 markings/sec, 515 secs
lola: 38816364 markings, 124705785 edges, 64841 markings/sec, 520 secs
lola: 39144371 markings, 125841644 edges, 65601 markings/sec, 525 secs
lola: 39455539 markings, 126921288 edges, 62234 markings/sec, 530 secs
lola: 39690634 markings, 127730858 edges, 47019 markings/sec, 535 secs
lola: 40004272 markings, 128836441 edges, 62728 markings/sec, 540 secs
lola: 40324882 markings, 129958379 edges, 64122 markings/sec, 545 secs
lola: 40639639 markings, 131070805 edges, 62951 markings/sec, 550 secs
lola: 40949274 markings, 132147015 edges, 61927 markings/sec, 555 secs
lola: 41261020 markings, 133222145 edges, 62349 markings/sec, 560 secs
lola: 41550868 markings, 134250665 edges, 57970 markings/sec, 565 secs
lola: 41853361 markings, 135279087 edges, 60499 markings/sec, 570 secs
lola: 42164665 markings, 136358676 edges, 62261 markings/sec, 575 secs
lola: 42472317 markings, 137413165 edges, 61530 markings/sec, 580 secs
lola: 42783925 markings, 138494688 edges, 62322 markings/sec, 585 secs
lola: 43053657 markings, 139423265 edges, 53946 markings/sec, 590 secs
lola: 43354434 markings, 140480059 edges, 60155 markings/sec, 595 secs
lola: 43657566 markings, 141543451 edges, 60626 markings/sec, 600 secs
lola: 43961211 markings, 142607114 edges, 60729 markings/sec, 605 secs
lola: 44266300 markings, 143674666 edges, 61018 markings/sec, 610 secs
lola: 44565497 markings, 144725967 edges, 59839 markings/sec, 615 secs
lola: 44879585 markings, 145811139 edges, 62818 markings/sec, 620 secs
lola: 45166637 markings, 146823083 edges, 57410 markings/sec, 625 secs
lola: 45475217 markings, 147897901 edges, 61716 markings/sec, 630 secs
lola: 45798202 markings, 148987869 edges, 64597 markings/sec, 635 secs
lola: 46142855 markings, 150189852 edges, 68931 markings/sec, 640 secs
lola: 46417753 markings, 151149930 edges, 54980 markings/sec, 645 secs
lola: 46721115 markings, 152204909 edges, 60672 markings/sec, 650 secs
lola: 47011878 markings, 153249645 edges, 58153 markings/sec, 655 secs
lola: 47312270 markings, 154308397 edges, 60078 markings/sec, 660 secs
lola: 47603782 markings, 155354645 edges, 58302 markings/sec, 665 secs
lola: 47923302 markings, 156446904 edges, 63904 markings/sec, 670 secs
lola: 48226346 markings, 157506963 edges, 60609 markings/sec, 675 secs
lola: 48516829 markings, 158506856 edges, 58097 markings/sec, 680 secs
lola: 48827099 markings, 159592675 edges, 62054 markings/sec, 685 secs
lola: 49132524 markings, 160673833 edges, 61085 markings/sec, 690 secs
lola: 49335705 markings, 161392540 edges, 40636 markings/sec, 695 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p179) AND (1 <= p216) AND (1 <= p241))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p179) AND (1 <= p216) AND (1 <= p241))))
lola: processed formula length: 53
lola: 45 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: 545344 markings, 1408974 edges, 109069 markings/sec, 0 secs
lola: 1027480 markings, 2802405 edges, 96427 markings/sec, 5 secs
lola: 1476251 markings, 4165916 edges, 89754 markings/sec, 10 secs
lola: 1978954 markings, 5564845 edges, 100541 markings/sec, 15 secs
lola: 2439679 markings, 6890235 edges, 92145 markings/sec, 20 secs
lola: 2893289 markings, 8259351 edges, 90722 markings/sec, 25 secs
lola: 3383874 markings, 9635438 edges, 98117 markings/sec, 30 secs
lola: 3829548 markings, 10981143 edges, 89135 markings/sec, 35 secs
lola: 4266967 markings, 12310442 edges, 87484 markings/sec, 40 secs
lola: 4686253 markings, 13625802 edges, 83857 markings/sec, 45 secs
lola: 5097088 markings, 14928734 edges, 82167 markings/sec, 50 secs
lola: 5503994 markings, 16226383 edges, 81381 markings/sec, 55 secs
lola: 5914368 markings, 17519657 edges, 82075 markings/sec, 60 secs
lola: 6312231 markings, 18809358 edges, 79573 markings/sec, 65 secs
lola: 6707963 markings, 20084488 edges, 79146 markings/sec, 70 secs
lola: 7101471 markings, 21361274 edges, 78702 markings/sec, 75 secs
lola: 7488052 markings, 22628227 edges, 77316 markings/sec, 80 secs
lola: 7873049 markings, 23890961 edges, 76999 markings/sec, 85 secs
lola: 8266355 markings, 25144039 edges, 78661 markings/sec, 90 secs
lola: 8631287 markings, 26346825 edges, 72986 markings/sec, 95 secs
lola: 8993429 markings, 27536512 edges, 72428 markings/sec, 100 secs
lola: 9359490 markings, 28740269 edges, 73212 markings/sec, 105 secs
lola: 9730352 markings, 29981413 edges, 74172 markings/sec, 110 secs
lola: 10107979 markings, 31209545 edges, 75525 markings/sec, 115 secs
lola: 10478242 markings, 32446684 edges, 74053 markings/sec, 120 secs
lola: 10835035 markings, 33636444 edges, 71359 markings/sec, 125 secs
lola: 11177452 markings, 34789652 edges, 68483 markings/sec, 130 secs
lola: 11521144 markings, 35946635 edges, 68738 markings/sec, 135 secs
lola: 11864573 markings, 37105716 edges, 68686 markings/sec, 140 secs
lola: 12239223 markings, 38309416 edges, 74930 markings/sec, 145 secs
lola: 12581141 markings, 39461897 edges, 68384 markings/sec, 150 secs
lola: 13050098 markings, 40786761 edges, 93791 markings/sec, 155 secs
lola: 13511263 markings, 42128596 edges, 92233 markings/sec, 160 secs
lola: 13971701 markings, 43453700 edges, 92088 markings/sec, 165 secs
lola: 14398821 markings, 44699037 edges, 85424 markings/sec, 170 secs
lola: 14833598 markings, 46027132 edges, 86955 markings/sec, 175 secs
lola: 15260569 markings, 47339820 edges, 85394 markings/sec, 180 secs
lola: 15675937 markings, 48642119 edges, 83074 markings/sec, 185 secs
lola: 16090642 markings, 49935061 edges, 82941 markings/sec, 190 secs
lola: 16486925 markings, 51169231 edges, 79257 markings/sec, 195 secs
lola: 16859394 markings, 52377172 edges, 74494 markings/sec, 200 secs
lola: 17256499 markings, 53640117 edges, 79421 markings/sec, 205 secs
lola: 17636804 markings, 54885156 edges, 76061 markings/sec, 210 secs
lola: 18011956 markings, 56120290 edges, 75030 markings/sec, 215 secs
lola: 18402061 markings, 57369181 edges, 78021 markings/sec, 220 secs
lola: 18801264 markings, 58626439 edges, 79841 markings/sec, 225 secs
lola: 19312493 markings, 60037232 edges, 102246 markings/sec, 230 secs
lola: 19770422 markings, 61408679 edges, 91586 markings/sec, 235 secs
lola: 20163448 markings, 62672723 edges, 78605 markings/sec, 240 secs
lola: 20538598 markings, 63901913 edges, 75030 markings/sec, 245 secs
lola: 20889872 markings, 65074107 edges, 70255 markings/sec, 250 secs
lola: 21358354 markings, 66420011 edges, 93696 markings/sec, 255 secs
lola: 21761456 markings, 67706417 edges, 80620 markings/sec, 260 secs
lola: 22125570 markings, 68915620 edges, 72823 markings/sec, 265 secs
lola: 22488255 markings, 70123618 edges, 72537 markings/sec, 270 secs
lola: 22848305 markings, 71328888 edges, 72010 markings/sec, 275 secs
lola: 23210104 markings, 72538122 edges, 72360 markings/sec, 280 secs
lola: 23570217 markings, 73742080 edges, 72023 markings/sec, 285 secs
lola: 23936614 markings, 74959620 edges, 73279 markings/sec, 290 secs
lola: 24291403 markings, 76161768 edges, 70958 markings/sec, 295 secs
lola: 24690581 markings, 77427710 edges, 79836 markings/sec, 300 secs
lola: 25076376 markings, 78676196 edges, 77159 markings/sec, 305 secs
lola: 25487740 markings, 79963284 edges, 82273 markings/sec, 310 secs
lola: 25888415 markings, 81238524 edges, 80135 markings/sec, 315 secs
lola: 26244250 markings, 82439237 edges, 71167 markings/sec, 320 secs
lola: 26619914 markings, 83664880 edges, 75133 markings/sec, 325 secs
lola: 27005298 markings, 84912220 edges, 77077 markings/sec, 330 secs
lola: 27346391 markings, 86092437 edges, 68219 markings/sec, 335 secs
lola: 27725038 markings, 87333783 edges, 75729 markings/sec, 340 secs
lola: 28081904 markings, 88537725 edges, 71373 markings/sec, 345 secs
lola: 28422071 markings, 89716127 edges, 68033 markings/sec, 350 secs
lola: 28774756 markings, 90913286 edges, 70537 markings/sec, 355 secs
lola: 29139810 markings, 92128734 edges, 73011 markings/sec, 360 secs
lola: 29487874 markings, 93320980 edges, 69613 markings/sec, 365 secs
lola: 29829596 markings, 94494941 edges, 68344 markings/sec, 370 secs
lola: 30183220 markings, 95692510 edges, 70725 markings/sec, 375 secs
lola: 30541508 markings, 96900679 edges, 71658 markings/sec, 380 secs
lola: 30911163 markings, 98125716 edges, 73931 markings/sec, 385 secs
lola: 31268105 markings, 99332182 edges, 71388 markings/sec, 390 secs
lola: 31624874 markings, 100538299 edges, 71354 markings/sec, 395 secs
lola: 31961222 markings, 101709640 edges, 67270 markings/sec, 400 secs
lola: 32337367 markings, 102955215 edges, 75229 markings/sec, 405 secs
lola: 32695009 markings, 104171329 edges, 71528 markings/sec, 410 secs
lola: 33021506 markings, 105280765 edges, 65299 markings/sec, 415 secs
lola: 33343554 markings, 106407183 edges, 64410 markings/sec, 420 secs
lola: 33675448 markings, 107548588 edges, 66379 markings/sec, 425 secs
lola: 33999106 markings, 108678781 edges, 64732 markings/sec, 430 secs
lola: 34336926 markings, 109826157 edges, 67564 markings/sec, 435 secs
lola: 34664097 markings, 110959888 edges, 65434 markings/sec, 440 secs
lola: 35001762 markings, 112111319 edges, 67533 markings/sec, 445 secs
lola: 35329165 markings, 113246297 edges, 65481 markings/sec, 450 secs
lola: 35666230 markings, 114393621 edges, 67413 markings/sec, 455 secs
lola: 36006555 markings, 115549224 edges, 68065 markings/sec, 460 secs
lola: 36328365 markings, 116669168 edges, 64362 markings/sec, 465 secs
lola: 36651444 markings, 117789886 edges, 64616 markings/sec, 470 secs
lola: 36972991 markings, 118915972 edges, 64309 markings/sec, 475 secs
lola: 37299172 markings, 120047249 edges, 65236 markings/sec, 480 secs
lola: 37624407 markings, 121178557 edges, 65047 markings/sec, 485 secs
lola: 37954382 markings, 122320464 edges, 65995 markings/sec, 490 secs
lola: 38260004 markings, 123402039 edges, 61124 markings/sec, 495 secs
lola: 38575737 markings, 124510402 edges, 63147 markings/sec, 500 secs
lola: 38893656 markings, 125627163 edges, 63584 markings/sec, 505 secs
lola: 39218152 markings, 126758970 edges, 64899 markings/sec, 510 secs
lola: 39521832 markings, 127821867 edges, 60736 markings/sec, 515 secs
lola: 39858258 markings, 128977050 edges, 67285 markings/sec, 520 secs
lola: 40186811 markings, 130100667 edges, 65711 markings/sec, 525 secs
lola: 40482902 markings, 131124605 edges, 59218 markings/sec, 530 secs
lola: 40739539 markings, 132009357 edges, 51327 markings/sec, 535 secs
lola: 41035687 markings, 133017162 edges, 59230 markings/sec, 540 secs
lola: 41361821 markings, 134157595 edges, 65227 markings/sec, 545 secs
lola: 41633049 markings, 135113932 edges, 54246 markings/sec, 550 secs
lola: 41940960 markings, 136213799 edges, 61582 markings/sec, 555 secs
lola: 42231073 markings, 137201542 edges, 58023 markings/sec, 560 secs
lola: 42529319 markings, 138248259 edges, 59649 markings/sec, 565 secs
lola: 42821475 markings, 139277486 edges, 58431 markings/sec, 570 secs
lola: 43127551 markings, 140342991 edges, 61215 markings/sec, 575 secs
lola: 43453475 markings, 141481731 edges, 65185 markings/sec, 580 secs
lola: 43777439 markings, 142615702 edges, 64793 markings/sec, 585 secs
lola: 44062259 markings, 143635266 edges, 56964 markings/sec, 590 secs
lola: 44365638 markings, 144716015 edges, 60676 markings/sec, 595 secs
lola: 44612265 markings, 145570698 edges, 49325 markings/sec, 600 secs
lola: 44617587 markings, 145587202 edges, 1064 markings/sec, 605 secs
lola: 44625453 markings, 145613639 edges, 1573 markings/sec, 610 secs
lola: 44637594 markings, 145655534 edges, 2428 markings/sec, 615 secs
lola: 44661771 markings, 145737648 edges, 4835 markings/sec, 620 secs
lola: 44698615 markings, 145860037 edges, 7369 markings/sec, 625 secs
lola: 44726751 markings, 145957199 edges, 5627 markings/sec, 630 secs
lola: 44752829 markings, 146047371 edges, 5216 markings/sec, 635 secs
lola: 44784833 markings, 146157702 edges, 6401 markings/sec, 640 secs
lola: 44814784 markings, 146257880 edges, 5990 markings/sec, 645 secs
lola: 44841103 markings, 146347911 edges, 5264 markings/sec, 650 secs
lola: 44862146 markings, 146422841 edges, 4209 markings/sec, 655 secs
lola: 44901121 markings, 146553409 edges, 7795 markings/sec, 660 secs
lola: 44925463 markings, 146638336 edges, 4868 markings/sec, 665 secs
lola: 45195737 markings, 147586690 edges, 54055 markings/sec, 670 secs
lola: 45498945 markings, 148662560 edges, 60642 markings/sec, 675 secs
lola: 45809751 markings, 149753514 edges, 62161 markings/sec, 680 secs
lola: 46115447 markings, 150840057 edges, 61139 markings/sec, 685 secs
lola: 46410698 markings, 151880557 edges, 59050 markings/sec, 690 secs
lola: 46728046 markings, 152981225 edges, 63470 markings/sec, 695 secs
lola: 46996630 markings, 153943475 edges, 53717 markings/sec, 700 secs
lola: 47304866 markings, 155024320 edges, 61647 markings/sec, 705 secs
lola: 47583576 markings, 156015462 edges, 55742 markings/sec, 710 secs
lola: 47818116 markings, 156844345 edges, 46908 markings/sec, 715 secs
lola: 47852031 markings, 156968454 edges, 6783 markings/sec, 720 secs
lola: 47855983 markings, 156982818 edges, 790 markings/sec, 725 secs
lola: 47967223 markings, 157376745 edges, 22248 markings/sec, 730 secs
lola: 47975998 markings, 157405103 edges, 1755 markings/sec, 735 secs
lola: 48087327 markings, 157806058 edges, 22266 markings/sec, 740 secs
lola: 48091138 markings, 157820253 edges, 762 markings/sec, 745 secs
lola: 48218899 markings, 158264410 edges, 25552 markings/sec, 750 secs
lola: 48247795 markings, 158368627 edges, 5779 markings/sec, 755 secs
lola: 48278014 markings, 158476763 edges, 6044 markings/sec, 760 secs
lola: 48311566 markings, 158596049 edges, 6710 markings/sec, 765 secs
lola: 48331465 markings, 158664773 edges, 3980 markings/sec, 770 secs
lola: 48446353 markings, 159072371 edges, 22978 markings/sec, 775 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (((1 <= p35) AND (1 <= p192) AND (1 <= p241)))) AND (A (X ((((1 <= p71) AND (1 <= p204) AND (1 <= p241)) OR ((1 <= p203) AND (1 <= p241))))) AND ((p23 <= 0) OR (p48 <= 0) OR (p241 <= 0) OR ((1 <= p72) AND (1 <= p131) AND (1 <= p241)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((EG(((1 <= p35) AND (1 <= p192) AND (1 <= p241))) AND (AX((((1 <= p71) AND (1 <= p204) AND (1 <= p241)) OR ((1 <= p203) AND (1 <= p241)))) AND ((p23 <= 0) OR (p48 <= 0) OR (p241 <= 0) OR ((1 <= p72) AND (1 <= p131) AND (1 <= p241))))))
lola: processed formula length: 242
lola: 46 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: 502272 markings, 1800379 edges, 100454 markings/sec, 0 secs
lola: 945480 markings, 3506534 edges, 88642 markings/sec, 5 secs
lola: 1359017 markings, 5163172 edges, 82707 markings/sec, 10 secs
lola: 1789168 markings, 6851558 edges, 86030 markings/sec, 15 secs
lola: 2261417 markings, 8622181 edges, 94450 markings/sec, 20 secs
lola: 2688871 markings, 10325151 edges, 85491 markings/sec, 25 secs
lola: 3144917 markings, 12060970 edges, 91209 markings/sec, 30 secs
lola: 3559751 markings, 13728100 edges, 82967 markings/sec, 35 secs
lola: 3963178 markings, 15366591 edges, 80685 markings/sec, 40 secs
lola: 4367917 markings, 16990846 edges, 80948 markings/sec, 45 secs
lola: 4756977 markings, 18598886 edges, 77812 markings/sec, 50 secs
lola: 5128905 markings, 20159441 edges, 74386 markings/sec, 55 secs
lola: 5503233 markings, 21727299 edges, 74866 markings/sec, 60 secs
lola: 5881250 markings, 23298258 edges, 75603 markings/sec, 65 secs
lola: 6248467 markings, 24849996 edges, 73443 markings/sec, 70 secs
lola: 6611853 markings, 26382496 edges, 72677 markings/sec, 75 secs
lola: 6975371 markings, 27920895 edges, 72704 markings/sec, 80 secs
lola: 7332219 markings, 29440251 edges, 71370 markings/sec, 85 secs
lola: 7688068 markings, 30963932 edges, 71170 markings/sec, 90 secs
lola: 8050277 markings, 32493045 edges, 72442 markings/sec, 95 secs
lola: 8403330 markings, 33999001 edges, 70611 markings/sec, 100 secs
lola: 8753063 markings, 35493368 edges, 69947 markings/sec, 105 secs
lola: 9099177 markings, 36983528 edges, 69223 markings/sec, 110 secs
lola: 9449566 markings, 38486048 edges, 70078 markings/sec, 115 secs
lola: 9797028 markings, 39986340 edges, 69492 markings/sec, 120 secs
lola: 10148083 markings, 41493013 edges, 70211 markings/sec, 125 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no yes yes unknown unknown unknown unknown yes unknown yes yes unknown yes no yes
lola:
preliminary result: unknown no yes yes unknown unknown unknown unknown yes unknown yes yes unknown yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes yes unknown unknown unknown unknown yes unknown yes yes unknown yes no yes
lola: memory consumption: 2634668 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes yes unknown unknown unknown unknown yes unknown yes yes unknown yes no yes
lola: memory consumption: 2634668 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="FlexibleBarrier-PT-20a"
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 FlexibleBarrier-PT-20a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987815800388"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-20a.tgz
mv FlexibleBarrier-PT-20a 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 ;