About the Execution of LoLa+red for DES-PT-02b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3310.976 | 542536.00 | 547009.00 | 1588.60 | FTF?TF???T?FF??F | 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.r103-tall-167814478200386.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 DES-PT-02b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r103-tall-167814478200386
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 15:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 69K Mar 5 18:22 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 DES-PT-02b-CTLFireability-00
FORMULA_NAME DES-PT-02b-CTLFireability-01
FORMULA_NAME DES-PT-02b-CTLFireability-02
FORMULA_NAME DES-PT-02b-CTLFireability-03
FORMULA_NAME DES-PT-02b-CTLFireability-04
FORMULA_NAME DES-PT-02b-CTLFireability-05
FORMULA_NAME DES-PT-02b-CTLFireability-06
FORMULA_NAME DES-PT-02b-CTLFireability-07
FORMULA_NAME DES-PT-02b-CTLFireability-08
FORMULA_NAME DES-PT-02b-CTLFireability-09
FORMULA_NAME DES-PT-02b-CTLFireability-10
FORMULA_NAME DES-PT-02b-CTLFireability-11
FORMULA_NAME DES-PT-02b-CTLFireability-12
FORMULA_NAME DES-PT-02b-CTLFireability-13
FORMULA_NAME DES-PT-02b-CTLFireability-14
FORMULA_NAME DES-PT-02b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1678249687856
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=DES-PT-02b
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-08 04:28:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2023-03-08 04:28:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 04:28:09] [INFO ] Load time of PNML (sax parser for PT used): 51 ms
[2023-03-08 04:28:09] [INFO ] Transformed 288 places.
[2023-03-08 04:28:09] [INFO ] Transformed 239 transitions.
[2023-03-08 04:28:09] [INFO ] Found NUPN structural information;
[2023-03-08 04:28:09] [INFO ] Parsed PT model containing 288 places and 239 transitions and 699 arcs in 112 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 8 ms.
Support contains 103 out of 288 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 288/288 places, 239/239 transitions.
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 285 transition count 239
Discarding 12 places :
Symmetric choice reduction at 1 with 12 rule applications. Total rules 15 place count 273 transition count 227
Iterating global reduction 1 with 12 rules applied. Total rules applied 27 place count 273 transition count 227
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 28 place count 272 transition count 226
Iterating global reduction 1 with 1 rules applied. Total rules applied 29 place count 272 transition count 226
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 30 place count 272 transition count 225
Applied a total of 30 rules in 55 ms. Remains 272 /288 variables (removed 16) and now considering 225/239 (removed 14) transitions.
// Phase 1: matrix 225 rows 272 cols
[2023-03-08 04:28:09] [INFO ] Computed 62 place invariants in 19 ms
[2023-03-08 04:28:09] [INFO ] Implicit Places using invariants in 478 ms returned []
[2023-03-08 04:28:09] [INFO ] Invariant cache hit.
[2023-03-08 04:28:10] [INFO ] Implicit Places using invariants and state equation in 211 ms returned [8]
Discarding 1 places :
Implicit Place search using SMT with State Equation took 719 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 271/288 places, 225/239 transitions.
Applied a total of 0 rules in 6 ms. Remains 271 /271 variables (removed 0) and now considering 225/225 (removed 0) transitions.
Finished structural reductions in LTL mode , in 2 iterations and 780 ms. Remains : 271/288 places, 225/239 transitions.
Support contains 103 out of 271 places after structural reductions.
[2023-03-08 04:28:10] [INFO ] Flatten gal took : 37 ms
[2023-03-08 04:28:10] [INFO ] Flatten gal took : 15 ms
[2023-03-08 04:28:10] [INFO ] Input system was already deterministic with 225 transitions.
Incomplete random walk after 10000 steps, including 82 resets, run finished after 389 ms. (steps per millisecond=25 ) properties (out of 72) seen :67
Incomplete Best-First random walk after 10000 steps, including 13 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 12 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 5) seen :1
Incomplete Best-First random walk after 10001 steps, including 11 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10000 steps, including 12 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 12 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 4) seen :0
Running SMT prover for 4 properties.
// Phase 1: matrix 225 rows 271 cols
[2023-03-08 04:28:11] [INFO ] Computed 61 place invariants in 5 ms
[2023-03-08 04:28:11] [INFO ] [Real]Absence check using 33 positive place invariants in 8 ms returned sat
[2023-03-08 04:28:11] [INFO ] [Real]Absence check using 33 positive and 28 generalized place invariants in 12 ms returned sat
[2023-03-08 04:28:11] [INFO ] After 146ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2023-03-08 04:28:11] [INFO ] [Nat]Absence check using 33 positive place invariants in 13 ms returned sat
[2023-03-08 04:28:11] [INFO ] [Nat]Absence check using 33 positive and 28 generalized place invariants in 10 ms returned sat
[2023-03-08 04:28:11] [INFO ] After 131ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2023-03-08 04:28:11] [INFO ] Deduced a trap composed of 10 places in 106 ms of which 4 ms to minimize.
[2023-03-08 04:28:11] [INFO ] Deduced a trap composed of 11 places in 49 ms of which 1 ms to minimize.
[2023-03-08 04:28:11] [INFO ] Deduced a trap composed of 12 places in 46 ms of which 1 ms to minimize.
[2023-03-08 04:28:11] [INFO ] Deduced a trap composed of 12 places in 38 ms of which 2 ms to minimize.
[2023-03-08 04:28:11] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 292 ms
[2023-03-08 04:28:11] [INFO ] Deduced a trap composed of 31 places in 74 ms of which 1 ms to minimize.
[2023-03-08 04:28:11] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 94 ms
[2023-03-08 04:28:11] [INFO ] After 578ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 38 ms.
[2023-03-08 04:28:11] [INFO ] After 726ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
Parikh walk visited 2 properties in 21 ms.
Support contains 4 out of 271 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 271/271 places, 225/225 transitions.
Graph (complete) has 494 edges and 271 vertex of which 264 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.1 ms
Discarding 7 places :
Also discarding 5 output transitions
Drop transitions removed 5 transitions
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 19 transitions
Trivial Post-agglo rules discarded 19 transitions
Performed 19 trivial Post agglomeration. Transition count delta: 19
Iterating post reduction 0 with 21 rules applied. Total rules applied 22 place count 264 transition count 199
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 41 place count 245 transition count 199
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 41 place count 245 transition count 191
Deduced a syphon composed of 8 places in 0 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 57 place count 237 transition count 191
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 73 place count 221 transition count 175
Iterating global reduction 2 with 16 rules applied. Total rules applied 89 place count 221 transition count 175
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 95 place count 221 transition count 169
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 95 place count 221 transition count 168
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 97 place count 220 transition count 168
Discarding 6 places :
Symmetric choice reduction at 3 with 6 rule applications. Total rules 103 place count 214 transition count 162
Iterating global reduction 3 with 6 rules applied. Total rules applied 109 place count 214 transition count 162
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 3 with 6 rules applied. Total rules applied 115 place count 214 transition count 156
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 117 place count 213 transition count 155
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 2 Pre rules applied. Total rules applied 117 place count 213 transition count 153
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 5 with 4 rules applied. Total rules applied 121 place count 211 transition count 153
Performed 76 Post agglomeration using F-continuation condition.Transition count delta: 76
Deduced a syphon composed of 76 places in 0 ms
Reduce places removed 76 places and 0 transitions.
Iterating global reduction 5 with 152 rules applied. Total rules applied 273 place count 135 transition count 77
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 5 with 4 rules applied. Total rules applied 277 place count 133 transition count 79
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 5 with 3 rules applied. Total rules applied 280 place count 133 transition count 76
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 283 place count 130 transition count 76
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 284 place count 130 transition count 75
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 285 place count 130 transition count 75
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 1 rules applied. Total rules applied 286 place count 129 transition count 74
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 287 place count 128 transition count 74
Applied a total of 287 rules in 75 ms. Remains 128 /271 variables (removed 143) and now considering 74/225 (removed 151) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 75 ms. Remains : 128/271 places, 74/225 transitions.
Incomplete random walk after 10000 steps, including 503 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 2) seen :1
Incomplete Best-First random walk after 10001 steps, including 85 resets, run finished after 11 ms. (steps per millisecond=909 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 74 rows 128 cols
[2023-03-08 04:28:12] [INFO ] Computed 60 place invariants in 8 ms
[2023-03-08 04:28:12] [INFO ] [Real]Absence check using 36 positive place invariants in 4 ms returned sat
[2023-03-08 04:28:12] [INFO ] [Real]Absence check using 36 positive and 24 generalized place invariants in 5 ms returned sat
[2023-03-08 04:28:12] [INFO ] After 29ms SMT Verify possible using state equation in real domain returned unsat :0 sat :1
[2023-03-08 04:28:12] [INFO ] Deduced a trap composed of 14 places in 28 ms of which 0 ms to minimize.
[2023-03-08 04:28:12] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 37 ms
[2023-03-08 04:28:12] [INFO ] After 73ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 04:28:12] [INFO ] After 114ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 04:28:12] [INFO ] [Nat]Absence check using 36 positive place invariants in 4 ms returned sat
[2023-03-08 04:28:12] [INFO ] [Nat]Absence check using 36 positive and 24 generalized place invariants in 4 ms returned sat
[2023-03-08 04:28:12] [INFO ] After 149ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-08 04:28:12] [INFO ] Deduced a trap composed of 14 places in 29 ms of which 0 ms to minimize.
[2023-03-08 04:28:12] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 46 ms
[2023-03-08 04:28:12] [INFO ] After 202ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 4 ms.
[2023-03-08 04:28:12] [INFO ] After 256ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 1 ms.
Support contains 2 out of 128 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 128/128 places, 74/74 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 126 transition count 72
Applied a total of 4 rules in 8 ms. Remains 126 /128 variables (removed 2) and now considering 72/74 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 8 ms. Remains : 126/128 places, 72/74 transitions.
Incomplete random walk after 10000 steps, including 518 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 108 resets, run finished after 11 ms. (steps per millisecond=909 ) properties (out of 1) seen :0
Finished probabilistic random walk after 15169 steps, run visited all 1 properties in 44 ms. (steps per millisecond=344 )
Probabilistic random walk after 15169 steps, saw 4807 distinct states, run finished after 44 ms. (steps per millisecond=344 ) properties seen :1
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 12 ms
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 13 ms
[2023-03-08 04:28:12] [INFO ] Input system was already deterministic with 225 transitions.
Computed a total of 72 stabilizing places and 65 stable transitions
Graph (complete) has 494 edges and 271 vertex of which 264 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.5 ms
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 20 place count 251 transition count 205
Iterating global reduction 0 with 20 rules applied. Total rules applied 40 place count 251 transition count 205
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 46 place count 251 transition count 199
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 55 place count 242 transition count 190
Iterating global reduction 1 with 9 rules applied. Total rules applied 64 place count 242 transition count 190
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 70 place count 242 transition count 184
Applied a total of 70 rules in 33 ms. Remains 242 /271 variables (removed 29) and now considering 184/225 (removed 41) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 33 ms. Remains : 242/271 places, 184/225 transitions.
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 9 ms
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 10 ms
[2023-03-08 04:28:12] [INFO ] Input system was already deterministic with 184 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 20 place count 251 transition count 205
Iterating global reduction 0 with 20 rules applied. Total rules applied 40 place count 251 transition count 205
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 46 place count 251 transition count 199
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 55 place count 242 transition count 190
Iterating global reduction 1 with 9 rules applied. Total rules applied 64 place count 242 transition count 190
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 70 place count 242 transition count 184
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 71 place count 241 transition count 183
Iterating global reduction 2 with 1 rules applied. Total rules applied 72 place count 241 transition count 183
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 73 place count 241 transition count 182
Applied a total of 73 rules in 22 ms. Remains 241 /271 variables (removed 30) and now considering 182/225 (removed 43) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 22 ms. Remains : 241/271 places, 182/225 transitions.
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 9 ms
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 9 ms
[2023-03-08 04:28:12] [INFO ] Input system was already deterministic with 182 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 15 places :
Symmetric choice reduction at 0 with 15 rule applications. Total rules 15 place count 256 transition count 210
Iterating global reduction 0 with 15 rules applied. Total rules applied 30 place count 256 transition count 210
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 33 place count 256 transition count 207
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 41 place count 248 transition count 199
Iterating global reduction 1 with 8 rules applied. Total rules applied 49 place count 248 transition count 199
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 54 place count 248 transition count 194
Applied a total of 54 rules in 18 ms. Remains 248 /271 variables (removed 23) and now considering 194/225 (removed 31) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 18 ms. Remains : 248/271 places, 194/225 transitions.
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 8 ms
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 8 ms
[2023-03-08 04:28:12] [INFO ] Input system was already deterministic with 194 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Graph (complete) has 494 edges and 271 vertex of which 264 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.1 ms
Discarding 7 places :
Also discarding 5 output transitions
Drop transitions removed 5 transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 11 rules applied. Total rules applied 12 place count 263 transition count 208
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 1 with 11 rules applied. Total rules applied 23 place count 252 transition count 208
Performed 13 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 13 Pre rules applied. Total rules applied 23 place count 252 transition count 195
Deduced a syphon composed of 13 places in 0 ms
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 2 with 26 rules applied. Total rules applied 49 place count 239 transition count 195
Discarding 13 places :
Symmetric choice reduction at 2 with 13 rule applications. Total rules 62 place count 226 transition count 182
Iterating global reduction 2 with 13 rules applied. Total rules applied 75 place count 226 transition count 182
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 80 place count 226 transition count 177
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 80 place count 226 transition count 176
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 82 place count 225 transition count 176
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 87 place count 220 transition count 171
Iterating global reduction 3 with 5 rules applied. Total rules applied 92 place count 220 transition count 171
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 3 with 5 rules applied. Total rules applied 97 place count 220 transition count 166
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 99 place count 219 transition count 165
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 99 place count 219 transition count 164
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 101 place count 218 transition count 164
Performed 65 Post agglomeration using F-continuation condition.Transition count delta: 65
Deduced a syphon composed of 65 places in 1 ms
Reduce places removed 65 places and 0 transitions.
Iterating global reduction 5 with 130 rules applied. Total rules applied 231 place count 153 transition count 99
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 5 with 2 rules applied. Total rules applied 233 place count 153 transition count 99
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 235 place count 151 transition count 97
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 236 place count 150 transition count 97
Applied a total of 236 rules in 53 ms. Remains 150 /271 variables (removed 121) and now considering 97/225 (removed 128) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 53 ms. Remains : 150/271 places, 97/225 transitions.
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 5 ms
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 6 ms
[2023-03-08 04:28:12] [INFO ] Input system was already deterministic with 97 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 253 transition count 207
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 253 transition count 207
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 41 place count 253 transition count 202
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 50 place count 244 transition count 193
Iterating global reduction 1 with 9 rules applied. Total rules applied 59 place count 244 transition count 193
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 65 place count 244 transition count 187
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 66 place count 243 transition count 186
Iterating global reduction 2 with 1 rules applied. Total rules applied 67 place count 243 transition count 186
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 68 place count 243 transition count 185
Applied a total of 68 rules in 29 ms. Remains 243 /271 variables (removed 28) and now considering 185/225 (removed 40) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 30 ms. Remains : 243/271 places, 185/225 transitions.
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 8 ms
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:12] [INFO ] Input system was already deterministic with 185 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 20 place count 251 transition count 205
Iterating global reduction 0 with 20 rules applied. Total rules applied 40 place count 251 transition count 205
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 46 place count 251 transition count 199
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 55 place count 242 transition count 190
Iterating global reduction 1 with 9 rules applied. Total rules applied 64 place count 242 transition count 190
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 70 place count 242 transition count 184
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 71 place count 241 transition count 183
Iterating global reduction 2 with 1 rules applied. Total rules applied 72 place count 241 transition count 183
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 73 place count 241 transition count 182
Applied a total of 73 rules in 22 ms. Remains 241 /271 variables (removed 30) and now considering 182/225 (removed 43) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 22 ms. Remains : 241/271 places, 182/225 transitions.
[2023-03-08 04:28:12] [INFO ] Flatten gal took : 8 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 8 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 182 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 253 transition count 207
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 253 transition count 207
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 40 place count 253 transition count 203
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 48 place count 245 transition count 195
Iterating global reduction 1 with 8 rules applied. Total rules applied 56 place count 245 transition count 195
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 61 place count 245 transition count 190
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 62 place count 244 transition count 189
Iterating global reduction 2 with 1 rules applied. Total rules applied 63 place count 244 transition count 189
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 64 place count 244 transition count 188
Applied a total of 64 rules in 20 ms. Remains 244 /271 variables (removed 27) and now considering 188/225 (removed 37) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 20 ms. Remains : 244/271 places, 188/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 8 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 8 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 188 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 253 transition count 207
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 253 transition count 207
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 42 place count 253 transition count 201
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 49 place count 246 transition count 194
Iterating global reduction 1 with 7 rules applied. Total rules applied 56 place count 246 transition count 194
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 61 place count 246 transition count 189
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 62 place count 245 transition count 188
Iterating global reduction 2 with 1 rules applied. Total rules applied 63 place count 245 transition count 188
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 64 place count 245 transition count 187
Applied a total of 64 rules in 21 ms. Remains 245 /271 variables (removed 26) and now considering 187/225 (removed 38) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 22 ms. Remains : 245/271 places, 187/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 187 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 254 transition count 208
Iterating global reduction 0 with 17 rules applied. Total rules applied 34 place count 254 transition count 208
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 40 place count 254 transition count 202
Discarding 5 places :
Symmetric choice reduction at 1 with 5 rule applications. Total rules 45 place count 249 transition count 197
Iterating global reduction 1 with 5 rules applied. Total rules applied 50 place count 249 transition count 197
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 54 place count 249 transition count 193
Applied a total of 54 rules in 16 ms. Remains 249 /271 variables (removed 22) and now considering 193/225 (removed 32) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 16 ms. Remains : 249/271 places, 193/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 193 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Graph (complete) has 494 edges and 271 vertex of which 264 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.2 ms
Discarding 7 places :
Also discarding 5 output transitions
Drop transitions removed 5 transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 17 transitions
Trivial Post-agglo rules discarded 17 transitions
Performed 17 trivial Post agglomeration. Transition count delta: 17
Iterating post reduction 0 with 17 rules applied. Total rules applied 18 place count 263 transition count 202
Reduce places removed 17 places and 0 transitions.
Iterating post reduction 1 with 17 rules applied. Total rules applied 35 place count 246 transition count 202
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 9 Pre rules applied. Total rules applied 35 place count 246 transition count 193
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 53 place count 237 transition count 193
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 70 place count 220 transition count 176
Iterating global reduction 2 with 17 rules applied. Total rules applied 87 place count 220 transition count 176
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 93 place count 220 transition count 170
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 93 place count 220 transition count 169
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 95 place count 219 transition count 169
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 102 place count 212 transition count 162
Iterating global reduction 3 with 7 rules applied. Total rules applied 109 place count 212 transition count 162
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 115 place count 212 transition count 156
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 3 Pre rules applied. Total rules applied 115 place count 212 transition count 153
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 4 with 6 rules applied. Total rules applied 121 place count 209 transition count 153
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Deduced a syphon composed of 71 places in 0 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 4 with 142 rules applied. Total rules applied 263 place count 138 transition count 82
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 4 with 2 rules applied. Total rules applied 265 place count 138 transition count 82
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 267 place count 136 transition count 80
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 268 place count 135 transition count 80
Applied a total of 268 rules in 45 ms. Remains 135 /271 variables (removed 136) and now considering 80/225 (removed 145) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 45 ms. Remains : 135/271 places, 80/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 4 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 10 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 80 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 254 transition count 208
Iterating global reduction 0 with 17 rules applied. Total rules applied 34 place count 254 transition count 208
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 38 place count 254 transition count 204
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 46 place count 246 transition count 196
Iterating global reduction 1 with 8 rules applied. Total rules applied 54 place count 246 transition count 196
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 60 place count 246 transition count 190
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 61 place count 245 transition count 189
Iterating global reduction 2 with 1 rules applied. Total rules applied 62 place count 245 transition count 189
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 63 place count 245 transition count 188
Applied a total of 63 rules in 15 ms. Remains 245 /271 variables (removed 26) and now considering 188/225 (removed 37) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 15 ms. Remains : 245/271 places, 188/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 6 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 188 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 20 place count 251 transition count 205
Iterating global reduction 0 with 20 rules applied. Total rules applied 40 place count 251 transition count 205
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 46 place count 251 transition count 199
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 55 place count 242 transition count 190
Iterating global reduction 1 with 9 rules applied. Total rules applied 64 place count 242 transition count 190
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 70 place count 242 transition count 184
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 71 place count 241 transition count 183
Iterating global reduction 2 with 1 rules applied. Total rules applied 72 place count 241 transition count 183
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 73 place count 241 transition count 182
Applied a total of 73 rules in 18 ms. Remains 241 /271 variables (removed 30) and now considering 182/225 (removed 43) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 18 ms. Remains : 241/271 places, 182/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 182 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Graph (complete) has 494 edges and 271 vertex of which 264 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.1 ms
Discarding 7 places :
Also discarding 5 output transitions
Drop transitions removed 5 transitions
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 0 with 16 rules applied. Total rules applied 17 place count 263 transition count 203
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 33 place count 247 transition count 203
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 33 place count 247 transition count 195
Deduced a syphon composed of 8 places in 1 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 49 place count 239 transition count 195
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 66 place count 222 transition count 178
Iterating global reduction 2 with 17 rules applied. Total rules applied 83 place count 222 transition count 178
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 89 place count 222 transition count 172
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 89 place count 222 transition count 171
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 91 place count 221 transition count 171
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 98 place count 214 transition count 164
Iterating global reduction 3 with 7 rules applied. Total rules applied 105 place count 214 transition count 164
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 3 with 7 rules applied. Total rules applied 112 place count 214 transition count 157
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 114 place count 213 transition count 156
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 3 Pre rules applied. Total rules applied 114 place count 213 transition count 153
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 120 place count 210 transition count 153
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Deduced a syphon composed of 71 places in 0 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 5 with 142 rules applied. Total rules applied 262 place count 139 transition count 82
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 264 place count 137 transition count 80
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 265 place count 136 transition count 80
Applied a total of 265 rules in 45 ms. Remains 136 /271 variables (removed 135) and now considering 80/225 (removed 145) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 47 ms. Remains : 136/271 places, 80/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 3 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 4 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 80 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 16 places :
Symmetric choice reduction at 0 with 16 rule applications. Total rules 16 place count 255 transition count 209
Iterating global reduction 0 with 16 rules applied. Total rules applied 32 place count 255 transition count 209
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 36 place count 255 transition count 205
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 44 place count 247 transition count 197
Iterating global reduction 1 with 8 rules applied. Total rules applied 52 place count 247 transition count 197
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 58 place count 247 transition count 191
Applied a total of 58 rules in 10 ms. Remains 247 /271 variables (removed 24) and now considering 191/225 (removed 34) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 10 ms. Remains : 247/271 places, 191/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 191 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 20 places :
Symmetric choice reduction at 0 with 20 rule applications. Total rules 20 place count 251 transition count 205
Iterating global reduction 0 with 20 rules applied. Total rules applied 40 place count 251 transition count 205
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 46 place count 251 transition count 199
Discarding 8 places :
Symmetric choice reduction at 1 with 8 rule applications. Total rules 54 place count 243 transition count 191
Iterating global reduction 1 with 8 rules applied. Total rules applied 62 place count 243 transition count 191
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 68 place count 243 transition count 185
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 69 place count 242 transition count 184
Iterating global reduction 2 with 1 rules applied. Total rules applied 70 place count 242 transition count 184
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 71 place count 242 transition count 183
Applied a total of 71 rules in 15 ms. Remains 242 /271 variables (removed 29) and now considering 183/225 (removed 42) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 16 ms. Remains : 242/271 places, 183/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 183 transitions.
Starting structural reductions in LTL mode, iteration 0 : 271/271 places, 225/225 transitions.
Discarding 17 places :
Symmetric choice reduction at 0 with 17 rule applications. Total rules 17 place count 254 transition count 208
Iterating global reduction 0 with 17 rules applied. Total rules applied 34 place count 254 transition count 208
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 39 place count 254 transition count 203
Discarding 7 places :
Symmetric choice reduction at 1 with 7 rule applications. Total rules 46 place count 247 transition count 196
Iterating global reduction 1 with 7 rules applied. Total rules applied 53 place count 247 transition count 196
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 4 rules applied. Total rules applied 57 place count 247 transition count 192
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 58 place count 246 transition count 191
Iterating global reduction 2 with 1 rules applied. Total rules applied 59 place count 246 transition count 191
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 60 place count 246 transition count 190
Applied a total of 60 rules in 19 ms. Remains 246 /271 variables (removed 25) and now considering 190/225 (removed 35) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 19 ms. Remains : 246/271 places, 190/225 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 14 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 7 ms
[2023-03-08 04:28:13] [INFO ] Input system was already deterministic with 190 transitions.
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 8 ms
[2023-03-08 04:28:13] [INFO ] Flatten gal took : 8 ms
[2023-03-08 04:28:13] [INFO ] Export to MCC of 16 properties in file /home/mcc/execution/CTLFireability.sr.xml took 3 ms.
[2023-03-08 04:28:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 271 places, 225 transitions and 664 arcs took 2 ms.
Total runtime 4314 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT DES-PT-02b
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/373
CTLFireability
FORMULA DES-PT-02b-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-02b-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-02b-CTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-02b-CTLFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-02b-CTLFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-02b-CTLFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-02b-CTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-02b-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-02b-CTLFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678250230392
--------------------
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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ 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/373/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/373/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/373/CTLFireability.xml
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:331
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:317
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: 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: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:250
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: RELEASE
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:314
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:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
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: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:296
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: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: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:472
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:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
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:299
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:547
lola: rewrite Frontend/Parser/formula_rewrite.k:400
lola: RELEASE
lola: RELEASE
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: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: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
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:296
lola: RELEASE
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: 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:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: LAUNCH task # 19 (type EXCL) for 18 DES-PT-02b-CTLFireability-06
lola: time limit : 200 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:808
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:810
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
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:813
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:807
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:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:809
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:808
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:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:815
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:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:813
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 CTL EXCL 5/225 6/32 DES-PT-02b-CTLFireability-06 1058377 m, 211675 m/sec, 2949964 t fired, .
Time elapsed: 5 secs. Pages in use: 6
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 CTL EXCL 10/225 10/32 DES-PT-02b-CTLFireability-06 1744668 m, 137258 m/sec, 6038962 t fired, .
Time elapsed: 10 secs. Pages in use: 10
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 CTL EXCL 15/225 14/32 DES-PT-02b-CTLFireability-06 2396997 m, 130465 m/sec, 9093944 t fired, .
Time elapsed: 15 secs. Pages in use: 14
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 CTL EXCL 20/225 17/32 DES-PT-02b-CTLFireability-06 3031655 m, 126931 m/sec, 12124903 t fired, .
Time elapsed: 20 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 CTL EXCL 25/225 22/32 DES-PT-02b-CTLFireability-06 3711664 m, 136001 m/sec, 15066526 t fired, .
Time elapsed: 25 secs. Pages in use: 22
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 CTL EXCL 30/225 26/32 DES-PT-02b-CTLFireability-06 4389378 m, 135542 m/sec, 18002150 t fired, .
Time elapsed: 30 secs. Pages in use: 26
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 CTL EXCL 35/225 30/32 DES-PT-02b-CTLFireability-06 5117696 m, 145663 m/sec, 20912743 t fired, .
Time elapsed: 35 secs. Pages in use: 30
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 19 (type EXCL) for DES-PT-02b-CTLFireability-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 40 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 46 (type EXCL) for 45 DES-PT-02b-CTLFireability-15
lola: time limit : 237 sec
lola: memory limit: 32 pages
lola: FINISHED task # 46 (type EXCL) for DES-PT-02b-CTLFireability-15
lola: result : false
lola: markings : 1726
lola: fired transitions : 2739
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 43 (type EXCL) for 42 DES-PT-02b-CTLFireability-14
lola: time limit : 254 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 5/254 3/32 DES-PT-02b-CTLFireability-14 615369 m, 123073 m/sec, 3030920 t fired, .
Time elapsed: 45 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 10/254 5/32 DES-PT-02b-CTLFireability-14 1033886 m, 83703 m/sec, 6150079 t fired, .
Time elapsed: 50 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 15/254 7/32 DES-PT-02b-CTLFireability-14 1451960 m, 83614 m/sec, 9280751 t fired, .
Time elapsed: 55 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 20/254 9/32 DES-PT-02b-CTLFireability-14 1818735 m, 73355 m/sec, 12330949 t fired, .
Time elapsed: 60 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 25/254 11/32 DES-PT-02b-CTLFireability-14 2237305 m, 83714 m/sec, 15456321 t fired, .
Time elapsed: 65 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 30/254 13/32 DES-PT-02b-CTLFireability-14 2621165 m, 76772 m/sec, 18556155 t fired, .
Time elapsed: 70 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 35/254 15/32 DES-PT-02b-CTLFireability-14 2998195 m, 75406 m/sec, 21629992 t fired, .
Time elapsed: 75 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 40/254 17/32 DES-PT-02b-CTLFireability-14 3366780 m, 73717 m/sec, 24699520 t fired, .
Time elapsed: 80 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 45/254 19/32 DES-PT-02b-CTLFireability-14 3736256 m, 73895 m/sec, 27763156 t fired, .
Time elapsed: 85 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 50/254 20/32 DES-PT-02b-CTLFireability-14 4064513 m, 65651 m/sec, 30778233 t fired, .
Time elapsed: 90 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 55/254 22/32 DES-PT-02b-CTLFireability-14 4397609 m, 66619 m/sec, 33804912 t fired, .
Time elapsed: 95 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 60/254 24/32 DES-PT-02b-CTLFireability-14 4760083 m, 72494 m/sec, 36902990 t fired, .
Time elapsed: 100 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 65/254 25/32 DES-PT-02b-CTLFireability-14 5098305 m, 67644 m/sec, 39966995 t fired, .
Time elapsed: 105 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 70/254 27/32 DES-PT-02b-CTLFireability-14 5433251 m, 66989 m/sec, 43031314 t fired, .
Time elapsed: 110 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 75/254 29/32 DES-PT-02b-CTLFireability-14 5795242 m, 72398 m/sec, 46083458 t fired, .
Time elapsed: 115 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 80/254 31/32 DES-PT-02b-CTLFireability-14 6171759 m, 75303 m/sec, 49156740 t fired, .
Time elapsed: 120 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
43 CTL EXCL 85/254 32/32 DES-PT-02b-CTLFireability-14 6523772 m, 70402 m/sec, 52191351 t fired, .
Time elapsed: 125 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 43 (type EXCL) for DES-PT-02b-CTLFireability-14 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 130 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 40 (type EXCL) for 39 DES-PT-02b-CTLFireability-13
lola: time limit : 266 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 6/266 2/32 DES-PT-02b-CTLFireability-13 388227 m, 77645 m/sec, 2870029 t fired, .
Time elapsed: 136 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 11/266 4/32 DES-PT-02b-CTLFireability-13 761991 m, 74752 m/sec, 5740984 t fired, .
Time elapsed: 141 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 16/266 6/32 DES-PT-02b-CTLFireability-13 1091382 m, 65878 m/sec, 8568360 t fired, .
Time elapsed: 146 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 21/266 7/32 DES-PT-02b-CTLFireability-13 1423819 m, 66487 m/sec, 11415388 t fired, .
Time elapsed: 151 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 26/266 9/32 DES-PT-02b-CTLFireability-13 1754907 m, 66217 m/sec, 14226393 t fired, .
Time elapsed: 156 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 31/266 11/32 DES-PT-02b-CTLFireability-13 2080517 m, 65122 m/sec, 17055037 t fired, .
Time elapsed: 161 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 36/266 12/32 DES-PT-02b-CTLFireability-13 2440461 m, 71988 m/sec, 19882877 t fired, .
Time elapsed: 166 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 41/266 14/32 DES-PT-02b-CTLFireability-13 2761872 m, 64282 m/sec, 22700494 t fired, .
Time elapsed: 171 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 46/266 16/32 DES-PT-02b-CTLFireability-13 3077008 m, 63027 m/sec, 25491471 t fired, .
Time elapsed: 176 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 51/266 17/32 DES-PT-02b-CTLFireability-13 3409970 m, 66592 m/sec, 28252475 t fired, .
Time elapsed: 181 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 56/266 19/32 DES-PT-02b-CTLFireability-13 3693472 m, 56700 m/sec, 30963384 t fired, .
Time elapsed: 186 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 61/266 20/32 DES-PT-02b-CTLFireability-13 4014448 m, 64195 m/sec, 33687726 t fired, .
Time elapsed: 191 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 66/266 22/32 DES-PT-02b-CTLFireability-13 4348937 m, 66897 m/sec, 36402952 t fired, .
Time elapsed: 196 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 71/266 23/32 DES-PT-02b-CTLFireability-13 4689368 m, 68086 m/sec, 39106837 t fired, .
Time elapsed: 201 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 76/266 25/32 DES-PT-02b-CTLFireability-13 5028467 m, 67819 m/sec, 41857946 t fired, .
Time elapsed: 206 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 81/266 26/32 DES-PT-02b-CTLFireability-13 5330888 m, 60484 m/sec, 44667866 t fired, .
Time elapsed: 211 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 86/266 28/32 DES-PT-02b-CTLFireability-13 5706119 m, 75046 m/sec, 47587686 t fired, .
Time elapsed: 216 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 91/266 30/32 DES-PT-02b-CTLFireability-13 6031985 m, 65173 m/sec, 50372199 t fired, .
Time elapsed: 221 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 CTL EXCL 96/266 31/32 DES-PT-02b-CTLFireability-13 6351770 m, 63957 m/sec, 53147479 t fired, .
Time elapsed: 226 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 40 (type EXCL) for DES-PT-02b-CTLFireability-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 231 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 34 (type EXCL) for 33 DES-PT-02b-CTLFireability-11
lola: time limit : 280 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-11: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
34 CTL EXCL 5/280 3/32 DES-PT-02b-CTLFireability-11 533344 m, 106668 m/sec, 2831606 t fired, .
Time elapsed: 236 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 34 (type EXCL) for DES-PT-02b-CTLFireability-11
lola: result : false
lola: markings : 749813
lola: fired transitions : 4141320
lola: time used : 7.000000
lola: memory pages used : 4
lola: LAUNCH task # 31 (type EXCL) for 30 DES-PT-02b-CTLFireability-10
lola: time limit : 305 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 3/305 2/32 DES-PT-02b-CTLFireability-10 276518 m, 55303 m/sec, 1737819 t fired, .
Time elapsed: 241 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 8/305 4/32 DES-PT-02b-CTLFireability-10 745053 m, 93707 m/sec, 4849169 t fired, .
Time elapsed: 246 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 13/305 6/32 DES-PT-02b-CTLFireability-10 1153604 m, 81710 m/sec, 7918186 t fired, .
Time elapsed: 251 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 18/305 8/32 DES-PT-02b-CTLFireability-10 1563589 m, 81997 m/sec, 10984745 t fired, .
Time elapsed: 256 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 23/305 10/32 DES-PT-02b-CTLFireability-10 1967487 m, 80779 m/sec, 14021302 t fired, .
Time elapsed: 261 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 28/305 12/32 DES-PT-02b-CTLFireability-10 2398794 m, 86261 m/sec, 17074138 t fired, .
Time elapsed: 266 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 33/305 14/32 DES-PT-02b-CTLFireability-10 2794713 m, 79183 m/sec, 20105575 t fired, .
Time elapsed: 271 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 38/305 16/32 DES-PT-02b-CTLFireability-10 3179391 m, 76935 m/sec, 23113313 t fired, .
Time elapsed: 276 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 43/305 18/32 DES-PT-02b-CTLFireability-10 3585996 m, 81321 m/sec, 26034934 t fired, .
Time elapsed: 281 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 48/305 20/32 DES-PT-02b-CTLFireability-10 3933507 m, 69502 m/sec, 28929943 t fired, .
Time elapsed: 286 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 53/305 22/32 DES-PT-02b-CTLFireability-10 4354117 m, 84122 m/sec, 31852728 t fired, .
Time elapsed: 291 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 58/305 24/32 DES-PT-02b-CTLFireability-10 4765276 m, 82231 m/sec, 34743897 t fired, .
Time elapsed: 296 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 63/305 25/32 DES-PT-02b-CTLFireability-10 5155988 m, 78142 m/sec, 37562573 t fired, .
Time elapsed: 301 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 68/305 27/32 DES-PT-02b-CTLFireability-10 5538797 m, 76561 m/sec, 40466374 t fired, .
Time elapsed: 306 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 73/305 29/32 DES-PT-02b-CTLFireability-10 5955142 m, 83269 m/sec, 43460442 t fired, .
Time elapsed: 311 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 CTL EXCL 78/305 31/32 DES-PT-02b-CTLFireability-10 6343812 m, 77734 m/sec, 46438845 t fired, .
Time elapsed: 316 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 31 (type EXCL) for DES-PT-02b-CTLFireability-10 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 321 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 25 (type EXCL) for 24 DES-PT-02b-CTLFireability-08
lola: time limit : 327 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 5/327 4/32 DES-PT-02b-CTLFireability-08 838771 m, 167754 m/sec, 3076839 t fired, .
Time elapsed: 326 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 10/327 7/32 DES-PT-02b-CTLFireability-08 1432193 m, 118684 m/sec, 6327934 t fired, .
Time elapsed: 331 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 15/327 10/32 DES-PT-02b-CTLFireability-08 1968840 m, 107329 m/sec, 9531851 t fired, .
Time elapsed: 336 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 20/327 12/32 DES-PT-02b-CTLFireability-08 2474933 m, 101218 m/sec, 12712245 t fired, .
Time elapsed: 341 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 25/327 15/32 DES-PT-02b-CTLFireability-08 2960312 m, 97075 m/sec, 15899179 t fired, .
Time elapsed: 346 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 30/327 17/32 DES-PT-02b-CTLFireability-08 3476791 m, 103295 m/sec, 19142437 t fired, .
Time elapsed: 351 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 35/327 19/32 DES-PT-02b-CTLFireability-08 3955115 m, 95664 m/sec, 22355001 t fired, .
Time elapsed: 356 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 40/327 22/32 DES-PT-02b-CTLFireability-08 4406467 m, 90270 m/sec, 25510495 t fired, .
Time elapsed: 361 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 45/327 24/32 DES-PT-02b-CTLFireability-08 4832972 m, 85301 m/sec, 28664746 t fired, .
Time elapsed: 366 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 50/327 26/32 DES-PT-02b-CTLFireability-08 5296356 m, 92676 m/sec, 31891378 t fired, .
Time elapsed: 371 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 55/327 28/32 DES-PT-02b-CTLFireability-08 5734291 m, 87587 m/sec, 35131096 t fired, .
Time elapsed: 376 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 CTL EXCL 60/327 30/32 DES-PT-02b-CTLFireability-08 6162959 m, 85733 m/sec, 38298028 t fired, .
Time elapsed: 381 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 25 (type EXCL) for DES-PT-02b-CTLFireability-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 386 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 22 (type EXCL) for 21 DES-PT-02b-CTLFireability-07
lola: time limit : 357 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 5/357 4/32 DES-PT-02b-CTLFireability-07 692211 m, 138442 m/sec, 3115919 t fired, .
Time elapsed: 391 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 10/357 6/32 DES-PT-02b-CTLFireability-07 1218755 m, 105308 m/sec, 6262883 t fired, .
Time elapsed: 396 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 15/357 9/32 DES-PT-02b-CTLFireability-07 1688636 m, 93976 m/sec, 9366841 t fired, .
Time elapsed: 401 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 20/357 11/32 DES-PT-02b-CTLFireability-07 2186135 m, 99499 m/sec, 12492560 t fired, .
Time elapsed: 406 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 25/357 13/32 DES-PT-02b-CTLFireability-07 2616261 m, 86025 m/sec, 15576934 t fired, .
Time elapsed: 411 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 30/357 16/32 DES-PT-02b-CTLFireability-07 3085648 m, 93877 m/sec, 18721337 t fired, .
Time elapsed: 416 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 35/357 18/32 DES-PT-02b-CTLFireability-07 3606682 m, 104206 m/sec, 21882076 t fired, .
Time elapsed: 421 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 40/357 20/32 DES-PT-02b-CTLFireability-07 4063952 m, 91454 m/sec, 25003912 t fired, .
Time elapsed: 426 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 45/357 22/32 DES-PT-02b-CTLFireability-07 4473294 m, 81868 m/sec, 28071449 t fired, .
Time elapsed: 431 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 50/357 25/32 DES-PT-02b-CTLFireability-07 4910274 m, 87396 m/sec, 31161225 t fired, .
Time elapsed: 436 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 55/357 27/32 DES-PT-02b-CTLFireability-07 5312854 m, 80516 m/sec, 34203343 t fired, .
Time elapsed: 441 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 60/357 28/32 DES-PT-02b-CTLFireability-07 5699315 m, 77292 m/sec, 37245229 t fired, .
Time elapsed: 446 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 CTL EXCL 65/357 31/32 DES-PT-02b-CTLFireability-07 6126899 m, 85516 m/sec, 40324898 t fired, .
Time elapsed: 451 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 22 (type EXCL) for DES-PT-02b-CTLFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-00: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-01: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-02: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-03: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-04: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-05: CTL 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-09: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-12: EG 0 1 0 0 1 0 0 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 456 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 16 (type EXCL) for 15 DES-PT-02b-CTLFireability-05
lola: time limit : 393 sec
lola: memory limit: 32 pages
lola: FINISHED task # 16 (type EXCL) for DES-PT-02b-CTLFireability-05
lola: result : false
lola: markings : 85
lola: fired transitions : 84
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 13 (type EXCL) for 12 DES-PT-02b-CTLFireability-04
lola: time limit : 449 sec
lola: memory limit: 32 pages
lola: FINISHED task # 13 (type EXCL) for DES-PT-02b-CTLFireability-04
lola: result : true
lola: markings : 1052
lola: fired transitions : 1287
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 7 (type EXCL) for 6 DES-PT-02b-CTLFireability-02
lola: time limit : 524 sec
lola: memory limit: 32 pages
lola: FINISHED task # 7 (type EXCL) for DES-PT-02b-CTLFireability-02
lola: result : false
lola: markings : 84
lola: fired transitions : 84
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 4 (type EXCL) for 3 DES-PT-02b-CTLFireability-01
lola: time limit : 628 sec
lola: memory limit: 32 pages
lola: FINISHED task # 4 (type EXCL) for DES-PT-02b-CTLFireability-01
lola: result : true
lola: markings : 532
lola: fired transitions : 744
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 1 (type EXCL) for 0 DES-PT-02b-CTLFireability-00
lola: time limit : 786 sec
lola: memory limit: 32 pages
lola: FINISHED task # 1 (type EXCL) for DES-PT-02b-CTLFireability-00
lola: result : false
lola: markings : 98
lola: fired transitions : 181
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 37 (type EXCL) for 36 DES-PT-02b-CTLFireability-12
lola: time limit : 1048 sec
lola: memory limit: 32 pages
lola: FINISHED task # 37 (type EXCL) for DES-PT-02b-CTLFireability-12
lola: result : false
lola: markings : 129740
lola: fired transitions : 203844
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 28 (type EXCL) for 27 DES-PT-02b-CTLFireability-09
lola: time limit : 1572 sec
lola: memory limit: 32 pages
lola: FINISHED task # 28 (type EXCL) for DES-PT-02b-CTLFireability-09
lola: result : true
lola: markings : 88
lola: fired transitions : 87
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 10 (type EXCL) for 9 DES-PT-02b-CTLFireability-03
lola: time limit : 3144 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 5/3144 3/32 DES-PT-02b-CTLFireability-03 639949 m, 127989 m/sec, 4682709 t fired, .
Time elapsed: 461 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 10/3144 6/32 DES-PT-02b-CTLFireability-03 1218891 m, 115788 m/sec, 10006921 t fired, .
Time elapsed: 466 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 15/3144 8/32 DES-PT-02b-CTLFireability-03 1759809 m, 108183 m/sec, 15177483 t fired, .
Time elapsed: 471 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 20/3144 11/32 DES-PT-02b-CTLFireability-03 2326070 m, 113252 m/sec, 20568759 t fired, .
Time elapsed: 476 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 25/3144 13/32 DES-PT-02b-CTLFireability-03 2878454 m, 110476 m/sec, 25815969 t fired, .
Time elapsed: 481 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 30/3144 15/32 DES-PT-02b-CTLFireability-03 3406343 m, 105577 m/sec, 31054756 t fired, .
Time elapsed: 486 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 35/3144 17/32 DES-PT-02b-CTLFireability-03 3911508 m, 101033 m/sec, 36386870 t fired, .
Time elapsed: 491 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 40/3144 19/32 DES-PT-02b-CTLFireability-03 4396673 m, 97033 m/sec, 41531213 t fired, .
Time elapsed: 496 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 45/3144 22/32 DES-PT-02b-CTLFireability-03 4882788 m, 97223 m/sec, 46732327 t fired, .
Time elapsed: 501 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 50/3144 24/32 DES-PT-02b-CTLFireability-03 5425572 m, 108556 m/sec, 52063226 t fired, .
Time elapsed: 506 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 55/3144 25/32 DES-PT-02b-CTLFireability-03 5906568 m, 96199 m/sec, 57228275 t fired, .
Time elapsed: 511 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 60/3144 27/32 DES-PT-02b-CTLFireability-03 6381148 m, 94916 m/sec, 62198789 t fired, .
Time elapsed: 516 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 65/3144 29/32 DES-PT-02b-CTLFireability-03 6811893 m, 86149 m/sec, 66923732 t fired, .
Time elapsed: 521 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 70/3144 30/32 DES-PT-02b-CTLFireability-03 7165075 m, 70636 m/sec, 71380449 t fired, .
Time elapsed: 526 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 1 0 1 0 0 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 75/3144 32/32 DES-PT-02b-CTLFireability-03 7648635 m, 96712 m/sec, 76608104 t fired, .
Time elapsed: 531 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 10 (type EXCL) for DES-PT-02b-CTLFireability-03 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-02b-CTLFireability-03: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-06: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-07: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-08: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-10: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-13: CTL 0 0 0 0 1 0 1 0
DES-PT-02b-CTLFireability-14: CTL 0 0 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 536 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: Portfolio finished: no open tasks 16
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-02b-CTLFireability-00: CTL false CTL model checker
DES-PT-02b-CTLFireability-01: CTL true CTL model checker
DES-PT-02b-CTLFireability-02: CTL false CTL model checker
DES-PT-02b-CTLFireability-03: CTL unknown AGGR
DES-PT-02b-CTLFireability-04: CTL true CTL model checker
DES-PT-02b-CTLFireability-05: CTL false CTL model checker
DES-PT-02b-CTLFireability-06: CTL unknown AGGR
DES-PT-02b-CTLFireability-07: CTL unknown AGGR
DES-PT-02b-CTLFireability-08: CTL unknown AGGR
DES-PT-02b-CTLFireability-09: EG true state space / EG
DES-PT-02b-CTLFireability-10: CTL unknown AGGR
DES-PT-02b-CTLFireability-11: CTL false CTL model checker
DES-PT-02b-CTLFireability-12: EG false state space / EG
DES-PT-02b-CTLFireability-13: CTL unknown AGGR
DES-PT-02b-CTLFireability-14: CTL unknown AGGR
DES-PT-02b-CTLFireability-15: CTL false CTL model checker
Time elapsed: 536 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="DES-PT-02b"
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 DES-PT-02b, 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 r103-tall-167814478200386"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-02b.tgz
mv DES-PT-02b 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 ;