About the Execution of LoLa+red for Raft-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11073.455 | 580878.00 | 561494.00 | 1744.50 | FF????F?T??T??FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r327-tall-167889199500354.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is Raft-PT-10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r327-tall-167889199500354
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 800K
-rw-r--r-- 1 mcc users 6.1K Feb 26 17:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 17:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 17:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 17:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Jan 29 11:41 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 17:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 216K Feb 26 17:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 17:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 17:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 241K Mar 5 18:23 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-10-CTLFireability-00
FORMULA_NAME Raft-PT-10-CTLFireability-01
FORMULA_NAME Raft-PT-10-CTLFireability-02
FORMULA_NAME Raft-PT-10-CTLFireability-03
FORMULA_NAME Raft-PT-10-CTLFireability-04
FORMULA_NAME Raft-PT-10-CTLFireability-05
FORMULA_NAME Raft-PT-10-CTLFireability-06
FORMULA_NAME Raft-PT-10-CTLFireability-07
FORMULA_NAME Raft-PT-10-CTLFireability-08
FORMULA_NAME Raft-PT-10-CTLFireability-09
FORMULA_NAME Raft-PT-10-CTLFireability-10
FORMULA_NAME Raft-PT-10-CTLFireability-11
FORMULA_NAME Raft-PT-10-CTLFireability-12
FORMULA_NAME Raft-PT-10-CTLFireability-13
FORMULA_NAME Raft-PT-10-CTLFireability-14
FORMULA_NAME Raft-PT-10-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1679043966855
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Raft-PT-10
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-17 09:06:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2023-03-17 09:06:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 09:06:08] [INFO ] Load time of PNML (sax parser for PT used): 79 ms
[2023-03-17 09:06:08] [INFO ] Transformed 508 places.
[2023-03-17 09:06:08] [INFO ] Transformed 868 transitions.
[2023-03-17 09:06:08] [INFO ] Found NUPN structural information;
[2023-03-17 09:06:08] [INFO ] Parsed PT model containing 508 places and 868 transitions and 3359 arcs in 157 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 10 ms.
Initial state reduction rules removed 1 formulas.
Ensure Unique test removed 42 transitions
Reduce redundant transitions removed 42 transitions.
FORMULA Raft-PT-10-CTLFireability-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 123 out of 508 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 508/508 places, 826/826 transitions.
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 3 place count 505 transition count 820
Iterating global reduction 0 with 3 rules applied. Total rules applied 6 place count 505 transition count 820
Applied a total of 6 rules in 71 ms. Remains 505 /508 variables (removed 3) and now considering 820/826 (removed 6) transitions.
[2023-03-17 09:06:08] [INFO ] Flow matrix only has 777 transitions (discarded 43 similar events)
// Phase 1: matrix 777 rows 505 cols
[2023-03-17 09:06:08] [INFO ] Computed 100 place invariants in 26 ms
[2023-03-17 09:06:09] [INFO ] Implicit Places using invariants in 499 ms returned []
[2023-03-17 09:06:09] [INFO ] Flow matrix only has 777 transitions (discarded 43 similar events)
[2023-03-17 09:06:09] [INFO ] Invariant cache hit.
[2023-03-17 09:06:09] [INFO ] State equation strengthened by 454 read => feed constraints.
[2023-03-17 09:06:09] [INFO ] Implicit Places using invariants and state equation in 841 ms returned []
Implicit Place search using SMT with State Equation took 1364 ms to find 0 implicit places.
[2023-03-17 09:06:09] [INFO ] Flow matrix only has 777 transitions (discarded 43 similar events)
[2023-03-17 09:06:10] [INFO ] Invariant cache hit.
[2023-03-17 09:06:10] [INFO ] Dead Transitions using invariants and state equation in 284 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 505/508 places, 820/826 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1720 ms. Remains : 505/508 places, 820/826 transitions.
Support contains 123 out of 505 places after structural reductions.
[2023-03-17 09:06:10] [INFO ] Flatten gal took : 89 ms
[2023-03-17 09:06:10] [INFO ] Flatten gal took : 46 ms
[2023-03-17 09:06:10] [INFO ] Input system was already deterministic with 820 transitions.
Support contains 121 out of 505 places (down from 123) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 408 ms. (steps per millisecond=24 ) properties (out of 89) seen :84
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 5) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 4) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 3) seen :0
Running SMT prover for 3 properties.
[2023-03-17 09:06:11] [INFO ] Flow matrix only has 777 transitions (discarded 43 similar events)
[2023-03-17 09:06:11] [INFO ] Invariant cache hit.
[2023-03-17 09:06:11] [INFO ] [Real]Absence check using 100 positive place invariants in 12 ms returned sat
[2023-03-17 09:06:11] [INFO ] After 378ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2023-03-17 09:06:11] [INFO ] [Nat]Absence check using 100 positive place invariants in 16 ms returned sat
[2023-03-17 09:06:12] [INFO ] After 240ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2023-03-17 09:06:12] [INFO ] State equation strengthened by 454 read => feed constraints.
[2023-03-17 09:06:12] [INFO ] After 128ms SMT Verify possible using 454 Read/Feed constraints in natural domain returned unsat :0 sat :3
[2023-03-17 09:06:12] [INFO ] After 285ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 113 ms.
[2023-03-17 09:06:12] [INFO ] After 781ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
Parikh walk visited 2 properties in 12 ms.
Support contains 2 out of 505 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 505/505 places, 820/820 transitions.
Drop transitions removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 0 with 11 rules applied. Total rules applied 11 place count 505 transition count 809
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 11 place count 505 transition count 808
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 13 place count 504 transition count 808
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 20 place count 497 transition count 794
Iterating global reduction 1 with 7 rules applied. Total rules applied 27 place count 497 transition count 794
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 1 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 1 with 18 rules applied. Total rules applied 45 place count 488 transition count 785
Discarding 81 places :
Symmetric choice reduction at 1 with 81 rule applications. Total rules 126 place count 407 transition count 704
Iterating global reduction 1 with 81 rules applied. Total rules applied 207 place count 407 transition count 704
Ensure Unique test removed 81 transitions
Reduce isomorphic transitions removed 81 transitions.
Iterating post reduction 1 with 81 rules applied. Total rules applied 288 place count 407 transition count 623
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: -63
Deduced a syphon composed of 9 places in 0 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 306 place count 398 transition count 686
Drop transitions removed 82 transitions
Redundant transition composition rules discarded 82 transitions
Iterating global reduction 2 with 82 rules applied. Total rules applied 388 place count 398 transition count 604
Discarding 81 places :
Symmetric choice reduction at 2 with 81 rule applications. Total rules 469 place count 317 transition count 523
Iterating global reduction 2 with 81 rules applied. Total rules applied 550 place count 317 transition count 523
Ensure Unique test removed 81 transitions
Reduce isomorphic transitions removed 81 transitions.
Iterating post reduction 2 with 81 rules applied. Total rules applied 631 place count 317 transition count 442
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 633 place count 316 transition count 441
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 642 place count 307 transition count 432
Iterating global reduction 3 with 9 rules applied. Total rules applied 651 place count 307 transition count 432
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 3 with 9 rules applied. Total rules applied 660 place count 307 transition count 423
Applied a total of 660 rules in 209 ms. Remains 307 /505 variables (removed 198) and now considering 423/820 (removed 397) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 209 ms. Remains : 307/505 places, 423/820 transitions.
Finished random walk after 110 steps, including 0 resets, run visited all 1 properties in 2 ms. (steps per millisecond=55 )
[2023-03-17 09:06:12] [INFO ] Flatten gal took : 36 ms
[2023-03-17 09:06:12] [INFO ] Flatten gal took : 37 ms
[2023-03-17 09:06:12] [INFO ] Input system was already deterministic with 820 transitions.
Computed a total of 5 stabilizing places and 23 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 499 transition count 808
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 499 transition count 808
Applied a total of 12 rules in 29 ms. Remains 499 /505 variables (removed 6) and now considering 808/820 (removed 12) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 29 ms. Remains : 499/505 places, 808/820 transitions.
[2023-03-17 09:06:12] [INFO ] Flatten gal took : 27 ms
[2023-03-17 09:06:12] [INFO ] Flatten gal took : 27 ms
[2023-03-17 09:06:12] [INFO ] Input system was already deterministic with 808 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 499 transition count 808
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 499 transition count 808
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 0 with 6 rules applied. Total rules applied 18 place count 496 transition count 805
Discarding 27 places :
Symmetric choice reduction at 0 with 27 rule applications. Total rules 45 place count 469 transition count 778
Iterating global reduction 0 with 27 rules applied. Total rules applied 72 place count 469 transition count 778
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 0 with 27 rules applied. Total rules applied 99 place count 469 transition count 751
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 1 with 10 rules applied. Total rules applied 109 place count 469 transition count 741
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 1 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 1 with 20 rules applied. Total rules applied 129 place count 459 transition count 731
Discarding 80 places :
Symmetric choice reduction at 1 with 80 rule applications. Total rules 209 place count 379 transition count 651
Iterating global reduction 1 with 80 rules applied. Total rules applied 289 place count 379 transition count 651
Ensure Unique test removed 80 transitions
Reduce isomorphic transitions removed 80 transitions.
Iterating post reduction 1 with 80 rules applied. Total rules applied 369 place count 379 transition count 571
Applied a total of 369 rules in 126 ms. Remains 379 /505 variables (removed 126) and now considering 571/820 (removed 249) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 126 ms. Remains : 379/505 places, 571/820 transitions.
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 16 ms
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 16 ms
[2023-03-17 09:06:13] [INFO ] Input system was already deterministic with 571 transitions.
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 500 transition count 810
Iterating global reduction 0 with 5 rules applied. Total rules applied 10 place count 500 transition count 810
Applied a total of 10 rules in 18 ms. Remains 500 /505 variables (removed 5) and now considering 810/820 (removed 10) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 18 ms. Remains : 500/505 places, 810/820 transitions.
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 26 ms
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 24 ms
[2023-03-17 09:06:13] [INFO ] Input system was already deterministic with 810 transitions.
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 498 transition count 806
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 498 transition count 806
Applied a total of 14 rules in 18 ms. Remains 498 /505 variables (removed 7) and now considering 806/820 (removed 14) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 19 ms. Remains : 498/505 places, 806/820 transitions.
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 22 ms
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 24 ms
[2023-03-17 09:06:13] [INFO ] Input system was already deterministic with 806 transitions.
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 4 place count 501 transition count 812
Iterating global reduction 0 with 4 rules applied. Total rules applied 8 place count 501 transition count 812
Applied a total of 8 rules in 17 ms. Remains 501 /505 variables (removed 4) and now considering 812/820 (removed 8) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 17 ms. Remains : 501/505 places, 812/820 transitions.
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 23 ms
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 25 ms
[2023-03-17 09:06:13] [INFO ] Input system was already deterministic with 812 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 498 transition count 806
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 498 transition count 806
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 28 place count 491 transition count 799
Discarding 63 places :
Symmetric choice reduction at 0 with 63 rule applications. Total rules 91 place count 428 transition count 736
Iterating global reduction 0 with 63 rules applied. Total rules applied 154 place count 428 transition count 736
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Iterating post reduction 0 with 63 rules applied. Total rules applied 217 place count 428 transition count 673
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 1 with 10 rules applied. Total rules applied 227 place count 428 transition count 663
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 1 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 1 with 20 rules applied. Total rules applied 247 place count 418 transition count 653
Discarding 90 places :
Symmetric choice reduction at 1 with 90 rule applications. Total rules 337 place count 328 transition count 563
Iterating global reduction 1 with 90 rules applied. Total rules applied 427 place count 328 transition count 563
Ensure Unique test removed 90 transitions
Reduce isomorphic transitions removed 90 transitions.
Iterating post reduction 1 with 90 rules applied. Total rules applied 517 place count 328 transition count 473
Applied a total of 517 rules in 82 ms. Remains 328 /505 variables (removed 177) and now considering 473/820 (removed 347) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 82 ms. Remains : 328/505 places, 473/820 transitions.
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 12 ms
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 13 ms
[2023-03-17 09:06:13] [INFO ] Input system was already deterministic with 473 transitions.
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 499 transition count 808
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 499 transition count 808
Applied a total of 12 rules in 14 ms. Remains 499 /505 variables (removed 6) and now considering 808/820 (removed 12) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 14 ms. Remains : 499/505 places, 808/820 transitions.
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 19 ms
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 20 ms
[2023-03-17 09:06:13] [INFO ] Input system was already deterministic with 808 transitions.
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 498 transition count 806
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 498 transition count 806
Applied a total of 14 rules in 15 ms. Remains 498 /505 variables (removed 7) and now considering 806/820 (removed 14) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 15 ms. Remains : 498/505 places, 806/820 transitions.
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 20 ms
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 21 ms
[2023-03-17 09:06:13] [INFO ] Input system was already deterministic with 806 transitions.
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 498 transition count 806
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 498 transition count 806
Applied a total of 14 rules in 23 ms. Remains 498 /505 variables (removed 7) and now considering 806/820 (removed 14) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 23 ms. Remains : 498/505 places, 806/820 transitions.
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 20 ms
[2023-03-17 09:06:13] [INFO ] Flatten gal took : 22 ms
[2023-03-17 09:06:13] [INFO ] Input system was already deterministic with 806 transitions.
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 498 transition count 806
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 498 transition count 806
Applied a total of 14 rules in 13 ms. Remains 498 /505 variables (removed 7) and now considering 806/820 (removed 14) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 14 ms. Remains : 498/505 places, 806/820 transitions.
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 19 ms
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 21 ms
[2023-03-17 09:06:14] [INFO ] Input system was already deterministic with 806 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 499 transition count 808
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 499 transition count 808
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 26 place count 492 transition count 801
Discarding 63 places :
Symmetric choice reduction at 0 with 63 rule applications. Total rules 89 place count 429 transition count 738
Iterating global reduction 0 with 63 rules applied. Total rules applied 152 place count 429 transition count 738
Ensure Unique test removed 63 transitions
Reduce isomorphic transitions removed 63 transitions.
Iterating post reduction 0 with 63 rules applied. Total rules applied 215 place count 429 transition count 675
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 1 with 10 rules applied. Total rules applied 225 place count 429 transition count 665
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 1 with 20 rules applied. Total rules applied 245 place count 419 transition count 655
Discarding 80 places :
Symmetric choice reduction at 1 with 80 rule applications. Total rules 325 place count 339 transition count 575
Iterating global reduction 1 with 80 rules applied. Total rules applied 405 place count 339 transition count 575
Ensure Unique test removed 80 transitions
Reduce isomorphic transitions removed 80 transitions.
Iterating post reduction 1 with 80 rules applied. Total rules applied 485 place count 339 transition count 495
Applied a total of 485 rules in 74 ms. Remains 339 /505 variables (removed 166) and now considering 495/820 (removed 325) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 74 ms. Remains : 339/505 places, 495/820 transitions.
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 11 ms
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 13 ms
[2023-03-17 09:06:14] [INFO ] Input system was already deterministic with 495 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Reduce places removed 1 places and 1 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 497 transition count 805
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 497 transition count 805
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 34 place count 487 transition count 795
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 124 place count 397 transition count 705
Iterating global reduction 0 with 90 rules applied. Total rules applied 214 place count 397 transition count 705
Ensure Unique test removed 90 transitions
Reduce isomorphic transitions removed 90 transitions.
Iterating post reduction 0 with 90 rules applied. Total rules applied 304 place count 397 transition count 615
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 1 with 10 rules applied. Total rules applied 314 place count 397 transition count 605
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 1 with 20 rules applied. Total rules applied 334 place count 387 transition count 595
Discarding 90 places :
Symmetric choice reduction at 1 with 90 rule applications. Total rules 424 place count 297 transition count 505
Iterating global reduction 1 with 90 rules applied. Total rules applied 514 place count 297 transition count 505
Ensure Unique test removed 90 transitions
Reduce isomorphic transitions removed 90 transitions.
Iterating post reduction 1 with 90 rules applied. Total rules applied 604 place count 297 transition count 415
Applied a total of 604 rules in 61 ms. Remains 297 /505 variables (removed 208) and now considering 415/820 (removed 405) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 62 ms. Remains : 297/505 places, 415/820 transitions.
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 8 ms
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 9 ms
[2023-03-17 09:06:14] [INFO ] Input system was already deterministic with 415 transitions.
Finished random walk after 157 steps, including 0 resets, run visited all 1 properties in 3 ms. (steps per millisecond=52 )
FORMULA Raft-PT-10-CTLFireability-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 498 transition count 806
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 498 transition count 806
Applied a total of 14 rules in 13 ms. Remains 498 /505 variables (removed 7) and now considering 806/820 (removed 14) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 13 ms. Remains : 498/505 places, 806/820 transitions.
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 20 ms
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 21 ms
[2023-03-17 09:06:14] [INFO ] Input system was already deterministic with 806 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 498 transition count 806
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 498 transition count 806
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 26 place count 492 transition count 800
Discarding 54 places :
Symmetric choice reduction at 0 with 54 rule applications. Total rules 80 place count 438 transition count 746
Iterating global reduction 0 with 54 rules applied. Total rules applied 134 place count 438 transition count 746
Ensure Unique test removed 54 transitions
Reduce isomorphic transitions removed 54 transitions.
Iterating post reduction 0 with 54 rules applied. Total rules applied 188 place count 438 transition count 692
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 1 with 10 rules applied. Total rules applied 198 place count 438 transition count 682
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 1 with 20 rules applied. Total rules applied 218 place count 428 transition count 672
Discarding 90 places :
Symmetric choice reduction at 1 with 90 rule applications. Total rules 308 place count 338 transition count 582
Iterating global reduction 1 with 90 rules applied. Total rules applied 398 place count 338 transition count 582
Ensure Unique test removed 90 transitions
Reduce isomorphic transitions removed 90 transitions.
Iterating post reduction 1 with 90 rules applied. Total rules applied 488 place count 338 transition count 492
Applied a total of 488 rules in 74 ms. Remains 338 /505 variables (removed 167) and now considering 492/820 (removed 328) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 75 ms. Remains : 338/505 places, 492/820 transitions.
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 11 ms
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 12 ms
[2023-03-17 09:06:14] [INFO ] Input system was already deterministic with 492 transitions.
Starting structural reductions in LTL mode, iteration 0 : 505/505 places, 820/820 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 499 transition count 808
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 499 transition count 808
Applied a total of 12 rules in 12 ms. Remains 499 /505 variables (removed 6) and now considering 808/820 (removed 12) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 12 ms. Remains : 499/505 places, 808/820 transitions.
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 17 ms
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 19 ms
[2023-03-17 09:06:14] [INFO ] Input system was already deterministic with 808 transitions.
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 19 ms
[2023-03-17 09:06:14] [INFO ] Flatten gal took : 20 ms
[2023-03-17 09:06:14] [INFO ] Export to MCC of 14 properties in file /home/mcc/execution/CTLFireability.sr.xml took 4 ms.
[2023-03-17 09:06:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 505 places, 820 transitions and 3257 arcs took 4 ms.
Total runtime 6415 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT Raft-PT-10
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/377
CTLFireability
FORMULA Raft-PT-10-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-CTLFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-CTLFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-CTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-10-CTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679044547733
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/377/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/377/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/377/CTLFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:472
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:394
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:478
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:547
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: LAUNCH task # 7 (type EXCL) for 6 Raft-PT-10-CTLFireability-02
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:661
lola: rewrite Frontend/Parser/formula_rewrite.k:666
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:666
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:814
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 2 0 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 CTL EXCL 5/239 4/32 Raft-PT-10-CTLFireability-02 779636 m, 155927 m/sec, 1455439 t fired, .
Time elapsed: 7 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 2 0 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 CTL EXCL 10/239 8/32 Raft-PT-10-CTLFireability-02 1627696 m, 169612 m/sec, 3060422 t fired, .
Time elapsed: 12 secs. Pages in use: 8
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 2 0 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 CTL EXCL 15/239 12/32 Raft-PT-10-CTLFireability-02 2474730 m, 169406 m/sec, 4644932 t fired, .
Time elapsed: 17 secs. Pages in use: 12
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 2 0 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 CTL EXCL 20/239 16/32 Raft-PT-10-CTLFireability-02 3314991 m, 168052 m/sec, 6228484 t fired, .
Time elapsed: 22 secs. Pages in use: 16
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 2 0 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 CTL EXCL 25/239 20/32 Raft-PT-10-CTLFireability-02 4139744 m, 164950 m/sec, 7801881 t fired, .
Time elapsed: 27 secs. Pages in use: 20
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 2 0 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 CTL EXCL 30/239 24/32 Raft-PT-10-CTLFireability-02 4957988 m, 163648 m/sec, 9373658 t fired, .
Time elapsed: 32 secs. Pages in use: 24
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 2 0 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 CTL EXCL 35/239 28/32 Raft-PT-10-CTLFireability-02 5796428 m, 167688 m/sec, 10949590 t fired, .
Time elapsed: 37 secs. Pages in use: 28
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 2 0 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
7 CTL EXCL 40/239 32/32 Raft-PT-10-CTLFireability-02 6651649 m, 171044 m/sec, 12548545 t fired, .
Time elapsed: 42 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 7 (type EXCL) for Raft-PT-10-CTLFireability-02 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 2 0 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 47 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 44 (type EXCL) for 43 Raft-PT-10-CTLFireability-15
lola: time limit : 253 sec
lola: memory limit: 32 pages
lola: FINISHED task # 44 (type EXCL) for Raft-PT-10-CTLFireability-15
lola: result : false
lola: markings : 3133
lola: fired transitions : 3216
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 38 (type EXCL) for 33 Raft-PT-10-CTLFireability-12
lola: time limit : 273 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 1 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
38 CTL EXCL 5/273 4/32 Raft-PT-10-CTLFireability-12 783375 m, 156675 m/sec, 1462531 t fired, .
Time elapsed: 52 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 1 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
38 CTL EXCL 10/273 8/32 Raft-PT-10-CTLFireability-12 1529065 m, 149138 m/sec, 2869408 t fired, .
Time elapsed: 57 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 1 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
38 CTL EXCL 15/273 11/32 Raft-PT-10-CTLFireability-12 2270913 m, 148369 m/sec, 4264398 t fired, .
Time elapsed: 62 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 1 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
38 CTL EXCL 20/273 15/32 Raft-PT-10-CTLFireability-12 3012178 m, 148253 m/sec, 5660585 t fired, .
Time elapsed: 67 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 1 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
38 CTL EXCL 25/273 18/32 Raft-PT-10-CTLFireability-12 3748461 m, 147256 m/sec, 7053050 t fired, .
Time elapsed: 72 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 1 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
38 CTL EXCL 30/273 22/32 Raft-PT-10-CTLFireability-12 4474376 m, 145183 m/sec, 8442711 t fired, .
Time elapsed: 77 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 1 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
38 CTL EXCL 35/273 25/32 Raft-PT-10-CTLFireability-12 5203095 m, 145743 m/sec, 9839076 t fired, .
Time elapsed: 82 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 1 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
38 CTL EXCL 40/273 29/32 Raft-PT-10-CTLFireability-12 5942107 m, 147802 m/sec, 11219561 t fired, .
Time elapsed: 87 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 1 0 2 0 0 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
38 CTL EXCL 45/273 32/32 Raft-PT-10-CTLFireability-12 6694888 m, 150556 m/sec, 12630529 t fired, .
Time elapsed: 92 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 38 (type EXCL) for Raft-PT-10-CTLFireability-12 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 1 0 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 97 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 36 (type EXCL) for 33 Raft-PT-10-CTLFireability-12
lola: time limit : 291 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 5/291 3/32 Raft-PT-10-CTLFireability-12 529709 m, 105941 m/sec, 1979953 t fired, .
Time elapsed: 102 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 10/291 6/32 Raft-PT-10-CTLFireability-12 1051952 m, 104448 m/sec, 3939384 t fired, .
Time elapsed: 107 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 15/291 8/32 Raft-PT-10-CTLFireability-12 1566903 m, 102990 m/sec, 5875083 t fired, .
Time elapsed: 112 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 20/291 11/32 Raft-PT-10-CTLFireability-12 2077758 m, 102171 m/sec, 7794175 t fired, .
Time elapsed: 117 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 25/291 13/32 Raft-PT-10-CTLFireability-12 2583895 m, 101227 m/sec, 9702653 t fired, .
Time elapsed: 122 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 30/291 15/32 Raft-PT-10-CTLFireability-12 3091144 m, 101449 m/sec, 11611915 t fired, .
Time elapsed: 127 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 35/291 18/32 Raft-PT-10-CTLFireability-12 3596151 m, 101001 m/sec, 13515678 t fired, .
Time elapsed: 132 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 40/291 20/32 Raft-PT-10-CTLFireability-12 4096041 m, 99978 m/sec, 15399265 t fired, .
Time elapsed: 137 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 45/291 23/32 Raft-PT-10-CTLFireability-12 4597291 m, 100250 m/sec, 17286719 t fired, .
Time elapsed: 142 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 50/291 25/32 Raft-PT-10-CTLFireability-12 5095791 m, 99700 m/sec, 19166613 t fired, .
Time elapsed: 147 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 55/291 28/32 Raft-PT-10-CTLFireability-12 5607253 m, 102292 m/sec, 21077772 t fired, .
Time elapsed: 152 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 60/291 30/32 Raft-PT-10-CTLFireability-12 6111383 m, 100826 m/sec, 22965563 t fired, .
Time elapsed: 157 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 1 0 2 0 1 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
36 CTL EXCL 65/291 32/32 Raft-PT-10-CTLFireability-12 6612541 m, 100231 m/sec, 24843679 t fired, .
Time elapsed: 162 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 36 (type EXCL) for Raft-PT-10-CTLFireability-12 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 167 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 28 (type EXCL) for 27 Raft-PT-10-CTLFireability-09
lola: time limit : 312 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 5/312 4/32 Raft-PT-10-CTLFireability-09 683419 m, 136683 m/sec, 1873300 t fired, .
Time elapsed: 172 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 10/312 7/32 Raft-PT-10-CTLFireability-09 1343319 m, 131980 m/sec, 3691422 t fired, .
Time elapsed: 177 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 15/312 10/32 Raft-PT-10-CTLFireability-09 1995863 m, 130508 m/sec, 5489472 t fired, .
Time elapsed: 182 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 20/312 13/32 Raft-PT-10-CTLFireability-09 2642365 m, 129300 m/sec, 7280170 t fired, .
Time elapsed: 187 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 25/312 16/32 Raft-PT-10-CTLFireability-09 3287636 m, 129054 m/sec, 9064465 t fired, .
Time elapsed: 192 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 30/312 19/32 Raft-PT-10-CTLFireability-09 3927014 m, 127875 m/sec, 10835385 t fired, .
Time elapsed: 197 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 35/312 23/32 Raft-PT-10-CTLFireability-09 4565781 m, 127753 m/sec, 12601708 t fired, .
Time elapsed: 202 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 40/312 26/32 Raft-PT-10-CTLFireability-09 5203171 m, 127478 m/sec, 14363256 t fired, .
Time elapsed: 207 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 45/312 29/32 Raft-PT-10-CTLFireability-09 5851404 m, 129646 m/sec, 16140756 t fired, .
Time elapsed: 212 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 CTL EXCL 50/312 32/32 Raft-PT-10-CTLFireability-09 6492684 m, 128256 m/sec, 17901250 t fired, .
Time elapsed: 217 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 28 (type EXCL) for Raft-PT-10-CTLFireability-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 222 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 25 (type EXCL) for 24 Raft-PT-10-CTLFireability-08
lola: time limit : 337 sec
lola: memory limit: 32 pages
lola: FINISHED task # 25 (type EXCL) for Raft-PT-10-CTLFireability-08
lola: result : true
lola: markings : 11
lola: fired transitions : 22
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 22 (type EXCL) for 21 Raft-PT-10-CTLFireability-07
lola: time limit : 375 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 5/375 5/32 Raft-PT-10-CTLFireability-07 1008642 m, 201728 m/sec, 1759746 t fired, .
Time elapsed: 227 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 10/375 10/32 Raft-PT-10-CTLFireability-07 1973617 m, 192995 m/sec, 3454192 t fired, .
Time elapsed: 232 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 15/375 15/32 Raft-PT-10-CTLFireability-07 2923778 m, 190032 m/sec, 5134984 t fired, .
Time elapsed: 237 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 20/375 19/32 Raft-PT-10-CTLFireability-07 3865465 m, 188337 m/sec, 6800727 t fired, .
Time elapsed: 242 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 25/375 24/32 Raft-PT-10-CTLFireability-07 4801593 m, 187225 m/sec, 8453954 t fired, .
Time elapsed: 247 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 30/375 28/32 Raft-PT-10-CTLFireability-07 5752934 m, 190268 m/sec, 10117813 t fired, .
Time elapsed: 252 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 22 (type EXCL) for Raft-PT-10-CTLFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-06: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 257 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 19 (type EXCL) for 18 Raft-PT-10-CTLFireability-06
lola: time limit : 417 sec
lola: memory limit: 32 pages
lola: FINISHED task # 19 (type EXCL) for Raft-PT-10-CTLFireability-06
lola: result : false
lola: markings : 216
lola: fired transitions : 333
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 13 (type EXCL) for 12 Raft-PT-10-CTLFireability-04
lola: time limit : 477 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 CTL EXCL 5/477 5/32 Raft-PT-10-CTLFireability-04 1007809 m, 201561 m/sec, 1762737 t fired, .
Time elapsed: 262 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 CTL EXCL 10/477 10/32 Raft-PT-10-CTLFireability-04 1959987 m, 190435 m/sec, 3434255 t fired, .
Time elapsed: 267 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 CTL EXCL 15/477 14/32 Raft-PT-10-CTLFireability-04 2893009 m, 186604 m/sec, 5081231 t fired, .
Time elapsed: 272 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 CTL EXCL 20/477 19/32 Raft-PT-10-CTLFireability-04 3824027 m, 186203 m/sec, 6724785 t fired, .
Time elapsed: 277 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 CTL EXCL 25/477 23/32 Raft-PT-10-CTLFireability-04 4742563 m, 183707 m/sec, 8356886 t fired, .
Time elapsed: 282 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 CTL EXCL 30/477 28/32 Raft-PT-10-CTLFireability-04 5666055 m, 184698 m/sec, 9993826 t fired, .
Time elapsed: 287 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
13 CTL EXCL 35/477 32/32 Raft-PT-10-CTLFireability-04 6575615 m, 181912 m/sec, 11618131 t fired, .
Time elapsed: 292 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 13 (type EXCL) for Raft-PT-10-CTLFireability-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 297 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 10 (type EXCL) for 9 Raft-PT-10-CTLFireability-03
lola: time limit : 550 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 5/550 4/32 Raft-PT-10-CTLFireability-03 837954 m, 167590 m/sec, 1434269 t fired, .
Time elapsed: 302 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 10/550 8/32 Raft-PT-10-CTLFireability-03 1642076 m, 160824 m/sec, 2875242 t fired, .
Time elapsed: 307 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 15/550 12/32 Raft-PT-10-CTLFireability-03 2467327 m, 165050 m/sec, 4307718 t fired, .
Time elapsed: 312 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 20/550 16/32 Raft-PT-10-CTLFireability-03 3288761 m, 164286 m/sec, 5728609 t fired, .
Time elapsed: 317 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 25/550 20/32 Raft-PT-10-CTLFireability-03 4109932 m, 164234 m/sec, 7158117 t fired, .
Time elapsed: 322 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 30/550 24/32 Raft-PT-10-CTLFireability-03 4936990 m, 165411 m/sec, 8581525 t fired, .
Time elapsed: 327 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 35/550 28/32 Raft-PT-10-CTLFireability-03 5757441 m, 164090 m/sec, 9990924 t fired, .
Time elapsed: 332 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 40/550 32/32 Raft-PT-10-CTLFireability-03 6578675 m, 164246 m/sec, 11411252 t fired, .
Time elapsed: 337 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 10 (type EXCL) for Raft-PT-10-CTLFireability-03 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 342 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 1 (type EXCL) for 0 Raft-PT-10-CTLFireability-00
lola: time limit : 651 sec
lola: memory limit: 32 pages
lola: FINISHED task # 1 (type EXCL) for Raft-PT-10-CTLFireability-00
lola: result : false
lola: markings : 756386
lola: fired transitions : 1305474
lola: time used : 4.000000
lola: memory pages used : 4
lola: LAUNCH task # 47 (type EXCL) for 30 Raft-PT-10-CTLFireability-10
lola: time limit : 813 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 1/813 1/32 Raft-PT-10-CTLFireability-10 34898 m, 6979 m/sec, 66863 t fired, .
Time elapsed: 347 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 6/813 2/32 Raft-PT-10-CTLFireability-10 251320 m, 43284 m/sec, 553737 t fired, .
Time elapsed: 352 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 11/813 4/32 Raft-PT-10-CTLFireability-10 480840 m, 45904 m/sec, 1082994 t fired, .
Time elapsed: 357 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 16/813 6/32 Raft-PT-10-CTLFireability-10 717562 m, 47344 m/sec, 1645376 t fired, .
Time elapsed: 362 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 21/813 8/32 Raft-PT-10-CTLFireability-10 962979 m, 49083 m/sec, 2246667 t fired, .
Time elapsed: 367 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 26/813 10/32 Raft-PT-10-CTLFireability-10 1214391 m, 50282 m/sec, 2860564 t fired, .
Time elapsed: 372 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 31/813 12/32 Raft-PT-10-CTLFireability-10 1471423 m, 51406 m/sec, 3489807 t fired, .
Time elapsed: 377 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 36/813 13/32 Raft-PT-10-CTLFireability-10 1735679 m, 52851 m/sec, 4142946 t fired, .
Time elapsed: 382 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 41/813 15/32 Raft-PT-10-CTLFireability-10 2001776 m, 53219 m/sec, 4794154 t fired, .
Time elapsed: 387 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 46/813 18/32 Raft-PT-10-CTLFireability-10 2277357 m, 55116 m/sec, 5454479 t fired, .
Time elapsed: 392 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 51/813 20/32 Raft-PT-10-CTLFireability-10 2549087 m, 54346 m/sec, 6085910 t fired, .
Time elapsed: 397 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 56/813 22/32 Raft-PT-10-CTLFireability-10 2825089 m, 55200 m/sec, 6767907 t fired, .
Time elapsed: 402 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 61/813 24/32 Raft-PT-10-CTLFireability-10 3111677 m, 57317 m/sec, 7467775 t fired, .
Time elapsed: 407 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 66/813 26/32 Raft-PT-10-CTLFireability-10 3392838 m, 56232 m/sec, 8170329 t fired, .
Time elapsed: 412 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 71/813 28/32 Raft-PT-10-CTLFireability-10 3664760 m, 54384 m/sec, 8865137 t fired, .
Time elapsed: 417 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 76/813 30/32 Raft-PT-10-CTLFireability-10 3955984 m, 58244 m/sec, 9583836 t fired, .
Time elapsed: 422 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
47 LTL EXCL 81/813 32/32 Raft-PT-10-CTLFireability-10 4245710 m, 57945 m/sec, 10298679 t fired, .
Time elapsed: 427 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 47 (type EXCL) for Raft-PT-10-CTLFireability-10 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 432 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 16 (type EXCL) for 15 Raft-PT-10-CTLFireability-05
lola: time limit : 1056 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 5/1056 3/32 Raft-PT-10-CTLFireability-05 569097 m, 113819 m/sec, 1555037 t fired, .
Time elapsed: 437 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 10/1056 6/32 Raft-PT-10-CTLFireability-05 1139214 m, 114023 m/sec, 3093043 t fired, .
Time elapsed: 442 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 15/1056 8/32 Raft-PT-10-CTLFireability-05 1704778 m, 113112 m/sec, 4616529 t fired, .
Time elapsed: 447 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 20/1056 11/32 Raft-PT-10-CTLFireability-05 2263245 m, 111693 m/sec, 6145609 t fired, .
Time elapsed: 452 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 25/1056 14/32 Raft-PT-10-CTLFireability-05 2827327 m, 112816 m/sec, 7676021 t fired, .
Time elapsed: 457 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 30/1056 16/32 Raft-PT-10-CTLFireability-05 3385764 m, 111687 m/sec, 9208064 t fired, .
Time elapsed: 462 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 35/1056 19/32 Raft-PT-10-CTLFireability-05 3931814 m, 109210 m/sec, 10731180 t fired, .
Time elapsed: 467 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 40/1056 21/32 Raft-PT-10-CTLFireability-05 4485347 m, 110706 m/sec, 12255448 t fired, .
Time elapsed: 472 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 45/1056 24/32 Raft-PT-10-CTLFireability-05 5046503 m, 112231 m/sec, 13788004 t fired, .
Time elapsed: 477 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 50/1056 26/32 Raft-PT-10-CTLFireability-05 5625530 m, 115805 m/sec, 15351050 t fired, .
Time elapsed: 482 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 55/1056 29/32 Raft-PT-10-CTLFireability-05 6181819 m, 111257 m/sec, 16882499 t fired, .
Time elapsed: 487 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 1 0 1 0 0 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
16 CTL EXCL 60/1056 32/32 Raft-PT-10-CTLFireability-05 6727459 m, 109128 m/sec, 18407710 t fired, .
Time elapsed: 492 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 16 (type EXCL) for Raft-PT-10-CTLFireability-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 497 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 41 (type EXCL) for 40 Raft-PT-10-CTLFireability-13
lola: time limit : 1551 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 5/1551 3/32 Raft-PT-10-CTLFireability-13 497367 m, 99473 m/sec, 1958007 t fired, .
Time elapsed: 502 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 10/1551 5/32 Raft-PT-10-CTLFireability-13 978505 m, 96227 m/sec, 3865553 t fired, .
Time elapsed: 507 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 15/1551 7/32 Raft-PT-10-CTLFireability-13 1453290 m, 94957 m/sec, 5741844 t fired, .
Time elapsed: 512 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 20/1551 10/32 Raft-PT-10-CTLFireability-13 1922197 m, 93781 m/sec, 7617607 t fired, .
Time elapsed: 517 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 25/1551 12/32 Raft-PT-10-CTLFireability-13 2387339 m, 93028 m/sec, 9485958 t fired, .
Time elapsed: 522 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 30/1551 14/32 Raft-PT-10-CTLFireability-13 2853098 m, 93151 m/sec, 11353837 t fired, .
Time elapsed: 527 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 35/1551 16/32 Raft-PT-10-CTLFireability-13 3311908 m, 91762 m/sec, 13210799 t fired, .
Time elapsed: 532 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 40/1551 18/32 Raft-PT-10-CTLFireability-13 3770562 m, 91730 m/sec, 15064350 t fired, .
Time elapsed: 537 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 45/1551 20/32 Raft-PT-10-CTLFireability-13 4239744 m, 93836 m/sec, 16933509 t fired, .
Time elapsed: 542 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 50/1551 22/32 Raft-PT-10-CTLFireability-13 4697377 m, 91526 m/sec, 18784177 t fired, .
Time elapsed: 547 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 55/1551 25/32 Raft-PT-10-CTLFireability-13 5150260 m, 90576 m/sec, 20621228 t fired, .
Time elapsed: 552 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 60/1551 27/32 Raft-PT-10-CTLFireability-13 5613826 m, 92713 m/sec, 22479749 t fired, .
Time elapsed: 557 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 65/1551 29/32 Raft-PT-10-CTLFireability-13 6075453 m, 92325 m/sec, 24326189 t fired, .
Time elapsed: 562 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 CTL EXCL 70/1551 31/32 Raft-PT-10-CTLFireability-13 6534940 m, 91897 m/sec, 26176671 t fired, .
Time elapsed: 567 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: CANCELED task # 41 (type EXCL) for Raft-PT-10-CTLFireability-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Raft-PT-10-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
Raft-PT-10-CTLFireability-02: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-04: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-05: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-09: CTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-10: SP ECTL 0 0 0 0 1 0 1 0
Raft-PT-10-CTLFireability-12: DISJ 0 0 0 0 2 0 2 0
Raft-PT-10-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 572 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 14
lola: LAUNCH task # 4 (type EXCL) for 3 Raft-PT-10-CTLFireability-01
lola: time limit : 3028 sec
lola: memory limit: 32 pages
lola: FINISHED task # 4 (type EXCL) for Raft-PT-10-CTLFireability-01
lola: result : false
lola: markings : 11
lola: fired transitions : 34
lola: time used : 0.000000
lola: memory pages used : 1
lola: Portfolio finished: no open tasks 14
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Raft-PT-10-CTLFireability-00: CTL false CTL model checker
Raft-PT-10-CTLFireability-01: CTL false CTL model checker
Raft-PT-10-CTLFireability-02: CTL unknown AGGR
Raft-PT-10-CTLFireability-03: CTL unknown AGGR
Raft-PT-10-CTLFireability-04: CTL unknown AGGR
Raft-PT-10-CTLFireability-05: CTL unknown AGGR
Raft-PT-10-CTLFireability-06: CTL false CTL model checker
Raft-PT-10-CTLFireability-07: CTL unknown AGGR
Raft-PT-10-CTLFireability-08: CTL true CTL model checker
Raft-PT-10-CTLFireability-09: CTL unknown AGGR
Raft-PT-10-CTLFireability-10: SP ECTL unknown AGGR
Raft-PT-10-CTLFireability-12: DISJ unknown DISJ
Raft-PT-10-CTLFireability-13: CTL unknown AGGR
Raft-PT-10-CTLFireability-15: CTL false CTL model checker
Time elapsed: 572 secs. Pages in use: 32
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-10"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lolaxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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-5348"
echo " Executing tool lolaxred"
echo " Input is Raft-PT-10, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r327-tall-167889199500354"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-10.tgz
mv Raft-PT-10 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;