About the Execution of ITS-LoLa for Raft-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15799.450 | 3600000.00 | 2771819.00 | 170050.80 | TTTFFFFFT??FTFFF | 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.r172-smll-158987827600251.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 Raft-PT-06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827600251
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 12 08:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 11 09:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 09:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 89K Mar 24 05:38 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 Raft-PT-06-CTLCardinality-00
FORMULA_NAME Raft-PT-06-CTLCardinality-01
FORMULA_NAME Raft-PT-06-CTLCardinality-02
FORMULA_NAME Raft-PT-06-CTLCardinality-03
FORMULA_NAME Raft-PT-06-CTLCardinality-04
FORMULA_NAME Raft-PT-06-CTLCardinality-05
FORMULA_NAME Raft-PT-06-CTLCardinality-06
FORMULA_NAME Raft-PT-06-CTLCardinality-07
FORMULA_NAME Raft-PT-06-CTLCardinality-08
FORMULA_NAME Raft-PT-06-CTLCardinality-09
FORMULA_NAME Raft-PT-06-CTLCardinality-10
FORMULA_NAME Raft-PT-06-CTLCardinality-11
FORMULA_NAME Raft-PT-06-CTLCardinality-12
FORMULA_NAME Raft-PT-06-CTLCardinality-13
FORMULA_NAME Raft-PT-06-CTLCardinality-14
FORMULA_NAME Raft-PT-06-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591345604053
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 08:26:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 08:26:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 08:26:47] [INFO ] Load time of PNML (sax parser for PT used): 115 ms
[2020-06-05 08:26:47] [INFO ] Transformed 188 places.
[2020-06-05 08:26:47] [INFO ] Transformed 332 transitions.
[2020-06-05 08:26:47] [INFO ] Found NUPN structural information;
[2020-06-05 08:26:47] [INFO ] Parsed PT model containing 188 places and 332 transitions in 174 ms.
Ensure Unique test removed 26 transitions
Reduce redundant transitions removed 26 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 29 ms.
Finished random walk after 3079 steps, including 0 resets, run visited all 11 properties in 55 ms. (steps per millisecond=55 )
[2020-06-05 08:26:47] [INFO ] Initial state reduction rules for CTL removed 11 formulas.
[2020-06-05 08:26:47] [INFO ] Flatten gal took : 105 ms
[2020-06-05 08:26:47] [INFO ] Initial state reduction rules for CTL removed 11 formulas.
[2020-06-05 08:26:47] [INFO ] Flatten gal took : 39 ms
FORMULA Raft-PT-06-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-06-CTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 08:26:47] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-05 08:26:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 10 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ Raft-PT-06 @ 3570 seconds
FORMULA Raft-PT-06-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-CTLCardinality-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-06-CTLCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 446
rslt: Output for CTLCardinality @ Raft-PT-06
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 08:26:49 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 716
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p182) AND (1 <= p31))))",
"processed_size": 36,
"rewrites": 1
},
"result":
{
"edges": 11,
"markings": 11,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1075
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 4,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (G ((((p121 <= 0)) OR ((1 <= p158)) OR ((p176 <= 0)) OR ((1 <= p22)))))",
"processed_size": 76,
"rewrites": 2
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 4
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2150
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(((1 <= p81)) AND ((p120 <= 0)))",
"processed_size": 32,
"rewrites": 4
},
"result":
{
"edges": 9,
"markings": 9,
"produced_by": "state space /EFEG",
"value": false
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 6
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "eventual_occurrence_from_all_states",
"workflow": "stateequation"
}
}
],
"exit":
{
"error": null,
"memory": 3636,
"runtime": 3123.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "CTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E(F(A(X(**)))) : A(G((E(F(**)) OR A(X(**))))) : A(G(**)) : E(F(**)) : A(G(A(F(**))))"
},
"net":
{
"arcs": 1179,
"conflict_clusters": 17,
"places": 188,
"places_significant": 152,
"singleton_clusters": 0,
"transitions": 306
},
"result":
{
"preliminary_value": "unknown unknown no yes no ",
"value": "unknown unknown no yes no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 494/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 188
lola: finding significant places
lola: 188 places, 306 transitions, 152 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 CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p91 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p141 <= 1)
lola: LP says that atomic proposition is always true: (p158 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p182 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: E (F (A (X (((1 <= p91)))))) : A (G ((E (F ((((p128 <= 0)) OR ((1 <= p107))))) OR A (X ((((p95 <= 0)) OR ((1 <= p141)))))))) : A (G ((((p121 <= 0)) OR ((1 <= p158)) OR ((p176 <= 0)) OR ((1 <= p22))))) : E (F (((1 <= p182) AND (1 <= p31)))) : A (G (A (F ((((p81 <= 0)) OR ((1 <= p120)))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p91))))))
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 <= p91))))
lola: processed formula length: 20
lola: 2 rewrites
lola: closed formula file CTLCardinality.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: 920353 markings, 1628761 edges, 184071 markings/sec, 0 secs
lola: 1964443 markings, 3475298 edges, 208818 markings/sec, 5 secs
lola: 2943455 markings, 5205575 edges, 195802 markings/sec, 10 secs
lola: 3949304 markings, 6988200 edges, 201170 markings/sec, 15 secs
lola: 4924813 markings, 8718915 edges, 195102 markings/sec, 20 secs
lola: 5862755 markings, 10385922 edges, 187588 markings/sec, 25 secs
lola: 6763590 markings, 11991381 edges, 180167 markings/sec, 30 secs
lola: 7616126 markings, 13509320 edges, 170507 markings/sec, 35 secs
lola: 8593404 markings, 15245937 edges, 195456 markings/sec, 40 secs
lola: 9627890 markings, 17086495 edges, 206897 markings/sec, 45 secs
lola: 10638875 markings, 18882920 edges, 202197 markings/sec, 50 secs
lola: 11657256 markings, 20692141 edges, 203676 markings/sec, 55 secs
lola: 12665721 markings, 22485482 edges, 201693 markings/sec, 60 secs
lola: 13668327 markings, 24267009 edges, 200521 markings/sec, 65 secs
lola: 14667005 markings, 26040887 edges, 199736 markings/sec, 70 secs
lola: 15667211 markings, 27819531 edges, 200041 markings/sec, 75 secs
lola: 16651971 markings, 29572751 edges, 196952 markings/sec, 80 secs
lola: 17639483 markings, 31334039 edges, 197502 markings/sec, 85 secs
lola: 18632860 markings, 33101065 edges, 198675 markings/sec, 90 secs
lola: 19591800 markings, 34814986 edges, 191788 markings/sec, 95 secs
lola: 20549048 markings, 36524011 edges, 191450 markings/sec, 100 secs
lola: 21445347 markings, 38125174 edges, 179260 markings/sec, 105 secs
lola: 22389367 markings, 39808502 edges, 188804 markings/sec, 110 secs
lola: 23338075 markings, 41499034 edges, 189742 markings/sec, 115 secs
lola: 24273944 markings, 43173704 edges, 187174 markings/sec, 120 secs
lola: 25212339 markings, 44848478 edges, 187679 markings/sec, 125 secs
lola: 26141155 markings, 46508232 edges, 185763 markings/sec, 130 secs
lola: 27081454 markings, 48183288 edges, 188060 markings/sec, 135 secs
lola: 28001627 markings, 49828369 edges, 184035 markings/sec, 140 secs
lola: 28931499 markings, 51490043 edges, 185974 markings/sec, 145 secs
lola: 29830288 markings, 53095372 edges, 179758 markings/sec, 150 secs
lola: 30769595 markings, 54768855 edges, 187861 markings/sec, 155 secs
lola: 31682308 markings, 56397671 edges, 182543 markings/sec, 160 secs
lola: 32609417 markings, 58057398 edges, 185422 markings/sec, 165 secs
lola: 33550717 markings, 59733143 edges, 188260 markings/sec, 170 secs
lola: 34490020 markings, 61408103 edges, 187861 markings/sec, 175 secs
lola: 35415286 markings, 63059090 edges, 185053 markings/sec, 180 secs
lola: 36373858 markings, 64763249 edges, 191714 markings/sec, 185 secs
lola: 37303141 markings, 66417914 edges, 185857 markings/sec, 190 secs
lola: 38227112 markings, 68067146 edges, 184794 markings/sec, 195 secs
lola: 39181728 markings, 69766964 edges, 190923 markings/sec, 200 secs
lola: 40107047 markings, 71418438 edges, 185064 markings/sec, 205 secs
lola: 41033094 markings, 73072378 edges, 185209 markings/sec, 210 secs
lola: 42048244 markings, 74874754 edges, 203030 markings/sec, 215 secs
lola: 42973421 markings, 76530117 edges, 185035 markings/sec, 220 secs
lola: 43876849 markings, 78149602 edges, 180686 markings/sec, 225 secs
lola: 44858505 markings, 79892967 edges, 196331 markings/sec, 230 secs
lola: 45777808 markings, 81537666 edges, 183861 markings/sec, 235 secs
lola: 46704702 markings, 83198034 edges, 185379 markings/sec, 240 secs
lola: 47621267 markings, 84837492 edges, 183313 markings/sec, 245 secs
lola: 48580955 markings, 86551147 edges, 191938 markings/sec, 250 secs
lola: 49497308 markings, 88191573 edges, 183271 markings/sec, 255 secs
lola: 50406195 markings, 89819173 edges, 181777 markings/sec, 260 secs
lola: 51313397 markings, 91441566 edges, 181440 markings/sec, 265 secs
lola: 52246453 markings, 93106873 edges, 186611 markings/sec, 270 secs
lola: 53148091 markings, 94724570 edges, 180328 markings/sec, 275 secs
lola: 54015684 markings, 96277314 edges, 173519 markings/sec, 280 secs
lola: 54898114 markings, 97861176 edges, 176486 markings/sec, 285 secs
lola: 55804131 markings, 99485799 edges, 181203 markings/sec, 290 secs
lola: 56722009 markings, 101129069 edges, 183576 markings/sec, 295 secs
lola: 57605963 markings, 102708753 edges, 176791 markings/sec, 300 secs
lola: 58505735 markings, 104315690 edges, 179954 markings/sec, 305 secs
lola: 59416220 markings, 105942852 edges, 182097 markings/sec, 310 secs
lola: 60277084 markings, 107486871 edges, 172173 markings/sec, 315 secs
lola: 61160224 markings, 109069056 edges, 176628 markings/sec, 320 secs
lola: 62114597 markings, 110770448 edges, 190875 markings/sec, 325 secs
lola: 63136706 markings, 112579791 edges, 204422 markings/sec, 330 secs
lola: 64031258 markings, 114180767 edges, 178910 markings/sec, 335 secs
lola: 64913110 markings, 115756686 edges, 176370 markings/sec, 340 secs
lola: 65797595 markings, 117340479 edges, 176897 markings/sec, 345 secs
lola: 66664438 markings, 118897233 edges, 173369 markings/sec, 350 secs
lola: 67579651 markings, 120531228 edges, 183043 markings/sec, 355 secs
lola: 68494635 markings, 122160216 edges, 182997 markings/sec, 360 secs
lola: 69341740 markings, 123678034 edges, 169421 markings/sec, 365 secs
lola: 69888468 markings, 124654047 edges, 109346 markings/sec, 370 secs
lola: 70568686 markings, 125873922 edges, 136044 markings/sec, 375 secs
lola: 71072320 markings, 126778394 edges, 100727 markings/sec, 380 secs
lola: 71561650 markings, 127656683 edges, 97866 markings/sec, 385 secs
lola: 72045638 markings, 128522192 edges, 96798 markings/sec, 390 secs
lola: 72682033 markings, 129655007 edges, 127279 markings/sec, 395 secs
lola: 73091606 markings, 130386502 edges, 81915 markings/sec, 400 secs
lola: 73517695 markings, 131147981 edges, 85218 markings/sec, 405 secs
lola: 73981106 markings, 131977170 edges, 92682 markings/sec, 410 secs
lola: 74525599 markings, 132954485 edges, 108899 markings/sec, 415 secs
lola: 74805472 markings, 133456959 edges, 55975 markings/sec, 420 secs
lola: 75305308 markings, 134350635 edges, 99967 markings/sec, 425 secs
lola: 75743794 markings, 135132993 edges, 87697 markings/sec, 430 secs
lola: 76315577 markings, 136150899 edges, 114357 markings/sec, 435 secs
lola: 76653044 markings, 136756494 edges, 67493 markings/sec, 440 secs
lola: 77050310 markings, 137469619 edges, 79453 markings/sec, 445 secs
lola: 77408742 markings, 138110101 edges, 71686 markings/sec, 450 secs
lola: 77749846 markings, 138722260 edges, 68221 markings/sec, 455 secs
lola: 78235353 markings, 139589799 edges, 97101 markings/sec, 460 secs
lola: 78602706 markings, 140246773 edges, 73471 markings/sec, 465 secs
lola: 78917914 markings, 140810270 edges, 63042 markings/sec, 470 secs
lola: 79255258 markings, 141414171 edges, 67469 markings/sec, 475 secs
lola: 79597946 markings, 142029067 edges, 68538 markings/sec, 480 secs
lola: 79858419 markings, 142499608 edges, 52095 markings/sec, 485 secs
lola: 80199515 markings, 143111119 edges, 68219 markings/sec, 490 secs
lola: 80829395 markings, 144235326 edges, 125976 markings/sec, 495 secs
lola: 81075763 markings, 144677282 edges, 49274 markings/sec, 500 secs
lola: 81405798 markings, 145270855 edges, 66007 markings/sec, 505 secs
lola: 81765773 markings, 145913656 edges, 71995 markings/sec, 510 secs
lola: 82232119 markings, 146748094 edges, 93269 markings/sec, 515 secs
lola: 82809582 markings, 147776042 edges, 115493 markings/sec, 520 secs
lola: 83312698 markings, 148670340 edges, 100623 markings/sec, 525 secs
lola: 83562560 markings, 149119784 edges, 49972 markings/sec, 530 secs
lola: 83893054 markings, 149715005 edges, 66099 markings/sec, 535 secs
lola: 84318264 markings, 150476006 edges, 85042 markings/sec, 540 secs
lola: 84565529 markings, 150920263 edges, 49453 markings/sec, 545 secs
lola: 84875240 markings, 151473441 edges, 61942 markings/sec, 550 secs
lola: 84911270 markings, 151537881 edges, 7206 markings/sec, 555 secs
lola: 84939671 markings, 151589668 edges, 5680 markings/sec, 560 secs
lola: 84955936 markings, 151619094 edges, 3253 markings/sec, 565 secs
lola: 84981685 markings, 151665357 edges, 5150 markings/sec, 570 secs
lola: 84988459 markings, 151677648 edges, 1355 markings/sec, 575 secs
lola: 85008339 markings, 151713473 edges, 3976 markings/sec, 580 secs
lola: 85015239 markings, 151725811 edges, 1380 markings/sec, 585 secs
lola: 85053697 markings, 151795764 edges, 7692 markings/sec, 590 secs
lola: 85089217 markings, 151859208 edges, 7104 markings/sec, 595 secs
lola: 85102372 markings, 151882347 edges, 2631 markings/sec, 600 secs
lola: 85300569 markings, 152239059 edges, 39639 markings/sec, 605 secs
lola: 85608391 markings, 152788613 edges, 61564 markings/sec, 610 secs
lola: 85766638 markings, 153073108 edges, 31649 markings/sec, 615 secs
lola: 86023114 markings, 153534218 edges, 51295 markings/sec, 620 secs
lola: 86156137 markings, 153771370 edges, 26605 markings/sec, 625 secs
lola: 86266879 markings, 153970868 edges, 22148 markings/sec, 630 secs
lola: 86445068 markings, 154289979 edges, 35638 markings/sec, 635 secs
lola: 86661046 markings, 154680309 edges, 43196 markings/sec, 640 secs
lola: 86670618 markings, 154697709 edges, 1914 markings/sec, 645 secs
lola: 86907794 markings, 155123711 edges, 47435 markings/sec, 650 secs
lola: 87072235 markings, 155419716 edges, 32888 markings/sec, 655 secs
lola: 87075287 markings, 155425262 edges, 610 markings/sec, 660 secs
lola: 87079190 markings, 155432552 edges, 781 markings/sec, 665 secs
lola: 87079394 markings, 155432899 edges, 41 markings/sec, 670 secs
lola: 87079968 markings, 155433996 edges, 115 markings/sec, 675 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 716 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F ((((p128 <= 0)) OR ((1 <= p107))))) OR A (X ((((p95 <= 0)) OR ((1 <= p141))))))))
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:813
lola: processed formula: AG((EF((((p128 <= 0)) OR ((1 <= p107)))) OR AX((((p95 <= 0)) OR ((1 <= p141))))))
lola: processed formula length: 83
lola: 3 rewrites
lola: closed formula file CTLCardinality.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: 830595 markings, 2300123 edges, 166119 markings/sec, 0 secs
lola: 1727033 markings, 4781034 edges, 179288 markings/sec, 5 secs
lola: 2608515 markings, 7221022 edges, 176296 markings/sec, 10 secs
lola: 3481347 markings, 9640373 edges, 174566 markings/sec, 15 secs
lola: 4340655 markings, 12021542 edges, 171862 markings/sec, 20 secs
lola: 5179346 markings, 14350978 edges, 167738 markings/sec, 25 secs
lola: 6008313 markings, 16654369 edges, 165793 markings/sec, 30 secs
lola: 6831785 markings, 18946192 edges, 164694 markings/sec, 35 secs
lola: 7656706 markings, 21237159 edges, 164984 markings/sec, 40 secs
lola: 8479648 markings, 23523933 edges, 164588 markings/sec, 45 secs
lola: 9307255 markings, 25826816 edges, 165521 markings/sec, 50 secs
lola: 10137012 markings, 28127921 edges, 165951 markings/sec, 55 secs
lola: 10933492 markings, 30341262 edges, 159296 markings/sec, 60 secs
lola: 11735263 markings, 32566102 edges, 160354 markings/sec, 65 secs
lola: 12567395 markings, 34878667 edges, 166426 markings/sec, 70 secs
lola: 13393995 markings, 37173235 edges, 165320 markings/sec, 75 secs
lola: 14215030 markings, 39450921 edges, 164207 markings/sec, 80 secs
lola: 15033176 markings, 41726447 edges, 163629 markings/sec, 85 secs
lola: 15862699 markings, 44029299 edges, 165905 markings/sec, 90 secs
lola: 16677256 markings, 46295019 edges, 162911 markings/sec, 95 secs
lola: 17498587 markings, 48580414 edges, 164266 markings/sec, 100 secs
lola: 18313013 markings, 50845049 edges, 162885 markings/sec, 105 secs
lola: 19123891 markings, 53102839 edges, 162176 markings/sec, 110 secs
lola: 19917474 markings, 55315616 edges, 158717 markings/sec, 115 secs
lola: 20711186 markings, 57525631 edges, 158742 markings/sec, 120 secs
lola: 21474759 markings, 59653616 edges, 152715 markings/sec, 125 secs
lola: 22274641 markings, 61877758 edges, 159976 markings/sec, 130 secs
lola: 23018503 markings, 63947085 edges, 148772 markings/sec, 135 secs
lola: 23815762 markings, 66168155 edges, 159452 markings/sec, 140 secs
lola: 24576270 markings, 68290939 edges, 152102 markings/sec, 145 secs
lola: 25375152 markings, 70513381 edges, 159776 markings/sec, 150 secs
lola: 26143703 markings, 72656427 edges, 153710 markings/sec, 155 secs
lola: 26927908 markings, 74838232 edges, 156841 markings/sec, 160 secs
lola: 27598077 markings, 76705884 edges, 134034 markings/sec, 165 secs
lola: 28354191 markings, 78813999 edges, 151223 markings/sec, 170 secs
lola: 29130511 markings, 80977573 edges, 155264 markings/sec, 175 secs
lola: 29883907 markings, 83075033 edges, 150679 markings/sec, 180 secs
lola: 30667366 markings, 85253461 edges, 156692 markings/sec, 185 secs
lola: 31433755 markings, 87388296 edges, 153278 markings/sec, 190 secs
lola: 32210178 markings, 89551869 edges, 155285 markings/sec, 195 secs
lola: 32987435 markings, 91717153 edges, 155451 markings/sec, 200 secs
lola: 33755624 markings, 93853462 edges, 153638 markings/sec, 205 secs
lola: 34547868 markings, 96059188 edges, 158449 markings/sec, 210 secs
lola: 35322721 markings, 98215235 edges, 154971 markings/sec, 215 secs
lola: 36120169 markings, 100433241 edges, 159490 markings/sec, 220 secs
lola: 36896634 markings, 102589803 edges, 155293 markings/sec, 225 secs
lola: 37654289 markings, 104698902 edges, 151531 markings/sec, 230 secs
lola: 38410881 markings, 106806131 edges, 151318 markings/sec, 235 secs
lola: 39188363 markings, 108967077 edges, 155496 markings/sec, 240 secs
lola: 39949406 markings, 111085315 edges, 152209 markings/sec, 245 secs
lola: 40700888 markings, 113179942 edges, 150296 markings/sec, 250 secs
lola: 41516353 markings, 115448108 edges, 163093 markings/sec, 255 secs
lola: 42320519 markings, 117682819 edges, 160833 markings/sec, 260 secs
lola: 43086481 markings, 119818708 edges, 153192 markings/sec, 265 secs
lola: 43840871 markings, 121925804 edges, 150878 markings/sec, 270 secs
lola: 44650442 markings, 124175047 edges, 161914 markings/sec, 275 secs
lola: 45425988 markings, 126335020 edges, 155109 markings/sec, 280 secs
lola: 46196546 markings, 128485612 edges, 154112 markings/sec, 285 secs
lola: 46976154 markings, 130659701 edges, 155922 markings/sec, 290 secs
lola: 47736163 markings, 132778525 edges, 152002 markings/sec, 295 secs
lola: 48496903 markings, 134898955 edges, 152148 markings/sec, 300 secs
lola: 49266155 markings, 137043044 edges, 153850 markings/sec, 305 secs
lola: 49998356 markings, 139088812 edges, 146440 markings/sec, 310 secs
lola: 50745347 markings, 141172518 edges, 149398 markings/sec, 315 secs
lola: 51494725 markings, 143258417 edges, 149876 markings/sec, 320 secs
lola: 52269980 markings, 145418667 edges, 155051 markings/sec, 325 secs
lola: 53009531 markings, 147484777 edges, 147910 markings/sec, 330 secs
lola: 53743617 markings, 149535515 edges, 146817 markings/sec, 335 secs
lola: 54471046 markings, 151567071 edges, 145486 markings/sec, 340 secs
lola: 55219403 markings, 153654948 edges, 149671 markings/sec, 345 secs
lola: 55969873 markings, 155752628 edges, 150094 markings/sec, 350 secs
lola: 56740411 markings, 157902346 edges, 154108 markings/sec, 355 secs
lola: 57485608 markings, 159979375 edges, 149039 markings/sec, 360 secs
lola: 58264301 markings, 162145078 edges, 155739 markings/sec, 365 secs
lola: 59022399 markings, 164260373 edges, 151620 markings/sec, 370 secs
lola: 59779504 markings, 166371524 edges, 151421 markings/sec, 375 secs
lola: 60504748 markings, 168398553 edges, 145049 markings/sec, 380 secs
lola: 61254453 markings, 170492129 edges, 149941 markings/sec, 385 secs
lola: 62056509 markings, 172724379 edges, 160411 markings/sec, 390 secs
lola: 62922434 markings, 175123671 edges, 173185 markings/sec, 395 secs
lola: 63711776 markings, 177321052 edges, 157868 markings/sec, 400 secs
lola: 64476388 markings, 179452847 edges, 152922 markings/sec, 405 secs
lola: 65227521 markings, 181548081 edges, 150227 markings/sec, 410 secs
lola: 65996148 markings, 183691447 edges, 153725 markings/sec, 415 secs
lola: 66741426 markings, 185775793 edges, 149056 markings/sec, 420 secs
lola: 67534715 markings, 187986557 edges, 158658 markings/sec, 425 secs
lola: 68321992 markings, 190176633 edges, 157455 markings/sec, 430 secs
lola: 69085264 markings, 192305520 edges, 152654 markings/sec, 435 secs
lola: 69847826 markings, 194428673 edges, 152512 markings/sec, 440 secs
lola: 70610657 markings, 196560925 edges, 152566 markings/sec, 445 secs
lola: 71364741 markings, 198668063 edges, 150817 markings/sec, 450 secs
lola: 72111738 markings, 200752811 edges, 149399 markings/sec, 455 secs
lola: 72900408 markings, 202944640 edges, 157734 markings/sec, 460 secs
lola: 73652928 markings, 205043654 edges, 150504 markings/sec, 465 secs
lola: 74401772 markings, 207133566 edges, 149769 markings/sec, 470 secs
lola: 75171075 markings, 209281996 edges, 153861 markings/sec, 475 secs
lola: 75884448 markings, 211270029 edges, 142675 markings/sec, 480 secs
lola: 76626382 markings, 213334525 edges, 148387 markings/sec, 485 secs
lola: 77356975 markings, 215374310 edges, 146119 markings/sec, 490 secs
lola: 78099814 markings, 217447364 edges, 148568 markings/sec, 495 secs
lola: 78835314 markings, 219497484 edges, 147100 markings/sec, 500 secs
lola: 79565066 markings, 221534242 edges, 145950 markings/sec, 505 secs
lola: 80308239 markings, 223612290 edges, 148635 markings/sec, 510 secs
lola: 81085720 markings, 225780912 edges, 155496 markings/sec, 515 secs
lola: 81828981 markings, 227855924 edges, 148652 markings/sec, 520 secs
lola: 82579052 markings, 229944225 edges, 150014 markings/sec, 525 secs
lola: 83339349 markings, 232058188 edges, 152059 markings/sec, 530 secs
lola: 84053616 markings, 234055967 edges, 142853 markings/sec, 535 secs
lola: 84795646 markings, 236126275 edges, 148406 markings/sec, 540 secs
lola: 85517224 markings, 238143584 edges, 144316 markings/sec, 545 secs
lola: 86274664 markings, 240259801 edges, 151488 markings/sec, 550 secs
lola: 86992489 markings, 242269175 edges, 143565 markings/sec, 555 secs
lola: 87696616 markings, 244238142 edges, 140825 markings/sec, 560 secs
lola: 88417709 markings, 246253649 edges, 144219 markings/sec, 565 secs
lola: 89221786 markings, 248488661 edges, 160815 markings/sec, 570 secs
lola: 90044719 markings, 250774316 edges, 164587 markings/sec, 575 secs
lola: 90814838 markings, 252912984 edges, 154024 markings/sec, 580 secs
lola: 91564679 markings, 254991523 edges, 149968 markings/sec, 585 secs
lola: 92311493 markings, 257069988 edges, 149363 markings/sec, 590 secs
lola: 93025353 markings, 259067736 edges, 142772 markings/sec, 595 secs
lola: 93735081 markings, 261050249 edges, 141946 markings/sec, 600 secs
lola: 94388297 markings, 262877486 edges, 130643 markings/sec, 605 secs
lola: 95099367 markings, 264865734 edges, 142214 markings/sec, 610 secs
lola: 95674838 markings, 266468547 edges, 115094 markings/sec, 615 secs
lola: 96236850 markings, 268032665 edges, 112402 markings/sec, 620 secs
lola: 96649457 markings, 269182717 edges, 82521 markings/sec, 625 secs
lola: 97252324 markings, 270870565 edges, 120573 markings/sec, 630 secs
lola: 97667981 markings, 272030287 edges, 83131 markings/sec, 635 secs
lola: 98132896 markings, 273324176 edges, 92983 markings/sec, 640 secs
lola: 98631494 markings, 274708931 edges, 99720 markings/sec, 645 secs
lola: 98938264 markings, 275564893 edges, 61354 markings/sec, 650 secs
lola: 99398410 markings, 276847622 edges, 92029 markings/sec, 655 secs
lola: 99700341 markings, 277688165 edges, 60386 markings/sec, 660 secs
lola: 100120220 markings, 278860145 edges, 83976 markings/sec, 665 secs
lola: 100547855 markings, 280054025 edges, 85527 markings/sec, 670 secs
lola: 100877333 markings, 280974885 edges, 65896 markings/sec, 675 secs
lola: 101166242 markings, 281782521 edges, 57782 markings/sec, 680 secs
lola: 101461496 markings, 282609614 edges, 59051 markings/sec, 685 secs
lola: 101713393 markings, 283315930 edges, 50379 markings/sec, 690 secs
lola: 102043607 markings, 284243306 edges, 66043 markings/sec, 695 secs
lola: 102603262 markings, 285800495 edges, 111931 markings/sec, 700 secs
lola: 102981724 markings, 286855820 edges, 75692 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 716 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p182) AND (1 <= p31))))
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 <= p182) AND (1 <= p31))))
lola: processed formula length: 36
lola: 1 rewrites
lola: closed formula file CTLCardinality.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 <= p182) AND (1 <= p31))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 11 markings, 11 edges
lola: ========================================
lola: subprocess 3 will run for 1075 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p121 <= 0)) OR ((1 <= p158)) OR ((p176 <= 0)) OR ((1 <= p22)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((p121 <= 0)) OR ((1 <= p158)) OR ((p176 <= 0)) OR ((1 <= p22)))))
lola: processed formula length: 76
lola: 2 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p121)) AND ((p158 <= 0)) AND ((1 <= p176)) AND ((p22 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 4 will run for 2150 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((((p81 <= 0)) OR ((1 <= p120)))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all states
lola: rewrite Frontend/Parser/formula_rewrite.k:599
lola: rewrite Frontend/Parser/formula_rewrite.k:634
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((1 <= p81)) AND ((p120 <= 0)))
lola: processed formula length: 32
lola: 4 rewrites
lola: closed formula file CTLCardinality.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:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p81 <= 0)) OR ((1 <= p120)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 9 markings, 9 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p91))))))
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 <= p91))))
lola: processed formula length: 20
lola: 2 rewrites
lola: closed formula file CTLCardinality.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: 1065636 markings, 1884648 edges, 213127 markings/sec, 0 secs
lola: 2088335 markings, 3694151 edges, 204540 markings/sec, 5 secs
lola: 3146285 markings, 5563872 edges, 211590 markings/sec, 10 secs
lola: 4176433 markings, 7388451 edges, 206030 markings/sec, 15 secs
lola: 5176634 markings, 9166839 edges, 200040 markings/sec, 20 secs
lola: 6169512 markings, 10935066 edges, 198576 markings/sec, 25 secs
lola: 7161532 markings, 12702830 edges, 198404 markings/sec, 30 secs
lola: 8164055 markings, 14483972 edges, 200505 markings/sec, 35 secs
lola: 9161612 markings, 16258611 edges, 199511 markings/sec, 40 secs
lola: 10088402 markings, 17903472 edges, 185358 markings/sec, 45 secs
lola: 11073669 markings, 19656429 edges, 197053 markings/sec, 50 secs
lola: 12067356 markings, 21423546 edges, 198737 markings/sec, 55 secs
lola: 13048073 markings, 23166368 edges, 196143 markings/sec, 60 secs
lola: 14028857 markings, 24905427 edges, 196157 markings/sec, 65 secs
lola: 14937411 markings, 26523332 edges, 181711 markings/sec, 70 secs
lola: 15915971 markings, 28261552 edges, 195712 markings/sec, 75 secs
lola: 16882733 markings, 29983916 edges, 193352 markings/sec, 80 secs
lola: 17845606 markings, 31702895 edges, 192575 markings/sec, 85 secs
lola: 18834163 markings, 33461398 edges, 197711 markings/sec, 90 secs
lola: 19718215 markings, 35040834 edges, 176810 markings/sec, 95 secs
lola: 20654737 markings, 36712384 edges, 187304 markings/sec, 100 secs
lola: 21574083 markings, 38354898 edges, 183869 markings/sec, 105 secs
lola: 22527744 markings, 40054173 edges, 190732 markings/sec, 110 secs
lola: 23431222 markings, 41666239 edges, 180696 markings/sec, 115 secs
lola: 24360721 markings, 43329647 edges, 185900 markings/sec, 120 secs
lola: 25273868 markings, 44957604 edges, 182629 markings/sec, 125 secs
lola: 26208212 markings, 46628300 edges, 186869 markings/sec, 130 secs
lola: 27158269 markings, 48318849 edges, 190011 markings/sec, 135 secs
lola: 28084975 markings, 49976047 edges, 185341 markings/sec, 140 secs
lola: 29005283 markings, 51621056 edges, 184062 markings/sec, 145 secs
lola: 29905823 markings, 53230159 edges, 180108 markings/sec, 150 secs
lola: 30813499 markings, 54846986 edges, 181535 markings/sec, 155 secs
lola: 31722831 markings, 56469768 edges, 181866 markings/sec, 160 secs
lola: 32651984 markings, 58133882 edges, 185831 markings/sec, 165 secs
lola: 33594829 markings, 59812339 edges, 188569 markings/sec, 170 secs
lola: 34539189 markings, 61495898 edges, 188872 markings/sec, 175 secs
lola: 35484698 markings, 63183086 edges, 189102 markings/sec, 180 secs
lola: 36452212 markings, 64901769 edges, 193503 markings/sec, 185 secs
lola: 37376860 markings, 66551015 edges, 184930 markings/sec, 190 secs
lola: 38232706 markings, 68077753 edges, 171169 markings/sec, 195 secs
lola: 39176366 markings, 69757589 edges, 188732 markings/sec, 200 secs
lola: 40092694 markings, 71392910 edges, 183266 markings/sec, 205 secs
lola: 41002175 markings, 73017517 edges, 181896 markings/sec, 210 secs
lola: 42001818 markings, 74792638 edges, 199929 markings/sec, 215 secs
lola: 42905305 markings, 76408731 edges, 180697 markings/sec, 220 secs
lola: 43792732 markings, 77997959 edges, 177485 markings/sec, 225 secs
lola: 44749206 markings, 79699382 edges, 191295 markings/sec, 230 secs
lola: 45652179 markings, 81312861 edges, 180595 markings/sec, 235 secs
lola: 46590752 markings, 82993683 edges, 187715 markings/sec, 240 secs
lola: 47503082 markings, 84626092 edges, 182466 markings/sec, 245 secs
lola: 48452214 markings, 86322404 edges, 189826 markings/sec, 250 secs
lola: 49383660 markings, 87987609 edges, 186289 markings/sec, 255 secs
lola: 50268921 markings, 89575677 edges, 177052 markings/sec, 260 secs
lola: 51184800 markings, 91211616 edges, 183176 markings/sec, 265 secs
lola: 52095457 markings, 92837896 edges, 182131 markings/sec, 270 secs
lola: 53006765 markings, 94470133 edges, 182262 markings/sec, 275 secs
lola: 53894704 markings, 96061462 edges, 177588 markings/sec, 280 secs
lola: 54768651 markings, 97630709 edges, 174789 markings/sec, 285 secs
lola: 55677363 markings, 99258631 edges, 181742 markings/sec, 290 secs
lola: 56611721 markings, 100931905 edges, 186872 markings/sec, 295 secs
lola: 57523716 markings, 102562717 edges, 182399 markings/sec, 300 secs
lola: 58452937 markings, 104219769 edges, 185844 markings/sec, 305 secs
lola: 59380269 markings, 105878669 edges, 185466 markings/sec, 310 secs
lola: 60201273 markings, 107350629 edges, 164201 markings/sec, 315 secs
lola: 61078190 markings, 108922649 edges, 175383 markings/sec, 320 secs
lola: 62015396 markings, 110594515 edges, 187441 markings/sec, 325 secs
lola: 63041421 markings, 112411388 edges, 205205 markings/sec, 330 secs
lola: 63953897 markings, 114043179 edges, 182495 markings/sec, 335 secs
lola: 64796151 markings, 115547619 edges, 168451 markings/sec, 340 secs
lola: 65697323 markings, 117159391 edges, 180234 markings/sec, 345 secs
lola: 66531766 markings, 118659288 edges, 166889 markings/sec, 350 secs
lola: 67453276 markings, 120306639 edges, 184302 markings/sec, 355 secs
lola: 68372325 markings, 121943096 edges, 183810 markings/sec, 360 secs
lola: 69250886 markings, 123516304 edges, 175712 markings/sec, 365 secs
lola: 70007214 markings, 124868172 edges, 151266 markings/sec, 370 secs
lola: 70622619 markings, 125971707 edges, 123081 markings/sec, 375 secs
lola: 71187664 markings, 126984840 edges, 113009 markings/sec, 380 secs
lola: 71577611 markings, 127685208 edges, 77989 markings/sec, 385 secs
lola: 72037917 markings, 128508754 edges, 92061 markings/sec, 390 secs
lola: 72792534 markings, 129850795 edges, 150923 markings/sec, 395 secs
lola: 73221076 markings, 130618192 edges, 85708 markings/sec, 400 secs
lola: 73578362 markings, 131256006 edges, 71457 markings/sec, 405 secs
lola: 73956298 markings, 131932557 edges, 75587 markings/sec, 410 secs
lola: 74418836 markings, 132762633 edges, 92508 markings/sec, 415 secs
lola: 74776954 markings, 133406804 edges, 71624 markings/sec, 420 secs
lola: 75275497 markings, 134296958 edges, 99709 markings/sec, 425 secs
lola: 75737779 markings, 135122225 edges, 92456 markings/sec, 430 secs
lola: 76156508 markings, 135869046 edges, 83746 markings/sec, 435 secs
lola: 76504439 markings, 136487982 edges, 69586 markings/sec, 440 secs
lola: 76883318 markings, 137169193 edges, 75776 markings/sec, 445 secs
lola: 77177254 markings, 137696869 edges, 58787 markings/sec, 450 secs
lola: 77635026 markings, 138516595 edges, 91554 markings/sec, 455 secs
lola: 78100140 markings, 139348253 edges, 93023 markings/sec, 460 secs
lola: 78568558 markings, 140185258 edges, 93684 markings/sec, 465 secs
lola: 78786016 markings, 140573542 edges, 43492 markings/sec, 470 secs
lola: 79169903 markings, 141260979 edges, 76777 markings/sec, 475 secs
lola: 79529837 markings, 141905684 edges, 71987 markings/sec, 480 secs
lola: 79838852 markings, 142464088 edges, 61803 markings/sec, 485 secs
lola: 80091755 markings, 142920196 edges, 50581 markings/sec, 490 secs
lola: 80663078 markings, 143939137 edges, 114265 markings/sec, 495 secs
lola: 81008275 markings, 144557400 edges, 69039 markings/sec, 500 secs
lola: 81363350 markings, 145194745 edges, 71015 markings/sec, 505 secs
lola: 81699536 markings, 145795615 edges, 67237 markings/sec, 510 secs
lola: 82010662 markings, 146354033 edges, 62225 markings/sec, 515 secs
lola: 82546044 markings, 147307169 edges, 107076 markings/sec, 520 secs
lola: 83094738 markings, 148283939 edges, 109739 markings/sec, 525 secs
lola: 83392416 markings, 148815029 edges, 59536 markings/sec, 530 secs
lola: 83712132 markings, 149389975 edges, 63943 markings/sec, 535 secs
lola: 84259073 markings, 150370236 edges, 109388 markings/sec, 540 secs
lola: 84550160 markings, 150892213 edges, 58217 markings/sec, 545 secs
lola: 84724524 markings, 151203104 edges, 34873 markings/sec, 550 secs
lola: 84795961 markings, 151331184 edges, 14287 markings/sec, 555 secs
lola: 84834202 markings, 151399926 edges, 7648 markings/sec, 560 secs
lola: 84868064 markings, 151460408 edges, 6772 markings/sec, 565 secs
lola: 84883063 markings, 151487601 edges, 3000 markings/sec, 570 secs
lola: 84944359 markings, 151598031 edges, 12259 markings/sec, 575 secs
lola: 84963162 markings, 151631846 edges, 3761 markings/sec, 580 secs
lola: 84988316 markings, 151677379 edges, 5031 markings/sec, 585 secs
lola: 85006501 markings, 151710324 edges, 3637 markings/sec, 590 secs
lola: 85032574 markings, 151757645 edges, 5215 markings/sec, 595 secs
lola: 85325065 markings, 152282788 edges, 58498 markings/sec, 600 secs
lola: 85345597 markings, 152320086 edges, 4106 markings/sec, 605 secs
lola: 85735720 markings, 153018102 edges, 78025 markings/sec, 610 secs
lola: 85965136 markings, 153428977 edges, 45883 markings/sec, 615 secs
lola: 86106166 markings, 153682133 edges, 28206 markings/sec, 620 secs
lola: 86265523 markings, 153968485 edges, 31871 markings/sec, 625 secs
lola: 86360741 markings, 154139008 edges, 19044 markings/sec, 630 secs
lola: 86563885 markings, 154505417 edges, 40629 markings/sec, 635 secs
lola: 86619901 markings, 154606612 edges, 11203 markings/sec, 640 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((E (F ((((p128 <= 0)) OR ((1 <= p107))))) OR A (X ((((p95 <= 0)) OR ((1 <= p141))))))))
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:813
lola: processed formula: AG((EF((((p128 <= 0)) OR ((1 <= p107)))) OR AX((((p95 <= 0)) OR ((1 <= p141))))))
lola: processed formula length: 83
lola: 3 rewrites
lola: closed formula file CTLCardinality.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: 887950 markings, 2459119 edges, 177590 markings/sec, 0 secs
lola: 1775503 markings, 4915329 edges, 177511 markings/sec, 5 secs
lola: 2653070 markings, 7344784 edges, 175513 markings/sec, 10 secs
lola: 3481598 markings, 9641089 edges, 165706 markings/sec, 15 secs
lola: 4339211 markings, 12017546 edges, 171523 markings/sec, 20 secs
lola: 5106061 markings, 14148323 edges, 153370 markings/sec, 25 secs
lola: 5938769 markings, 16460019 edges, 166542 markings/sec, 30 secs
lola: 6767037 markings, 18764543 edges, 165654 markings/sec, 35 secs
lola: 7593108 markings, 21061464 edges, 165214 markings/sec, 40 secs
lola: 8429620 markings, 23385071 edges, 167302 markings/sec, 45 secs
lola: 9261320 markings, 25699047 edges, 166340 markings/sec, 50 secs
lola: 10104462 markings, 28036428 edges, 168628 markings/sec, 55 secs
lola: 10889439 markings, 30219127 edges, 156995 markings/sec, 60 secs
lola: 11715117 markings, 32510036 edges, 165136 markings/sec, 65 secs
lola: 12538497 markings, 34798525 edges, 164676 markings/sec, 70 secs
lola: 13356575 markings, 37069592 edges, 163616 markings/sec, 75 secs
lola: 14166589 markings, 39317112 edges, 162003 markings/sec, 80 secs
lola: 14973643 markings, 41560930 edges, 161411 markings/sec, 85 secs
lola: 15762170 markings, 43750144 edges, 157705 markings/sec, 90 secs
lola: 16561819 markings, 45973600 edges, 159930 markings/sec, 95 secs
lola: 17366844 markings, 48213967 edges, 161005 markings/sec, 100 secs
lola: 18115776 markings, 50298724 edges, 149786 markings/sec, 105 secs
lola: 18935088 markings, 52577056 edges, 163862 markings/sec, 110 secs
lola: 19720163 markings, 54764472 edges, 157015 markings/sec, 115 secs
lola: 20509174 markings, 56962775 edges, 157802 markings/sec, 120 secs
lola: 21286592 markings, 59128171 edges, 155484 markings/sec, 125 secs
lola: 22093647 markings, 61374103 edges, 161411 markings/sec, 130 secs
lola: 22878944 markings, 63560865 edges, 157059 markings/sec, 135 secs
lola: 23686460 markings, 65809219 edges, 161503 markings/sec, 140 secs
lola: 24466990 markings, 67985801 edges, 156106 markings/sec, 145 secs
lola: 25201450 markings, 70030888 edges, 146892 markings/sec, 150 secs
lola: 25915964 markings, 72020793 edges, 142903 markings/sec, 155 secs
lola: 26593210 markings, 73906878 edges, 135449 markings/sec, 160 secs
lola: 27382892 markings, 76103473 edges, 157936 markings/sec, 165 secs
lola: 28152407 markings, 78249639 edges, 153903 markings/sec, 170 secs
lola: 28928945 markings, 80414496 edges, 155308 markings/sec, 175 secs
lola: 29689027 markings, 82530722 edges, 152016 markings/sec, 180 secs
lola: 30469158 markings, 84704375 edges, 156026 markings/sec, 185 secs
lola: 31252185 markings, 86883097 edges, 156605 markings/sec, 190 secs
lola: 32016848 markings, 89012094 edges, 152933 markings/sec, 195 secs
lola: 32795872 markings, 91186002 edges, 155805 markings/sec, 200 secs
lola: 33581784 markings, 93370534 edges, 157182 markings/sec, 205 secs
lola: 34384518 markings, 95603871 edges, 160547 markings/sec, 210 secs
lola: 35160594 markings, 97762528 edges, 155215 markings/sec, 215 secs
lola: 35953455 markings, 99968432 edges, 158572 markings/sec, 220 secs
lola: 36736233 markings, 102143931 edges, 156556 markings/sec, 225 secs
lola: 37503172 markings, 104278777 edges, 153388 markings/sec, 230 secs
lola: 38259045 markings, 106383261 edges, 151175 markings/sec, 235 secs
lola: 39055075 markings, 108596356 edges, 159206 markings/sec, 240 secs
lola: 39832090 markings, 110758337 edges, 155403 markings/sec, 245 secs
lola: 40592325 markings, 112877854 edges, 152047 markings/sec, 250 secs
lola: 41396990 markings, 115116248 edges, 160933 markings/sec, 255 secs
lola: 42204153 markings, 117357891 edges, 161433 markings/sec, 260 secs
lola: 42968988 markings, 119491351 edges, 152967 markings/sec, 265 secs
lola: 43709402 markings, 121558902 edges, 148083 markings/sec, 270 secs
lola: 44498785 markings, 123754212 edges, 157877 markings/sec, 275 secs
lola: 45283029 markings, 125936432 edges, 156849 markings/sec, 280 secs
lola: 46038620 markings, 128045724 edges, 151118 markings/sec, 285 secs
lola: 46804472 markings, 130180165 edges, 153170 markings/sec, 290 secs
lola: 47548164 markings, 132255729 edges, 148738 markings/sec, 295 secs
lola: 48314491 markings, 134390365 edges, 153265 markings/sec, 300 secs
lola: 49069400 markings, 136494233 edges, 150982 markings/sec, 305 secs
lola: 49820011 markings, 138591424 edges, 150122 markings/sec, 310 secs
lola: 50570583 markings, 140684660 edges, 150114 markings/sec, 315 secs
lola: 51329478 markings, 142799657 edges, 151779 markings/sec, 320 secs
lola: 52099589 markings, 144944985 edges, 154022 markings/sec, 325 secs
lola: 52864367 markings, 147078363 edges, 152956 markings/sec, 330 secs
lola: 53604603 markings, 149146657 edges, 148047 markings/sec, 335 secs
lola: 54348342 markings, 151223518 edges, 148748 markings/sec, 340 secs
lola: 55102346 markings, 153328491 edges, 150801 markings/sec, 345 secs
lola: 55854578 markings, 155430939 edges, 150446 markings/sec, 350 secs
lola: 56637792 markings, 157616297 edges, 156643 markings/sec, 355 secs
lola: 57393794 markings, 159723788 edges, 151200 markings/sec, 360 secs
lola: 58179364 markings, 161908140 edges, 157114 markings/sec, 365 secs
lola: 58940693 markings, 164033003 edges, 152266 markings/sec, 370 secs
lola: 59713150 markings, 166187051 edges, 154491 markings/sec, 375 secs
lola: 60452469 markings, 168252567 edges, 147864 markings/sec, 380 secs
lola: 61213867 markings, 170378649 edges, 152280 markings/sec, 385 secs
lola: 62019885 markings, 172622481 edges, 161204 markings/sec, 390 secs
lola: 62882141 markings, 175012820 edges, 172451 markings/sec, 395 secs
lola: 63677635 markings, 177226439 edges, 159099 markings/sec, 400 secs
lola: 64427747 markings, 179316861 edges, 150022 markings/sec, 405 secs
lola: 65179083 markings, 181413333 edges, 150267 markings/sec, 410 secs
lola: 65910831 markings, 183454481 edges, 146350 markings/sec, 415 secs
lola: 66650454 markings, 185522377 edges, 147925 markings/sec, 420 secs
lola: 67435550 markings, 187710964 edges, 157019 markings/sec, 425 secs
lola: 68212907 markings, 189872516 edges, 155471 markings/sec, 430 secs
lola: 68979745 markings, 192009916 edges, 153368 markings/sec, 435 secs
lola: 69717323 markings, 194066881 edges, 147516 markings/sec, 440 secs
lola: 70476760 markings, 196186525 edges, 151887 markings/sec, 445 secs
lola: 71232605 markings, 198298051 edges, 151169 markings/sec, 450 secs
lola: 71972118 markings, 200363490 edges, 147903 markings/sec, 455 secs
lola: 72746452 markings, 202515750 edges, 154867 markings/sec, 460 secs
lola: 73485739 markings, 204576958 edges, 147857 markings/sec, 465 secs
lola: 74238022 markings, 206675270 edges, 150457 markings/sec, 470 secs
lola: 74988478 markings, 208772875 edges, 150091 markings/sec, 475 secs
lola: 75768541 markings, 210946384 edges, 156013 markings/sec, 480 secs
lola: 76526385 markings, 213053654 edges, 151569 markings/sec, 485 secs
lola: 77262797 markings, 215111447 edges, 147282 markings/sec, 490 secs
lola: 78012313 markings, 217202729 edges, 149903 markings/sec, 495 secs
lola: 78750180 markings, 219260203 edges, 147573 markings/sec, 500 secs
lola: 79492758 markings, 221331781 edges, 148516 markings/sec, 505 secs
lola: 80221302 markings, 223371473 edges, 145709 markings/sec, 510 secs
lola: 81016020 markings, 225587081 edges, 158944 markings/sec, 515 secs
lola: 81772132 markings, 227697204 edges, 151222 markings/sec, 520 secs
lola: 82523426 markings, 229790793 edges, 150259 markings/sec, 525 secs
lola: 83294040 markings, 231931523 edges, 154123 markings/sec, 530 secs
lola: 84007839 markings, 233928201 edges, 142760 markings/sec, 535 secs
lola: 84756476 markings, 236016696 edges, 149727 markings/sec, 540 secs
lola: 85481149 markings, 238043712 edges, 144935 markings/sec, 545 secs
lola: 86239063 markings, 240160208 edges, 151583 markings/sec, 550 secs
lola: 86957369 markings, 242170502 edges, 143661 markings/sec, 555 secs
lola: 87654591 markings, 244121196 edges, 139444 markings/sec, 560 secs
lola: 88382217 markings, 246154822 edges, 145525 markings/sec, 565 secs
lola: 89178084 markings, 248366185 edges, 159173 markings/sec, 570 secs
lola: 89999577 markings, 250649264 edges, 164299 markings/sec, 575 secs
lola: 90824409 markings, 252939400 edges, 164966 markings/sec, 580 secs
lola: 91649628 markings, 255226273 edges, 165044 markings/sec, 585 secs
lola: 92399658 markings, 257316846 edges, 150006 markings/sec, 590 secs
lola: 93126943 markings, 259350983 edges, 145457 markings/sec, 595 secs
lola: 93837776 markings, 261335892 edges, 142167 markings/sec, 600 secs
lola: 94540026 markings, 263301240 edges, 140450 markings/sec, 605 secs
lola: 95208274 markings, 265169635 edges, 133650 markings/sec, 610 secs
lola: 95737793 markings, 266644157 edges, 105904 markings/sec, 615 secs
lola: 96268042 markings, 268120217 edges, 106050 markings/sec, 620 secs
lola: 96710237 markings, 269353172 edges, 88439 markings/sec, 625 secs
lola: 97246971 markings, 270855507 edges, 107347 markings/sec, 630 secs
lola: 97607734 markings, 271862493 edges, 72153 markings/sec, 635 secs
lola: 97988498 markings, 272923484 edges, 76153 markings/sec, 640 secs
lola: 98675935 markings, 274833008 edges, 137487 markings/sec, 645 secs
lola: 99084055 markings, 275971800 edges, 81624 markings/sec, 650 secs
lola: 99526660 markings, 277205710 edges, 88521 markings/sec, 655 secs
lola: 99991149 markings, 278501222 edges, 92898 markings/sec, 660 secs
lola: 100469197 markings, 279832711 edges, 95610 markings/sec, 665 secs
lola: 100844438 markings, 280882740 edges, 75048 markings/sec, 670 secs
lola: 101207897 markings, 281898532 edges, 72692 markings/sec, 675 secs
lola: 101501313 markings, 282721095 edges, 58683 markings/sec, 680 secs
lola: 101819701 markings, 283616813 edges, 63678 markings/sec, 685 secs
lola: 102464365 markings, 285414185 edges, 128933 markings/sec, 690 secs
lola: 102938291 markings, 286734098 edges, 94785 markings/sec, 695 secs
lola: 103407204 markings, 288041765 edges, 93783 markings/sec, 700 secs
lola: 103835940 markings, 289241451 edges, 85747 markings/sec, 705 secs
lola: 104418708 markings, 290863812 edges, 116554 markings/sec, 710 secs
lola: 104788160 markings, 291896805 edges, 73890 markings/sec, 715 secs
lola: 105251706 markings, 293192825 edges, 92709 markings/sec, 720 secs
lola: 105613443 markings, 294205072 edges, 72347 markings/sec, 725 secs
lola: 105889691 markings, 294975789 edges, 55250 markings/sec, 730 secs
lola: 106306813 markings, 296144346 edges, 83424 markings/sec, 735 secs
lola: 106690044 markings, 297218885 edges, 76646 markings/sec, 740 secs
lola: 107080843 markings, 298302002 edges, 78160 markings/sec, 745 secs
lola: 107339029 markings, 299023554 edges, 51637 markings/sec, 750 secs
lola: 107624833 markings, 299823574 edges, 57161 markings/sec, 755 secs
lola: 108008151 markings, 300897747 edges, 76664 markings/sec, 760 secs
lola: 108312634 markings, 301749154 edges, 60897 markings/sec, 765 secs
lola: 108597593 markings, 302548157 edges, 56992 markings/sec, 770 secs
lola: 108921902 markings, 303455272 edges, 64862 markings/sec, 775 secs
lola: 109189757 markings, 304205352 edges, 53571 markings/sec, 780 secs
lola: 109487705 markings, 305037704 edges, 59590 markings/sec, 785 secs
lola: 109876740 markings, 306124405 edges, 77807 markings/sec, 790 secs
lola: 110281494 markings, 307252430 edges, 80951 markings/sec, 795 secs
lola: 110651935 markings, 308287380 edges, 74088 markings/sec, 800 secs
lola: 111003173 markings, 309267609 edges, 70248 markings/sec, 805 secs
lola: 111361829 markings, 310267329 edges, 71731 markings/sec, 810 secs
lola: 111640407 markings, 311045626 edges, 55716 markings/sec, 815 secs
lola: 111951176 markings, 311915134 edges, 62154 markings/sec, 820 secs
lola: 112299293 markings, 312889850 edges, 69623 markings/sec, 825 secs
lola: 112568013 markings, 313642965 edges, 53744 markings/sec, 830 secs
lola: 112815000 markings, 314333028 edges, 49397 markings/sec, 835 secs
lola: 113133689 markings, 315223673 edges, 63738 markings/sec, 840 secs
lola: 113498951 markings, 316242039 edges, 73052 markings/sec, 845 secs
lola: 113748639 markings, 316940387 edges, 49938 markings/sec, 850 secs
lola: 114006669 markings, 317663551 edges, 51606 markings/sec, 855 secs
lola: 114334066 markings, 318581457 edges, 65479 markings/sec, 860 secs
lola: 114657846 markings, 319485952 edges, 64756 markings/sec, 865 secs
lola: 114957037 markings, 320323393 edges, 59838 markings/sec, 870 secs
lola: 115136769 markings, 320827454 edges, 35946 markings/sec, 875 secs
lola: 115373469 markings, 321489698 edges, 47340 markings/sec, 880 secs
lola: 115486921 markings, 321808401 edges, 22690 markings/sec, 885 secs
lola: 115501906 markings, 321850003 edges, 2997 markings/sec, 890 secs
lola: 115539608 markings, 321954911 edges, 7540 markings/sec, 895 secs
lola: 115551379 markings, 321987987 edges, 2354 markings/sec, 900 secs
lola: 115564898 markings, 322025379 edges, 2704 markings/sec, 905 secs
lola: 115577267 markings, 322059999 edges, 2474 markings/sec, 910 secs
lola: 115622835 markings, 322187088 edges, 9114 markings/sec, 915 secs
lola: 115674289 markings, 322332323 edges, 10291 markings/sec, 920 secs
lola: 115705843 markings, 322419971 edges, 6311 markings/sec, 925 secs
lola: 115719403 markings, 322457886 edges, 2712 markings/sec, 930 secs
lola: 115758411 markings, 322565718 edges, 7802 markings/sec, 935 secs
lola: 115939814 markings, 323069556 edges, 36281 markings/sec, 940 secs
lola: 115940180 markings, 323070606 edges, 73 markings/sec, 945 secs
lola: 116166233 markings, 323699374 edges, 45211 markings/sec, 950 secs
lola: 116297850 markings, 324067530 edges, 26323 markings/sec, 955 secs
lola: 116627534 markings, 324988850 edges, 65937 markings/sec, 960 secs
lola: 116740127 markings, 325301603 edges, 22519 markings/sec, 965 secs
lola: 117042054 markings, 326147679 edges, 60385 markings/sec, 970 secs
lola: 117262013 markings, 326762282 edges, 43992 markings/sec, 975 secs
lola: 117382704 markings, 327099488 edges, 24138 markings/sec, 980 secs
lola: 117555774 markings, 327586144 edges, 34614 markings/sec, 985 secs
lola: 117870079 markings, 328465405 edges, 62861 markings/sec, 990 secs
lola: 117872156 markings, 328471210 edges, 415 markings/sec, 995 secs
lola: 118088452 markings, 329075090 edges, 43259 markings/sec, 1000 secs
lola: 118262622 markings, 329566671 edges, 34834 markings/sec, 1005 secs
lola: 118540205 markings, 330341554 edges, 55517 markings/sec, 1010 secs
lola: 118782429 markings, 331020093 edges, 48445 markings/sec, 1015 secs
lola: 118836313 markings, 331170165 edges, 10777 markings/sec, 1020 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown no yes no
lola:
preliminary result: unknown unknown no yes no
lola: memory consumption: 3636 KB
lola: time consumption: 3123 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.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="Raft-PT-06"
export BK_EXAMINATION="CTLCardinality"
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 Raft-PT-06, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-158987827600251"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-06.tgz
mv Raft-PT-06 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;