About the Execution of 2023-gold for DoubleLock-PT-p2s2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1035.960 | 750479.00 | 1853136.00 | 3319.90 | TFTTFTFTFFTFTTTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r153-tall-171631151700390.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is DoubleLock-PT-p2s2, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r153-tall-171631151700390
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.3K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 19 07:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 18:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Apr 12 13:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Apr 12 13:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 19 07:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 19 15:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 813K May 18 16:42 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 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-01
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-02
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-03
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-04
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-05
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-06
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-07
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2023-08
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-09
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-10
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-11
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-12
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-13
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-14
FORMULA_NAME DoubleLock-PT-p2s2-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716443474027
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleLock-PT-p2s2
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-23 05:51:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-23 05:51:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-23 05:51:15] [INFO ] Load time of PNML (sax parser for PT used): 122 ms
[2024-05-23 05:51:15] [INFO ] Transformed 184 places.
[2024-05-23 05:51:15] [INFO ] Transformed 1832 transitions.
[2024-05-23 05:51:15] [INFO ] Parsed PT model containing 184 places and 1832 transitions and 7424 arcs in 201 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 10 ms.
Working with output stream class java.io.PrintStream
Deduced a syphon composed of 36 places in 6 ms
Reduce places removed 36 places and 64 transitions.
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10006 steps, including 98 resets, run finished after 343 ms. (steps per millisecond=29 ) properties (out of 15) seen :3
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 21 resets, run finished after 53 ms. (steps per millisecond=188 ) properties (out of 12) seen :1
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 81 ms. (steps per millisecond=123 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 53 ms. (steps per millisecond=188 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 11) seen :1
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-03 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 15 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 17 resets, run finished after 101 ms. (steps per millisecond=99 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 19 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 16 resets, run finished after 39 ms. (steps per millisecond=256 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 19 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 23 resets, run finished after 36 ms. (steps per millisecond=277 ) properties (out of 10) seen :0
Running SMT prover for 10 properties.
[2024-05-23 05:51:16] [INFO ] Flow matrix only has 1225 transitions (discarded 543 similar events)
// Phase 1: matrix 1225 rows 148 cols
[2024-05-23 05:51:16] [INFO ] Computed 4 invariants in 31 ms
[2024-05-23 05:51:17] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned sat
[2024-05-23 05:51:17] [INFO ] [Real]Absence check using 3 positive and 1 generalized place invariants in 1 ms returned sat
[2024-05-23 05:51:17] [INFO ] After 223ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:9
[2024-05-23 05:51:17] [INFO ] [Nat]Absence check using 3 positive place invariants in 2 ms returned sat
[2024-05-23 05:51:17] [INFO ] [Nat]Absence check using 3 positive and 1 generalized place invariants in 0 ms returned sat
[2024-05-23 05:51:18] [INFO ] After 670ms SMT Verify possible using state equation in natural domain returned unsat :6 sat :4
[2024-05-23 05:51:18] [INFO ] State equation strengthened by 116 read => feed constraints.
[2024-05-23 05:51:19] [INFO ] After 1292ms SMT Verify possible using 116 Read/Feed constraints in natural domain returned unsat :6 sat :4
[2024-05-23 05:51:19] [INFO ] Deduced a trap composed of 91 places in 143 ms of which 3 ms to minimize.
[2024-05-23 05:51:19] [INFO ] Deduced a trap composed of 62 places in 120 ms of which 1 ms to minimize.
[2024-05-23 05:51:19] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 382 ms
[2024-05-23 05:51:20] [INFO ] After 2355ms SMT Verify possible using trap constraints in natural domain returned unsat :6 sat :4
Attempting to minimize the solution found.
Minimization took 599 ms.
[2024-05-23 05:51:21] [INFO ] After 3731ms SMT Verify possible using all constraints in natural domain returned unsat :6 sat :4
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2023-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-07 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-06 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-04 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 10 Parikh solutions to 4 different solutions.
Parikh walk visited 0 properties in 21 ms.
Support contains 20 out of 148 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 148/148 places, 1768/1768 transitions.
Graph (complete) has 2955 edges and 148 vertex of which 144 are kept as prefixes of interest. Removing 4 places using SCC suffix rule.5 ms
Discarding 4 places :
Also discarding 0 output transitions
Drop transitions removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 0 with 12 rules applied. Total rules applied 13 place count 144 transition count 1756
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 14 place count 143 transition count 1724
Iterating global reduction 1 with 1 rules applied. Total rules applied 15 place count 143 transition count 1724
Applied a total of 15 rules in 92 ms. Remains 143 /148 variables (removed 5) and now considering 1724/1768 (removed 44) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 93 ms. Remains : 143/148 places, 1724/1768 transitions.
Incomplete random walk after 10000 steps, including 104 resets, run finished after 94 ms. (steps per millisecond=106 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 20 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 18 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 17 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 10001 steps, including 22 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 199819 steps, run timeout after 3001 ms. (steps per millisecond=66 ) properties seen :{}
Probabilistic random walk after 199819 steps, saw 138535 distinct states, run finished after 3003 ms. (steps per millisecond=66 ) properties seen :0
Running SMT prover for 4 properties.
[2024-05-23 05:51:24] [INFO ] Flow matrix only has 1181 transitions (discarded 543 similar events)
// Phase 1: matrix 1181 rows 143 cols
[2024-05-23 05:51:24] [INFO ] Computed 2 invariants in 8 ms
[2024-05-23 05:51:24] [INFO ] [Real]Absence check using 1 positive place invariants in 0 ms returned sat
[2024-05-23 05:51:24] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2024-05-23 05:51:24] [INFO ] After 364ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2024-05-23 05:51:24] [INFO ] [Nat]Absence check using 1 positive place invariants in 1 ms returned sat
[2024-05-23 05:51:24] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2024-05-23 05:51:25] [INFO ] After 483ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2024-05-23 05:51:25] [INFO ] State equation strengthened by 116 read => feed constraints.
[2024-05-23 05:51:25] [INFO ] After 393ms SMT Verify possible using 116 Read/Feed constraints in natural domain returned unsat :0 sat :4
[2024-05-23 05:51:26] [INFO ] After 1590ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 747 ms.
[2024-05-23 05:51:27] [INFO ] After 2880ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
Parikh walk visited 0 properties in 38 ms.
Support contains 20 out of 143 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 143/143 places, 1724/1724 transitions.
Applied a total of 0 rules in 38 ms. Remains 143 /143 variables (removed 0) and now considering 1724/1724 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 38 ms. Remains : 143/143 places, 1724/1724 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 143/143 places, 1724/1724 transitions.
Applied a total of 0 rules in 33 ms. Remains 143 /143 variables (removed 0) and now considering 1724/1724 (removed 0) transitions.
[2024-05-23 05:51:27] [INFO ] Flow matrix only has 1181 transitions (discarded 543 similar events)
[2024-05-23 05:51:27] [INFO ] Invariant cache hit.
[2024-05-23 05:51:27] [INFO ] Implicit Places using invariants in 134 ms returned []
[2024-05-23 05:51:27] [INFO ] Flow matrix only has 1181 transitions (discarded 543 similar events)
[2024-05-23 05:51:27] [INFO ] Invariant cache hit.
[2024-05-23 05:51:28] [INFO ] State equation strengthened by 116 read => feed constraints.
[2024-05-23 05:51:28] [INFO ] Implicit Places using invariants and state equation in 683 ms returned []
Implicit Place search using SMT with State Equation took 819 ms to find 0 implicit places.
[2024-05-23 05:51:28] [INFO ] Redundant transitions in 96 ms returned []
[2024-05-23 05:51:28] [INFO ] Flow matrix only has 1181 transitions (discarded 543 similar events)
[2024-05-23 05:51:28] [INFO ] Invariant cache hit.
[2024-05-23 05:51:29] [INFO ] Dead Transitions using invariants and state equation in 461 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1420 ms. Remains : 143/143 places, 1724/1724 transitions.
Ensure Unique test removed 543 transitions
Reduce isomorphic transitions removed 543 transitions.
Iterating post reduction 0 with 543 rules applied. Total rules applied 543 place count 143 transition count 1181
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 7 Pre rules applied. Total rules applied 543 place count 143 transition count 1174
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 1 with 14 rules applied. Total rules applied 557 place count 136 transition count 1174
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 1 with 4 rules applied. Total rules applied 561 place count 134 transition count 1172
Free-agglomeration rule applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 562 place count 134 transition count 1171
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 563 place count 133 transition count 1171
Applied a total of 563 rules in 54 ms. Remains 133 /143 variables (removed 10) and now considering 1171/1724 (removed 553) transitions.
Running SMT prover for 4 properties.
// Phase 1: matrix 1171 rows 133 cols
[2024-05-23 05:51:29] [INFO ] Computed 2 invariants in 7 ms
[2024-05-23 05:51:29] [INFO ] [Real]Absence check using 1 positive place invariants in 0 ms returned sat
[2024-05-23 05:51:29] [INFO ] [Real]Absence check using 1 positive and 1 generalized place invariants in 1 ms returned sat
[2024-05-23 05:51:29] [INFO ] After 311ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2024-05-23 05:51:29] [INFO ] [Nat]Absence check using 1 positive place invariants in 0 ms returned sat
[2024-05-23 05:51:29] [INFO ] [Nat]Absence check using 1 positive and 1 generalized place invariants in 2 ms returned sat
[2024-05-23 05:51:30] [INFO ] After 495ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2024-05-23 05:51:30] [INFO ] After 831ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 223 ms.
[2024-05-23 05:51:30] [INFO ] After 1115ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
[2024-05-23 05:51:30] [INFO ] Export to MCC of 4 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 4 ms.
[2024-05-23 05:51:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 143 places, 1724 transitions and 6920 arcs took 8 ms.
[2024-05-23 05:51:30] [INFO ] Flatten gal took : 169 ms
Total runtime 15525 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT DoubleLock-PT-p2s2
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/373
ReachabilityFireability
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1716444224506
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/373/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/373/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/373/ReachabilityFireability.xml
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 16 (type EXCL) for 6 DoubleLock-PT-p2s2-ReachabilityFireability-2024-10
lola: time limit : 899 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 12 (type FNDP) for 6 DoubleLock-PT-p2s2-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 13 (type EQUN) for 6 DoubleLock-PT-p2s2-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 15 (type SRCH) for 6 DoubleLock-PT-p2s2-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 12 (type FNDP) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-10
lola: result : true
lola: fired transitions : 171
lola: tried executions : 3
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 13 (type EQUN) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-10 (obsolete)
lola: CANCELED task # 15 (type SRCH) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-10 (obsolete)
lola: CANCELED task # 16 (type EXCL) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-10 (obsolete)
lola: LAUNCH task # 35 (type EXCL) for 9 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15
lola: time limit : 1199 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 18 (type FNDP) for 0 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 19 (type EQUN) for 0 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 21 (type SRCH) for 0 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 13 (type EQUN) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-10
lola: result : unknown
sara: try reading problem file /home/mcc/execution/373/ReachabilityFireability-19.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 3 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 5/899 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 66143 t fired, 1775 attempts, .
19 EF STEQ 5/899 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
21 EF SRCH 5/899 1/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 121311 m, 24262 m/sec, 121310 t fired, .
35 EF EXCL 5/1199 1/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 67994 m, 13598 m/sec, 67996 t fired, .
Time elapsed: 6 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 3 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 10/894 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 136962 t fired, 3487 attempts, .
19 EF STEQ 10/894 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
21 EF SRCH 10/894 2/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 250355 m, 25808 m/sec, 250354 t fired, .
35 EF EXCL 10/1199 1/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 140093 m, 14419 m/sec, 140095 t fired, .
Time elapsed: 11 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 3 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 15/889 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 207703 t fired, 5102 attempts, .
19 EF STEQ 15/889 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
21 EF SRCH 15/889 3/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 379372 m, 25803 m/sec, 379371 t fired, .
35 EF EXCL 15/1199 2/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 212381 m, 14457 m/sec, 212383 t fired, .
Time elapsed: 16 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 3 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 20/884 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 277270 t fired, 6547 attempts, .
19 EF STEQ 20/884 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
21 EF SRCH 20/884 3/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 508781 m, 25881 m/sec, 508780 t fired, .
35 EF EXCL 20/1199 2/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 284868 m, 14497 m/sec, 284870 t fired, .
Time elapsed: 21 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 3 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 25/879 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 346936 t fired, 7771 attempts, .
19 EF STEQ 25/879 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
21 EF SRCH 25/879 4/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 638097 m, 25863 m/sec, 638096 t fired, .
35 EF EXCL 25/1199 3/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 357406 m, 14507 m/sec, 357408 t fired, .
Time elapsed: 26 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 3 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 30/874 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 416527 t fired, 8931 attempts, .
19 EF STEQ 30/874 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
21 EF SRCH 30/874 5/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 767232 m, 25827 m/sec, 767231 t fired, .
35 EF EXCL 30/1199 3/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 429786 m, 14476 m/sec, 429788 t fired, .
Time elapsed: 31 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 3 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 35/869 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 486199 t fired, 10123 attempts, .
19 EF STEQ 35/869 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
21 EF SRCH 35/869 5/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 896569 m, 25867 m/sec, 896568 t fired, .
35 EF EXCL 35/1199 3/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 502056 m, 14454 m/sec, 502058 t fired, .
Time elapsed: 36 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 4
lola: CANCELED task # 21 (type SRCH) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 2 0 1 0 1 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 40/864 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 556180 t fired, 11291 attempts, .
19 EF STEQ 40/864 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
35 EF EXCL 40/1199 4/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 574829 m, 14554 m/sec, 574831 t fired, .
Time elapsed: 41 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
lola: LAUNCH task # 25 (type FNDP) for 3 DoubleLock-PT-p2s2-ReachabilityFireability-2024-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 2 0 1 0 1 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 45/1159 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 626557 t fired, 12475 attempts, .
19 EF STEQ 45/859 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
25 EF FNDP 5/889 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-09 69704 t fired, 1482 attempts, .
35 EF EXCL 45/1199 4/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 648308 m, 14695 m/sec, 648310 t fired, .
Time elapsed: 46 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
lola: FINISHED task # 25 (type FNDP) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-09
lola: result : true
lola: fired transitions : 129317
lola: tried executions : 2618
lola: time used : 9.000000
lola: memory pages used : 0
lola: LAUNCH task # 31 (type FNDP) for 9 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 2 0 1 0 1 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 50/1750 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 696916 t fired, 13612 attempts, .
19 EF STEQ 50/1750 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
31 EF FNDP 1/1183 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 10311 t fired, 212 attempts, .
35 EF EXCL 50/1799 5/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 721517 m, 14641 m/sec, 721519 t fired, .
Time elapsed: 51 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 2 0 1 0 1 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 55/1749 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 767433 t fired, 14770 attempts, .
19 EF STEQ 55/1749 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
31 EF FNDP 6/1182 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 80590 t fired, 1615 attempts, .
35 EF EXCL 55/1799 5/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 794977 m, 14692 m/sec, 794980 t fired, .
Time elapsed: 56 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 2 2 0 1 0 1 0
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 60/1744 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 838091 t fired, 15924 attempts, .
19 EF STEQ 60/1744 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
31 EF FNDP 11/1177 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 151040 t fired, 3050 attempts, .
35 EF EXCL 60/1799 6/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 868542 m, 14713 m/sec, 868544 t fired, .
Time elapsed: 61 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
lola: FINISHED task # 31 (type FNDP) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-15
lola: result : true
lola: fired transitions : 174930
lola: tried executions : 3506
lola: time used : 12.000000
lola: memory pages used : 0
lola: CANCELED task # 35 (type EXCL) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-15 (obsolete)
lola: LAUNCH task # 22 (type EXCL) for 0 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00
lola: time limit : 3538 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 23 (type SRCH) for 0 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 4 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 65/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 908306 t fired, 17091 attempts, .
19 EF STEQ 65/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 4/3538 1/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 98661 m, 19732 m/sec, 98663 t fired, .
23 EF SRCH 4/3538 1/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 65977 m, 13195 m/sec, 69636 t fired, .
Time elapsed: 66 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 4 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 70/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 978194 t fired, 18229 attempts, .
19 EF STEQ 70/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 9/3538 2/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 247026 m, 29673 m/sec, 247028 t fired, .
23 EF SRCH 9/3538 1/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 165657 m, 19936 m/sec, 174854 t fired, .
Time elapsed: 71 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 4 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 75/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1048212 t fired, 19395 attempts, .
19 EF STEQ 75/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 14/3538 3/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 395414 m, 29677 m/sec, 395417 t fired, .
23 EF SRCH 14/3538 2/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 265248 m, 19918 m/sec, 279978 t fired, .
Time elapsed: 76 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 4 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 80/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1118378 t fired, 20622 attempts, .
19 EF STEQ 80/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 19/3538 4/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 543609 m, 29639 m/sec, 543611 t fired, .
23 EF SRCH 19/3538 2/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 364816 m, 19913 m/sec, 385077 t fired, .
Time elapsed: 81 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 4 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 85/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1189141 t fired, 22018 attempts, .
19 EF STEQ 85/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 24/3538 5/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 692013 m, 29680 m/sec, 692015 t fired, .
23 EF SRCH 24/3538 3/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 464309 m, 19898 m/sec, 490098 t fired, .
Time elapsed: 86 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 4 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 90/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1259242 t fired, 23189 attempts, .
19 EF STEQ 90/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 29/3538 5/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 840682 m, 29733 m/sec, 840684 t fired, .
23 EF SRCH 29/3538 4/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 563798 m, 19897 m/sec, 595113 t fired, .
Time elapsed: 91 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 4 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 95/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1329427 t fired, 24401 attempts, .
19 EF STEQ 95/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 34/3538 6/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 989161 m, 29695 m/sec, 989163 t fired, .
23 EF SRCH 34/3538 4/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 663298 m, 19900 m/sec, 700141 t fired, .
Time elapsed: 96 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 4 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 100/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1399926 t fired, 25628 attempts, .
19 EF STEQ 100/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 39/3538 7/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1137576 m, 29683 m/sec, 1137578 t fired, .
23 EF SRCH 39/3538 5/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 762826 m, 19905 m/sec, 805199 t fired, .
Time elapsed: 101 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 4 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 105/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1470309 t fired, 26826 attempts, .
19 EF STEQ 105/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 44/3538 8/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1285828 m, 29650 m/sec, 1285830 t fired, .
23 EF SRCH 44/3538 5/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 862324 m, 19899 m/sec, 910225 t fired, .
Time elapsed: 106 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 4
lola: CANCELED task # 23 (type SRCH) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 110/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1540474 t fired, 27987 attempts, .
19 EF STEQ 110/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 49/3538 9/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1433938 m, 29622 m/sec, 1433940 t fired, .
Time elapsed: 111 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 115/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1610648 t fired, 29155 attempts, .
19 EF STEQ 115/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 54/3538 10/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1582002 m, 29612 m/sec, 1582004 t fired, .
Time elapsed: 116 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 120/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1681358 t fired, 30461 attempts, .
19 EF STEQ 120/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 59/3538 11/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1730641 m, 29727 m/sec, 1730644 t fired, .
Time elapsed: 121 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 125/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1751839 t fired, 31664 attempts, .
19 EF STEQ 125/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 64/3538 12/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1879248 m, 29721 m/sec, 1879250 t fired, .
Time elapsed: 126 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 130/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1822324 t fired, 32894 attempts, .
19 EF STEQ 130/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 69/3538 12/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2027504 m, 29651 m/sec, 2027506 t fired, .
Time elapsed: 131 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 135/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1892636 t fired, 34066 attempts, .
19 EF STEQ 135/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 74/3538 13/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2175865 m, 29672 m/sec, 2175867 t fired, .
Time elapsed: 136 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 140/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 1963036 t fired, 35232 attempts, .
19 EF STEQ 140/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 79/3538 14/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2324370 m, 29701 m/sec, 2324372 t fired, .
Time elapsed: 141 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 145/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2033531 t fired, 36423 attempts, .
19 EF STEQ 145/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 84/3538 15/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2472760 m, 29678 m/sec, 2472762 t fired, .
Time elapsed: 146 secs. Pages in use: 15
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 150/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2104391 t fired, 37625 attempts, .
19 EF STEQ 150/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 89/3538 16/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2622620 m, 29972 m/sec, 2622623 t fired, .
Time elapsed: 151 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 155/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2174991 t fired, 38820 attempts, .
19 EF STEQ 155/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 94/3538 17/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2770986 m, 29673 m/sec, 2770988 t fired, .
Time elapsed: 156 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 160/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2245613 t fired, 40031 attempts, .
19 EF STEQ 160/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 99/3538 18/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2919294 m, 29661 m/sec, 2919296 t fired, .
Time elapsed: 161 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 165/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2316718 t fired, 41424 attempts, .
19 EF STEQ 165/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 104/3538 18/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3067541 m, 29649 m/sec, 3067543 t fired, .
Time elapsed: 166 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 170/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2387231 t fired, 42602 attempts, .
19 EF STEQ 170/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 109/3538 19/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3215634 m, 29618 m/sec, 3215636 t fired, .
Time elapsed: 171 secs. Pages in use: 19
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 175/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2457568 t fired, 43774 attempts, .
19 EF STEQ 175/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 114/3538 20/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3363668 m, 29606 m/sec, 3363670 t fired, .
Time elapsed: 176 secs. Pages in use: 20
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 180/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2528361 t fired, 44948 attempts, .
19 EF STEQ 180/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 119/3538 21/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3512362 m, 29738 m/sec, 3512364 t fired, .
Time elapsed: 181 secs. Pages in use: 21
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 185/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2598899 t fired, 46154 attempts, .
19 EF STEQ 185/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 124/3538 22/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3660491 m, 29625 m/sec, 3660494 t fired, .
Time elapsed: 186 secs. Pages in use: 22
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 190/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2669395 t fired, 47308 attempts, .
19 EF STEQ 190/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 129/3538 23/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3808661 m, 29634 m/sec, 3808663 t fired, .
Time elapsed: 191 secs. Pages in use: 23
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 195/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2740125 t fired, 48516 attempts, .
19 EF STEQ 195/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 134/3538 24/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3956829 m, 29633 m/sec, 3956831 t fired, .
Time elapsed: 196 secs. Pages in use: 24
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 200/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2810591 t fired, 49705 attempts, .
19 EF STEQ 200/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 139/3538 25/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4104941 m, 29622 m/sec, 4104943 t fired, .
Time elapsed: 201 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 205/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2881472 t fired, 50877 attempts, .
19 EF STEQ 205/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 144/3538 25/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4253716 m, 29755 m/sec, 4253718 t fired, .
Time elapsed: 206 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 210/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 2952489 t fired, 52054 attempts, .
19 EF STEQ 210/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 149/3538 26/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4402776 m, 29812 m/sec, 4402778 t fired, .
Time elapsed: 211 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 215/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3022804 t fired, 53243 attempts, .
19 EF STEQ 215/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 154/3538 27/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4550178 m, 29480 m/sec, 4550181 t fired, .
Time elapsed: 216 secs. Pages in use: 27
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 220/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3094034 t fired, 54477 attempts, .
19 EF STEQ 220/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 159/3538 28/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4699080 m, 29780 m/sec, 4699082 t fired, .
Time elapsed: 221 secs. Pages in use: 28
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 225/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3164676 t fired, 55653 attempts, .
19 EF STEQ 225/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 164/3538 29/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4847248 m, 29633 m/sec, 4847250 t fired, .
Time elapsed: 226 secs. Pages in use: 29
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 230/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3234983 t fired, 56904 attempts, .
19 EF STEQ 230/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 169/3538 30/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4994066 m, 29363 m/sec, 4994068 t fired, .
Time elapsed: 231 secs. Pages in use: 30
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 235/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3305694 t fired, 58082 attempts, .
19 EF STEQ 235/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 174/3538 31/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5142602 m, 29707 m/sec, 5142604 t fired, .
Time elapsed: 236 secs. Pages in use: 31
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 240/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3376025 t fired, 59340 attempts, .
19 EF STEQ 240/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 179/3538 32/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5289392 m, 29358 m/sec, 5289394 t fired, .
Time elapsed: 241 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 245/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3446049 t fired, 60563 attempts, .
19 EF STEQ 245/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
22 EF EXCL 184/3538 32/32 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5435960 m, 29313 m/sec, 5435962 t fired, .
Time elapsed: 246 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 4
lola: CANCELED task # 22 (type EXCL) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 250/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3517606 t fired, 61742 attempts, .
19 EF STEQ 250/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 251 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 255/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3589413 t fired, 62993 attempts, .
19 EF STEQ 255/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 256 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 260/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3661194 t fired, 64198 attempts, .
19 EF STEQ 260/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 261 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 265/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3733204 t fired, 65486 attempts, .
19 EF STEQ 265/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 266 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 270/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3805800 t fired, 66696 attempts, .
19 EF STEQ 270/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 271 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 275/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3877277 t fired, 67915 attempts, .
19 EF STEQ 275/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 276 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 280/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 3949243 t fired, 69139 attempts, .
19 EF STEQ 280/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 281 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 285/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4021701 t fired, 70419 attempts, .
19 EF STEQ 285/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 286 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 290/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4094046 t fired, 71678 attempts, .
19 EF STEQ 290/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 291 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 295/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4165744 t fired, 72901 attempts, .
19 EF STEQ 295/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 296 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 300/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4237564 t fired, 74082 attempts, .
19 EF STEQ 300/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 301 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 305/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4309672 t fired, 75298 attempts, .
19 EF STEQ 305/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 306 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 310/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4382109 t fired, 76556 attempts, .
19 EF STEQ 310/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 311 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 315/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4454329 t fired, 77750 attempts, .
19 EF STEQ 315/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 316 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 320/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4526440 t fired, 78943 attempts, .
19 EF STEQ 320/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 321 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 325/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4598946 t fired, 80204 attempts, .
19 EF STEQ 325/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 326 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 330/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4671347 t fired, 81438 attempts, .
19 EF STEQ 330/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 331 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 335/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4743586 t fired, 82640 attempts, .
19 EF STEQ 335/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 336 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 340/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4816065 t fired, 83896 attempts, .
19 EF STEQ 340/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 341 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 345/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4888298 t fired, 85092 attempts, .
19 EF STEQ 345/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 346 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 350/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 4960684 t fired, 86287 attempts, .
19 EF STEQ 350/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 351 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 355/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5033904 t fired, 87580 attempts, .
19 EF STEQ 355/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 356 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 360/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5106634 t fired, 88831 attempts, .
19 EF STEQ 360/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 361 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 365/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5179777 t fired, 90138 attempts, .
19 EF STEQ 365/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 366 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 370/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5252037 t fired, 91362 attempts, .
19 EF STEQ 370/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 371 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 375/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5324419 t fired, 92621 attempts, .
19 EF STEQ 375/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 376 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 380/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5396366 t fired, 93834 attempts, .
19 EF STEQ 380/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 381 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 385/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5468456 t fired, 95045 attempts, .
19 EF STEQ 385/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 386 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 390/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5540011 t fired, 96285 attempts, .
19 EF STEQ 390/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 391 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 395/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5612048 t fired, 97497 attempts, .
19 EF STEQ 395/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 396 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 400/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5684196 t fired, 98820 attempts, .
19 EF STEQ 400/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 401 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 405/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5756019 t fired, 100058 attempts, .
19 EF STEQ 405/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 406 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 410/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5828347 t fired, 101392 attempts, .
19 EF STEQ 410/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 411 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 415/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5900111 t fired, 102616 attempts, .
19 EF STEQ 415/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 416 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 420/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 5972275 t fired, 103876 attempts, .
19 EF STEQ 420/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 421 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 425/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6044301 t fired, 105077 attempts, .
19 EF STEQ 425/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 426 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 430/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6116566 t fired, 106298 attempts, .
19 EF STEQ 430/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 431 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 435/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6188500 t fired, 107472 attempts, .
19 EF STEQ 435/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 436 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 440/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6260950 t fired, 108722 attempts, .
19 EF STEQ 440/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 441 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 445/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6333562 t fired, 109998 attempts, .
19 EF STEQ 445/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 446 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 450/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6406176 t fired, 111269 attempts, .
19 EF STEQ 450/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 451 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 455/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6477283 t fired, 112533 attempts, .
19 EF STEQ 455/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 456 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 460/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6548312 t fired, 113731 attempts, .
19 EF STEQ 460/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 461 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 465/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6618869 t fired, 114906 attempts, .
19 EF STEQ 465/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 466 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 470/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6691098 t fired, 116129 attempts, .
19 EF STEQ 470/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 471 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 475/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6759617 t fired, 117308 attempts, .
19 EF STEQ 475/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 476 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 480/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6830474 t fired, 118491 attempts, .
19 EF STEQ 480/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 481 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 485/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6901394 t fired, 119647 attempts, .
19 EF STEQ 485/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 486 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 490/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 6973030 t fired, 120917 attempts, .
19 EF STEQ 490/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 491 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 495/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7042887 t fired, 122142 attempts, .
19 EF STEQ 495/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 496 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 500/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7113681 t fired, 123338 attempts, .
19 EF STEQ 500/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 501 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 505/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7184225 t fired, 124538 attempts, .
19 EF STEQ 505/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 506 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 510/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7255285 t fired, 125774 attempts, .
19 EF STEQ 510/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 511 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 515/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7326358 t fired, 126975 attempts, .
19 EF STEQ 515/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 516 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 520/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7397733 t fired, 128202 attempts, .
19 EF STEQ 520/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 521 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 525/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7469703 t fired, 129457 attempts, .
19 EF STEQ 525/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 526 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 530/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7542547 t fired, 130692 attempts, .
19 EF STEQ 530/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 531 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 535/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7615248 t fired, 131904 attempts, .
19 EF STEQ 535/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 536 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 540/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7688299 t fired, 133200 attempts, .
19 EF STEQ 540/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 541 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 545/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7761276 t fired, 134480 attempts, .
19 EF STEQ 545/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 546 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 550/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7833739 t fired, 135694 attempts, .
19 EF STEQ 550/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 551 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 555/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7906529 t fired, 136944 attempts, .
19 EF STEQ 555/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 556 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 560/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 7979212 t fired, 138173 attempts, .
19 EF STEQ 560/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 561 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 565/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8052279 t fired, 139448 attempts, .
19 EF STEQ 565/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 566 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 570/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8124896 t fired, 140693 attempts, .
19 EF STEQ 570/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 571 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 575/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8196926 t fired, 141912 attempts, .
19 EF STEQ 575/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 576 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 580/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8269350 t fired, 143156 attempts, .
19 EF STEQ 580/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 581 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 585/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8341861 t fired, 144370 attempts, .
19 EF STEQ 585/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 586 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 590/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8414389 t fired, 145576 attempts, .
19 EF STEQ 590/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 591 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 595/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8484433 t fired, 146752 attempts, .
19 EF STEQ 595/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 596 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 600/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8556841 t fired, 147962 attempts, .
19 EF STEQ 600/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 601 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 605/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8629130 t fired, 149164 attempts, .
19 EF STEQ 605/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 606 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 610/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8701651 t fired, 150395 attempts, .
19 EF STEQ 610/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 611 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 615/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8774523 t fired, 151639 attempts, .
19 EF STEQ 615/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 616 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 620/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8847341 t fired, 152881 attempts, .
19 EF STEQ 620/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 621 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 625/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8918597 t fired, 154100 attempts, .
19 EF STEQ 625/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 626 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 630/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 8991617 t fired, 155392 attempts, .
19 EF STEQ 630/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 631 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 635/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9064012 t fired, 156581 attempts, .
19 EF STEQ 635/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 636 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 640/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9136910 t fired, 157799 attempts, .
19 EF STEQ 640/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 641 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 645/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9209970 t fired, 159015 attempts, .
19 EF STEQ 645/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 646 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 650/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9281214 t fired, 160198 attempts, .
19 EF STEQ 650/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 651 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 655/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9352399 t fired, 161395 attempts, .
19 EF STEQ 655/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 656 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 660/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9425383 t fired, 162679 attempts, .
19 EF STEQ 660/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 661 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 665/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9497998 t fired, 163908 attempts, .
19 EF STEQ 665/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 666 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 670/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9566802 t fired, 165077 attempts, .
19 EF STEQ 670/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 671 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 675/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9636805 t fired, 166217 attempts, .
19 EF STEQ 675/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 676 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 680/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9705871 t fired, 167378 attempts, .
19 EF STEQ 680/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 681 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 685/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9778801 t fired, 168593 attempts, .
19 EF STEQ 685/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 686 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 690/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9852104 t fired, 169889 attempts, .
19 EF STEQ 690/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 691 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 695/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9923687 t fired, 171094 attempts, .
19 EF STEQ 695/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 696 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 700/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 9995293 t fired, 172272 attempts, .
19 EF STEQ 700/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 701 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 705/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 10067273 t fired, 173452 attempts, .
19 EF STEQ 705/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 706 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 710/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 10139029 t fired, 174685 attempts, .
19 EF STEQ 710/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 711 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 715/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 10211892 t fired, 175909 attempts, .
19 EF STEQ 715/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 716 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 720/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 10285175 t fired, 177168 attempts, .
19 EF STEQ 720/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 721 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 725/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 10358673 t fired, 178446 attempts, .
19 EF STEQ 725/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 726 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF 0 0 2 0 1 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 730/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 10431609 t fired, 179660 attempts, .
19 EF STEQ 730/3599 0/5 DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 sara is running.
Time elapsed: 731 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 4
lola: FINISHED task # 18 (type FNDP) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-00
lola: result : true
lola: fired transitions : 10463490
lola: tried executions : 180189
lola: time used : 732.000000
lola: memory pages used : 0
lola: CANCELED task # 19 (type EQUN) for DoubleLock-PT-p2s2-ReachabilityFireability-2024-00 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DoubleLock-PT-p2s2-ReachabilityFireability-2024-00: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-09: AG false findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-10: EF true findpath
DoubleLock-PT-p2s2-ReachabilityFireability-2024-15: EF true findpath
Time elapsed: 733 secs. Pages in use: 32
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DoubleLock-PT-p2s2"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2023"
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-5568"
echo " Executing tool gold2023"
echo " Input is DoubleLock-PT-p2s2, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r153-tall-171631151700390"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleLock-PT-p2s2.tgz
mv DoubleLock-PT-p2s2 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;