About the Execution of LoLA for DatabaseWithMutex-COL-02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16244.451 | 385234.00 | 1133477.00 | 1775.60 | ?F?T?F??TFFFFTTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r061-tall-162038393600674.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is DatabaseWithMutex-COL-02, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r061-tall-162038393600674
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.1K Mar 28 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 10:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 10:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 17:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 22 17:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 19K May 5 16:51 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 DatabaseWithMutex-COL-02-CTLFireability-00
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-01
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-02
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-03
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-04
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-05
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-06
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-07
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-08
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-09
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-10
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-11
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-12
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-13
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-14
FORMULA_NAME DatabaseWithMutex-COL-02-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1620749534566
starting LoLA
BK_INPUT DatabaseWithMutex-COL-02
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
CTLFireability
FORMULA DatabaseWithMutex-COL-02-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DatabaseWithMutex-COL-02-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620749919800
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading HL formula in XML format (--xmlformula)
lola: reading formula from /home/mcc/execution/CTLFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:138
lola: rewrite Frontend/Parser/formula_rewrite.k:284
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:287
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:284
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:287
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:281
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:135
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:114
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:135
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:153
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:114
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:281
lola: rewrite Frontend/Parser/formula_rewrite.k:129
lola: rewrite Frontend/Parser/formula_rewrite.k:196
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:281
lola: rewrite Frontend/Parser/formula_rewrite.k:165
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:132
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:278
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:120
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:132
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:183
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
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:183
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
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:550
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
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:121
lola: rewrite Frontend/Parser/formula_rewrite.k:547
lola: rewrite Frontend/Parser/formula_rewrite.k:394
lola: rewrite Frontend/Parser/formula_rewrite.k:394
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:281
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:132
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:138
lola: rewrite Frontend/Parser/formula_rewrite.k:284
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:138
lola: rewrite Frontend/Parser/formula_rewrite.k:199
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:281
lola: rewrite Frontend/Parser/formula_rewrite.k:278
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:138
lola: rewrite Frontend/Parser/formula_rewrite.k:284
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:132
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:120
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:129
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:281
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:278
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:281
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:168
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:281
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:168
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:120
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:328
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:132
lola: rewrite Frontend/Parser/formula_rewrite.k:281
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:138
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:138
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:162
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:179
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: LAUNCH INITIAL
lola: LAUNCH task # 42 (type SKEL/CNST) for 40 DatabaseWithMutex-COL-02-CTLFireability-12
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 45 (type SKEL/CNST) for 43 DatabaseWithMutex-COL-02-CTLFireability-13
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 45 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-13
lola: result : true
lola: LAUNCH INITIAL
lola: LAUNCH task # 30 (type SKEL/CNST) for 28 DatabaseWithMutex-COL-02-CTLFireability-08
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 42 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-12
lola: result : false
lola: FINISHED task # 30 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-08
lola: result : true
lola: LAUNCH INITIAL
lola: LAUNCH task # 5 (type SKEL/CNST) for 3 DatabaseWithMutex-COL-02-CTLFireability-01
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 11 (type SKEL/CNST) for 9 DatabaseWithMutex-COL-02-CTLFireability-03
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: TR BINDINGS
lola: LAUNCH INITIAL
lola: TR BINDINGS DONE
lola: Places: 38, Transitions: 32
lola: LAUNCH task # 33 (type SKEL/CNST) for 31 DatabaseWithMutex-COL-02-CTLFireability-09
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 36 (type SKEL/CNST) for 34 DatabaseWithMutex-COL-02-CTLFireability-10
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 11 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-03
lola: result : true
lola: ASSUMEDDEADLOCKFREE
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: LAUNCH INITIAL
lola: LAUNCH task # 39 (type SKEL/CNST) for 37 DatabaseWithMutex-COL-02-CTLFireability-11
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 5 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-01
lola: result : false
lola: LAUNCH task # 52 (type SKEL/SRCH) for 18 DatabaseWithMutex-COL-02-CTLFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 33 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-09
lola: result : false
lola: FINISHED task # 39 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-11
lola: result : false
lola: @ trans Start
lola: LAUNCH INITIAL
lola: LAUNCH task # 17 (type SKEL/CNST) for 15 DatabaseWithMutex-COL-02-CTLFireability-05
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 36 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-10
lola: result : false
lola: @ trans Update
lola: @ trans SendReply
lola: FINISHED task # 17 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-05
lola: result : false
lola: LAUNCH INITIAL
lola: @ trans Acquire
lola: @ trans Change
lola: LAUNCH task # 48 (type SKEL/CNST) for 46 DatabaseWithMutex-COL-02-CTLFireability-14
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: @ trans Release
lola: @ trans end_update
lola: @ trans SendMsg
lola: LAUNCH task # 51 (type SKEL/CNST) for 49 DatabaseWithMutex-COL-02-CTLFireability-15
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 48 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-14
lola: result : true
lola: FINISHED task # 52 (type SKEL/SRCH) for DatabaseWithMutex-COL-02-CTLFireability-06
lola: result : false
lola: markings : 4
lola: fired transitions : 11
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 51 (type SKEL/CNST) for DatabaseWithMutex-COL-02-CTLFireability-15
lola: result : false
lola: Rule S: 0 transitions removed,0 places removed
lola: LAUNCH task # 53 (type EXCL) for 0 DatabaseWithMutex-COL-02-CTLFireability-00
lola: time limit : 599 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 54 (type FNDP) for 0 DatabaseWithMutex-COL-02-CTLFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
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:714
lola: LAUNCH task # 57 (type FNDP) for 6 DatabaseWithMutex-COL-02-CTLFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 5/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 4035933 m, 807186 m/sec, 4035932 t fired, .
54 EF DL FNDP 5/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 6831793 t fired, 7 attempts, .
57 EF DL FNDP 5/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 7467405 t fired, 8 attempts, .
Time elapsed: 7 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 10/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 7667691 m, 726351 m/sec, 7667690 t fired, .
54 EF DL FNDP 10/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 13074879 t fired, 14 attempts, .
57 EF DL FNDP 10/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 14478331 t fired, 15 attempts, .
Time elapsed: 12 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 15/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 11600499 m, 786561 m/sec, 11600498 t fired, .
54 EF DL FNDP 15/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 20407185 t fired, 21 attempts, .
57 EF DL FNDP 15/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 21259421 t fired, 22 attempts, .
Time elapsed: 17 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 20/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 16309055 m, 941711 m/sec, 16309054 t fired, .
54 EF DL FNDP 20/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 29417159 t fired, 30 attempts, .
57 EF DL FNDP 20/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 30137292 t fired, 31 attempts, .
Time elapsed: 22 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 25/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 21116496 m, 961488 m/sec, 21116495 t fired, .
54 EF DL FNDP 25/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 39157668 t fired, 40 attempts, .
57 EF DL FNDP 25/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 39772686 t fired, 40 attempts, .
Time elapsed: 27 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 30/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 26036192 m, 983939 m/sec, 26036192 t fired, .
54 EF DL FNDP 30/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 48969355 t fired, 49 attempts, .
57 EF DL FNDP 30/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 49447665 t fired, 50 attempts, .
Time elapsed: 32 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 35/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 30708402 m, 934442 m/sec, 30708401 t fired, .
54 EF DL FNDP 35/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 58078622 t fired, 59 attempts, .
57 EF DL FNDP 35/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 58665054 t fired, 59 attempts, .
Time elapsed: 37 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 40/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 34417058 m, 741731 m/sec, 34417058 t fired, .
54 EF DL FNDP 40/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 66164236 t fired, 67 attempts, .
57 EF DL FNDP 40/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 67419503 t fired, 68 attempts, .
Time elapsed: 42 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 45/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 39464400 m, 1009468 m/sec, 39464400 t fired, .
54 EF DL FNDP 45/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 76194135 t fired, 77 attempts, .
57 EF DL FNDP 45/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 77847139 t fired, 78 attempts, .
Time elapsed: 47 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 50/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 42814162 m, 669952 m/sec, 42814162 t fired, .
54 EF DL FNDP 50/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 83977714 t fired, 84 attempts, .
57 EF DL FNDP 50/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 85782738 t fired, 86 attempts, .
Time elapsed: 52 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 55/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 47759578 m, 989083 m/sec, 47759577 t fired, .
54 EF DL FNDP 55/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 92593539 t fired, 93 attempts, .
57 EF DL FNDP 55/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 94438038 t fired, 95 attempts, .
Time elapsed: 57 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 60/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 52078412 m, 863766 m/sec, 52078411 t fired, .
54 EF DL FNDP 60/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 102323785 t fired, 103 attempts, .
57 EF DL FNDP 60/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 103897655 t fired, 104 attempts, .
Time elapsed: 62 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 65/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 56372339 m, 858785 m/sec, 56372338 t fired, .
54 EF DL FNDP 65/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 111510825 t fired, 112 attempts, .
57 EF DL FNDP 65/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 113075036 t fired, 114 attempts, .
Time elapsed: 67 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 70/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 61044763 m, 934484 m/sec, 61044763 t fired, .
54 EF DL FNDP 70/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 121991609 t fired, 122 attempts, .
57 EF DL FNDP 70/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 123221348 t fired, 124 attempts, .
Time elapsed: 72 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 75/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 65745293 m, 940106 m/sec, 65745292 t fired, .
54 EF DL FNDP 75/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 131528633 t fired, 132 attempts, .
57 EF DL FNDP 75/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 132754046 t fired, 133 attempts, .
Time elapsed: 77 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 80/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 70701809 m, 991303 m/sec, 70701809 t fired, .
54 EF DL FNDP 80/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 141113781 t fired, 142 attempts, .
57 EF DL FNDP 80/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 142190874 t fired, 143 attempts, .
Time elapsed: 82 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 85/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 74852756 m, 830189 m/sec, 74852755 t fired, .
54 EF DL FNDP 85/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 149270143 t fired, 150 attempts, .
57 EF DL FNDP 85/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 150025933 t fired, 151 attempts, .
Time elapsed: 87 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 90/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 80283894 m, 1086227 m/sec, 80283893 t fired, .
54 EF DL FNDP 90/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 160361723 t fired, 161 attempts, .
57 EF DL FNDP 90/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 160931728 t fired, 161 attempts, .
Time elapsed: 92 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 95/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 84850027 m, 913226 m/sec, 84850026 t fired, .
54 EF DL FNDP 95/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 167969217 t fired, 168 attempts, .
57 EF DL FNDP 95/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 168818753 t fired, 169 attempts, .
Time elapsed: 97 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 100/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 87864108 m, 602816 m/sec, 87864107 t fired, .
54 EF DL FNDP 100/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 174262178 t fired, 175 attempts, .
57 EF DL FNDP 100/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 175177746 t fired, 176 attempts, .
Time elapsed: 102 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 105/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 91872304 m, 801639 m/sec, 91872303 t fired, .
54 EF DL FNDP 105/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 182560941 t fired, 183 attempts, .
57 EF DL FNDP 105/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 183733791 t fired, 184 attempts, .
Time elapsed: 107 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 110/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 95982619 m, 822063 m/sec, 95982619 t fired, .
54 EF DL FNDP 110/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 190953628 t fired, 191 attempts, .
57 EF DL FNDP 110/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 191541739 t fired, 192 attempts, .
Time elapsed: 112 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 115/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 101161784 m, 1035833 m/sec, 101161783 t fired, .
54 EF DL FNDP 115/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 200317601 t fired, 201 attempts, .
57 EF DL FNDP 115/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 200397506 t fired, 201 attempts, .
Time elapsed: 117 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 120/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 104623042 m, 692251 m/sec, 104623041 t fired, .
54 EF DL FNDP 120/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 208725875 t fired, 209 attempts, .
57 EF DL FNDP 120/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 208540074 t fired, 209 attempts, .
Time elapsed: 122 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 125/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 109157159 m, 906823 m/sec, 109157159 t fired, .
54 EF DL FNDP 125/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 218409482 t fired, 219 attempts, .
57 EF DL FNDP 125/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 218098234 t fired, 219 attempts, .
Time elapsed: 127 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 130/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 113698687 m, 908305 m/sec, 113698687 t fired, .
54 EF DL FNDP 130/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 227673384 t fired, 228 attempts, .
57 EF DL FNDP 130/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 226617484 t fired, 227 attempts, .
Time elapsed: 132 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 135/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 117546262 m, 769515 m/sec, 117546261 t fired, .
54 EF DL FNDP 135/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 236291428 t fired, 237 attempts, .
57 EF DL FNDP 135/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 235413213 t fired, 236 attempts, .
Time elapsed: 137 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 140/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 122131923 m, 917132 m/sec, 122131922 t fired, .
54 EF DL FNDP 140/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 245492492 t fired, 246 attempts, .
57 EF DL FNDP 140/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 245159802 t fired, 246 attempts, .
Time elapsed: 142 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 145/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 126070812 m, 787777 m/sec, 126070811 t fired, .
54 EF DL FNDP 145/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 254273102 t fired, 255 attempts, .
57 EF DL FNDP 145/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 253614509 t fired, 254 attempts, .
Time elapsed: 147 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 150/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 131342867 m, 1054411 m/sec, 131342866 t fired, .
54 EF DL FNDP 150/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 264375825 t fired, 265 attempts, .
57 EF DL FNDP 150/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 263913756 t fired, 264 attempts, .
Time elapsed: 152 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 155/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 136177410 m, 966908 m/sec, 136177409 t fired, .
54 EF DL FNDP 155/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 273171412 t fired, 274 attempts, .
57 EF DL FNDP 155/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 272827004 t fired, 273 attempts, .
Time elapsed: 157 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 160/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 140961645 m, 956847 m/sec, 140961645 t fired, .
54 EF DL FNDP 160/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 283259976 t fired, 284 attempts, .
57 EF DL FNDP 160/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 283317437 t fired, 284 attempts, .
Time elapsed: 162 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 165/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 145803310 m, 968333 m/sec, 145803309 t fired, .
54 EF DL FNDP 165/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 293115867 t fired, 294 attempts, .
57 EF DL FNDP 165/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 293170773 t fired, 294 attempts, .
Time elapsed: 167 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 170/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 150095217 m, 858381 m/sec, 150095216 t fired, .
54 EF DL FNDP 170/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 301349944 t fired, 302 attempts, .
57 EF DL FNDP 170/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 301105390 t fired, 302 attempts, .
Time elapsed: 172 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 175/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 155654607 m, 1111878 m/sec, 155654606 t fired, .
54 EF DL FNDP 175/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 311812212 t fired, 312 attempts, .
57 EF DL FNDP 175/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 311347324 t fired, 312 attempts, .
Time elapsed: 177 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 180/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 160383671 m, 945812 m/sec, 160383670 t fired, .
54 EF DL FNDP 180/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 321737980 t fired, 322 attempts, .
57 EF DL FNDP 180/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 320929021 t fired, 321 attempts, .
Time elapsed: 182 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 185/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 165172307 m, 957727 m/sec, 165172306 t fired, .
54 EF DL FNDP 185/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 332056878 t fired, 333 attempts, .
57 EF DL FNDP 185/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 330975482 t fired, 331 attempts, .
Time elapsed: 187 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 190/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 169284202 m, 822379 m/sec, 169284201 t fired, .
54 EF DL FNDP 190/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 340839170 t fired, 341 attempts, .
57 EF DL FNDP 190/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 339726284 t fired, 340 attempts, .
Time elapsed: 192 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 195/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 173519635 m, 847086 m/sec, 173519634 t fired, .
54 EF DL FNDP 195/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 349454532 t fired, 350 attempts, .
57 EF DL FNDP 195/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 348502409 t fired, 349 attempts, .
Time elapsed: 197 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 200/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 178319982 m, 960069 m/sec, 178319981 t fired, .
54 EF DL FNDP 200/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 359081059 t fired, 360 attempts, .
57 EF DL FNDP 200/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 358049093 t fired, 359 attempts, .
Time elapsed: 202 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 205/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 182598909 m, 855785 m/sec, 182598908 t fired, .
54 EF DL FNDP 205/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 368416426 t fired, 369 attempts, .
57 EF DL FNDP 205/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 367558687 t fired, 368 attempts, .
Time elapsed: 207 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 210/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 186428705 m, 765959 m/sec, 186428705 t fired, .
54 EF DL FNDP 210/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 377679238 t fired, 378 attempts, .
57 EF DL FNDP 210/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 376701824 t fired, 377 attempts, .
Time elapsed: 212 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 215/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 192132133 m, 1140685 m/sec, 192132132 t fired, .
54 EF DL FNDP 215/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 388354244 t fired, 389 attempts, .
57 EF DL FNDP 215/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 387103248 t fired, 388 attempts, .
Time elapsed: 217 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 220/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 197130286 m, 999630 m/sec, 197130285 t fired, .
54 EF DL FNDP 220/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 397411826 t fired, 398 attempts, .
57 EF DL FNDP 220/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 396107267 t fired, 397 attempts, .
Time elapsed: 222 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 225/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 201602837 m, 894510 m/sec, 201602836 t fired, .
54 EF DL FNDP 225/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 406351156 t fired, 407 attempts, .
57 EF DL FNDP 225/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 405033903 t fired, 406 attempts, .
Time elapsed: 227 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 230/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 204978016 m, 675035 m/sec, 204978016 t fired, .
54 EF DL FNDP 230/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 413583260 t fired, 414 attempts, .
57 EF DL FNDP 230/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 411937800 t fired, 412 attempts, .
Time elapsed: 232 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 235/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 209517562 m, 907909 m/sec, 209517562 t fired, .
54 EF DL FNDP 235/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 423023929 t fired, 424 attempts, .
57 EF DL FNDP 235/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 421281550 t fired, 422 attempts, .
Time elapsed: 237 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 240/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 213291059 m, 754699 m/sec, 213291058 t fired, .
54 EF DL FNDP 240/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 431575986 t fired, 432 attempts, .
57 EF DL FNDP 240/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 429917278 t fired, 430 attempts, .
Time elapsed: 242 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 245/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 217893994 m, 920587 m/sec, 217893993 t fired, .
54 EF DL FNDP 245/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 441358074 t fired, 442 attempts, .
57 EF DL FNDP 245/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 440087454 t fired, 441 attempts, .
Time elapsed: 247 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 250/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 221061691 m, 633539 m/sec, 221061690 t fired, .
54 EF DL FNDP 250/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 447809425 t fired, 448 attempts, .
57 EF DL FNDP 250/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 446433347 t fired, 447 attempts, .
Time elapsed: 252 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 255/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 226138446 m, 1015351 m/sec, 226138446 t fired, .
54 EF DL FNDP 255/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 457236012 t fired, 458 attempts, .
57 EF DL FNDP 255/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 456267051 t fired, 457 attempts, .
Time elapsed: 257 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 260/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 231021835 m, 976677 m/sec, 231021834 t fired, .
54 EF DL FNDP 260/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 466540682 t fired, 467 attempts, .
57 EF DL FNDP 260/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 465432918 t fired, 466 attempts, .
Time elapsed: 262 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 266/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 236304115 m, 1056456 m/sec, 236304114 t fired, .
54 EF DL FNDP 266/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 477374853 t fired, 478 attempts, .
57 EF DL FNDP 266/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 475967181 t fired, 476 attempts, .
Time elapsed: 268 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 271/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 240524021 m, 843981 m/sec, 240524020 t fired, .
54 EF DL FNDP 271/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 486271042 t fired, 487 attempts, .
57 EF DL FNDP 271/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 484955312 t fired, 485 attempts, .
Time elapsed: 273 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 276/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 244343654 m, 763926 m/sec, 244343653 t fired, .
54 EF DL FNDP 276/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 494308329 t fired, 495 attempts, .
57 EF DL FNDP 276/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 493305853 t fired, 494 attempts, .
Time elapsed: 278 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 281/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 249120473 m, 955363 m/sec, 249120473 t fired, .
54 EF DL FNDP 281/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 502994152 t fired, 503 attempts, .
57 EF DL FNDP 281/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 502522747 t fired, 503 attempts, .
Time elapsed: 283 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 286/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 254463992 m, 1068703 m/sec, 254463991 t fired, .
54 EF DL FNDP 286/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 512492552 t fired, 513 attempts, .
57 EF DL FNDP 286/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 511912118 t fired, 512 attempts, .
Time elapsed: 288 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 291/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 258100675 m, 727336 m/sec, 258100674 t fired, .
54 EF DL FNDP 291/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 520684372 t fired, 521 attempts, .
57 EF DL FNDP 291/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 520364987 t fired, 521 attempts, .
Time elapsed: 293 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 296/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 262803584 m, 940581 m/sec, 262803584 t fired, .
54 EF DL FNDP 296/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 528791809 t fired, 529 attempts, .
57 EF DL FNDP 296/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 528913144 t fired, 529 attempts, .
Time elapsed: 298 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 301/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 266942696 m, 827822 m/sec, 266942695 t fired, .
54 EF DL FNDP 301/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 536890895 t fired, 537 attempts, .
57 EF DL FNDP 301/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 536889757 t fired, 537 attempts, .
Time elapsed: 303 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 306/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 270760694 m, 763599 m/sec, 270760693 t fired, .
54 EF DL FNDP 306/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 544536197 t fired, 545 attempts, .
57 EF DL FNDP 306/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 545111879 t fired, 546 attempts, .
Time elapsed: 308 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 311/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 275962789 m, 1040419 m/sec, 275962789 t fired, .
54 EF DL FNDP 311/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 555164023 t fired, 556 attempts, .
57 EF DL FNDP 311/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 555011927 t fired, 556 attempts, .
Time elapsed: 313 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 316/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 280962622 m, 999966 m/sec, 280962621 t fired, .
54 EF DL FNDP 316/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 563601419 t fired, 564 attempts, .
57 EF DL FNDP 316/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 563998426 t fired, 564 attempts, .
Time elapsed: 318 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 321/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 285805241 m, 968523 m/sec, 285805240 t fired, .
54 EF DL FNDP 321/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 573421113 t fired, 574 attempts, .
57 EF DL FNDP 321/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 573979455 t fired, 574 attempts, .
Time elapsed: 323 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 326/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 289620729 m, 763097 m/sec, 289620729 t fired, .
54 EF DL FNDP 326/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 581037462 t fired, 582 attempts, .
57 EF DL FNDP 326/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 581809791 t fired, 582 attempts, .
Time elapsed: 328 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 331/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 294165838 m, 909021 m/sec, 294165837 t fired, .
54 EF DL FNDP 331/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 590331318 t fired, 591 attempts, .
57 EF DL FNDP 331/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 590985118 t fired, 591 attempts, .
Time elapsed: 333 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 336/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 299256727 m, 1018177 m/sec, 299256727 t fired, .
54 EF DL FNDP 336/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 599520020 t fired, 600 attempts, .
57 EF DL FNDP 336/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 600390102 t fired, 601 attempts, .
Time elapsed: 338 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 341/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 303251047 m, 798864 m/sec, 303251046 t fired, .
54 EF DL FNDP 341/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 608356118 t fired, 609 attempts, .
57 EF DL FNDP 341/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 609806640 t fired, 610 attempts, .
Time elapsed: 343 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 346/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 308120856 m, 973961 m/sec, 308120855 t fired, .
54 EF DL FNDP 346/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 617764038 t fired, 618 attempts, .
57 EF DL FNDP 346/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 619413888 t fired, 620 attempts, .
Time elapsed: 348 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 351/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 313567030 m, 1089234 m/sec, 313567030 t fired, .
54 EF DL FNDP 351/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 628394529 t fired, 629 attempts, .
57 EF DL FNDP 351/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 629791662 t fired, 630 attempts, .
Time elapsed: 353 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 356/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 318078848 m, 902363 m/sec, 318078848 t fired, .
54 EF DL FNDP 356/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 638227441 t fired, 639 attempts, .
57 EF DL FNDP 356/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 638970109 t fired, 639 attempts, .
Time elapsed: 358 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 361/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 321656375 m, 715505 m/sec, 321656374 t fired, .
54 EF DL FNDP 361/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 646806488 t fired, 647 attempts, .
57 EF DL FNDP 361/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 647580829 t fired, 648 attempts, .
Time elapsed: 363 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 366/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 326377614 m, 944247 m/sec, 326377614 t fired, .
54 EF DL FNDP 366/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 656249009 t fired, 657 attempts, .
57 EF DL FNDP 366/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 657468186 t fired, 658 attempts, .
Time elapsed: 368 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DatabaseWithMutex-COL-02-CTLFireability-01: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-03: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-05: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-08: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-09: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-10: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-11: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-12: INITIAL false skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-13: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-14: INITIAL true skeleton: preprocessing
DatabaseWithMutex-COL-02-CTLFireability-15: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DatabaseWithMutex-COL-02-CTLFireability-00: EF DL 0 0 2 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-02: AG NODL 0 1 1 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-04: EGEF 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-06: AFAG 0 1 0 0 1 0 0 0
DatabaseWithMutex-COL-02-CTLFireability-07: DISJ 0 2 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF DL EXCL 371/599 1/32 DatabaseWithMutex-COL-02-CTLFireability-00 330730007 m, 870478 m/sec, 330730006 t fired, .
54 EF DL FNDP 371/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-00 665043017 t fired, 666 attempts, .
57 EF DL FNDP 371/3598 0/5 DatabaseWithMutex-COL-02-CTLFireability-02 666241670 t fired, 667 attempts, .
Time elapsed: 373 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
/home/mcc/BenchKit/BenchKit_head.sh: line 62: 423 Killed lola --conf=$BIN_DIR/configfiles/ctlfireabilityconf --formula=$DIR/CTLFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
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="DatabaseWithMutex-COL-02"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
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-4028"
echo " Executing tool lola"
echo " Input is DatabaseWithMutex-COL-02, 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 r061-tall-162038393600674"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-COL-02.tgz
mv DatabaseWithMutex-COL-02 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 ;