About the Execution of LoLA for CryptoMiner-COL-D03N000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16206.140 | 370935.00 | 1214680.00 | 4394.40 | ??FTT??????FTTF? | 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.r093-tall-171624190600295.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 lola
Input is CryptoMiner-COL-D03N000, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-171624190600295
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 7.4K Apr 12 12:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Apr 12 12:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Apr 12 12:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Apr 12 12:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 22 14:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 22 14:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 22 14:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 22 14:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 12 12:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Apr 12 12:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 12 12:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 116K Apr 12 12:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 22 14:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_pt
-rw-r--r-- 1 mcc users 8 May 18 16:42 instance
-rw-r--r-- 1 mcc users 5 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 9.2K 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 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-02
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-03
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-04
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-11
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-12
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-13
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-14
FORMULA_NAME CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717126644628
FORMULA CryptoMiner-COL-D03N000-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D03N000-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D03N000-ReachabilityFireability-2024-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D03N000-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D03N000-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D03N000-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D03N000-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717127015563
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains High-Level net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading HL formula in XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mReachabilityFireability.xml[0m
[[35mlola[0m][I] Places: 8, Transitions: 8
[[35mlola[0m][I] LAUNCH task # 8 (type SKEL/CNST) for 6 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 11 (type SKEL/CNST) for 9 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 14 (type SKEL/CNST) for 12 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 35 (type SKEL/CNST) for 33 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 38 (type SKEL/CNST) for 36 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 41 (type SKEL/CNST) for 39 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 44 (type SKEL/CNST) for 42 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 44 (type SKEL/CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 8 (type SKEL/CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 11 (type SKEL/CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 14 (type SKEL/CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 35 (type SKEL/CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 38 (type SKEL/CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 41 (type SKEL/CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 7 (type CNST) for 6 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 10 (type CNST) for 9 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 13 (type CNST) for 12 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 34 (type CNST) for 33 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 37 (type CNST) for 36 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][W] CANCELED task # 7 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-02 (obsolete)
[[35mlola[0m][W] CANCELED task # 10 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-03 (obsolete)
[[35mlola[0m][W] CANCELED task # 13 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-04 (obsolete)
[[35mlola[0m][W] CANCELED task # 34 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-11 (obsolete)
[[35mlola[0m][W] CANCELED task # 37 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-12 (obsolete)
[[35mlola[0m][I] FINISHED task # 7 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 13 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 34 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 37 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 10 (type CNST) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 18 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 399 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 18 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 18 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type FNDP) for 21 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 5/599 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 1224939 attempts, .
[[35mlola[0m][.] 49 EF STEQ 5/599 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 5/399 10/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 2906679 m, 581335 m/sec, 2906679 t fired, .
[[35mlola[0m][.] 52 EF FNDP 5/599 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 786712 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 6 secs. Pages in use: 10
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 10/594 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 2654433 attempts, .
[[35mlola[0m][.] 49 EF STEQ 10/594 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 10/399 22/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 6245443 m, 667752 m/sec, 6245443 t fired, .
[[35mlola[0m][.] 52 EF FNDP 10/594 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 1733640 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 11 secs. Pages in use: 22
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 15/589 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 4104923 attempts, .
[[35mlola[0m][.] 49 EF STEQ 15/589 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 15/399 33/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 9520105 m, 654932 m/sec, 9520105 t fired, .
[[35mlola[0m][.] 52 EF FNDP 15/589 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 2662163 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 16 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 20/584 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 5542489 attempts, .
[[35mlola[0m][.] 49 EF STEQ 20/584 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 20/399 44/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 12747048 m, 645388 m/sec, 12747048 t fired, .
[[35mlola[0m][.] 52 EF FNDP 20/584 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 3608223 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 21 secs. Pages in use: 44
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 25/579 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 7016253 attempts, .
[[35mlola[0m][.] 49 EF STEQ 25/579 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 25/399 55/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 16009305 m, 652451 m/sec, 16009305 t fired, .
[[35mlola[0m][.] 52 EF FNDP 25/579 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 4546053 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 26 secs. Pages in use: 55
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 30/574 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 8493139 attempts, .
[[35mlola[0m][.] 49 EF STEQ 30/574 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 30/399 67/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 19247096 m, 647558 m/sec, 19247095 t fired, .
[[35mlola[0m][.] 52 EF FNDP 30/574 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 5478655 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 31 secs. Pages in use: 67
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 35/569 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 9958260 attempts, .
[[35mlola[0m][.] 49 EF STEQ 35/569 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 35/399 77/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 22388738 m, 628328 m/sec, 22388737 t fired, .
[[35mlola[0m][.] 52 EF FNDP 35/569 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 6417021 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 36 secs. Pages in use: 77
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 40/564 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 11437052 attempts, .
[[35mlola[0m][.] 49 EF STEQ 40/564 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 40/399 88/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 25432506 m, 608753 m/sec, 25432506 t fired, .
[[35mlola[0m][.] 52 EF FNDP 40/564 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 7351596 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 41 secs. Pages in use: 88
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 45/559 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 12919093 attempts, .
[[35mlola[0m][.] 49 EF STEQ 45/559 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 45/399 99/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 28603938 m, 634286 m/sec, 28603938 t fired, .
[[35mlola[0m][.] 52 EF FNDP 45/559 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 8286394 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 46 secs. Pages in use: 99
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 50/554 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 14444276 attempts, .
[[35mlola[0m][.] 49 EF STEQ 50/554 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 50/399 110/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 31803381 m, 639888 m/sec, 31803381 t fired, .
[[35mlola[0m][.] 52 EF FNDP 50/554 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 9236944 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 51 secs. Pages in use: 110
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 55/549 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 15951047 attempts, .
[[35mlola[0m][.] 49 EF STEQ 55/549 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 55/399 121/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 34979208 m, 635165 m/sec, 34979208 t fired, .
[[35mlola[0m][.] 52 EF FNDP 55/549 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 10177071 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 121
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 60/544 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 17435238 attempts, .
[[35mlola[0m][.] 49 EF STEQ 60/544 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 60/399 131/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 38074812 m, 619120 m/sec, 38074812 t fired, .
[[35mlola[0m][.] 52 EF FNDP 60/544 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 11087335 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 131
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 65/539 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 18909027 attempts, .
[[35mlola[0m][.] 49 EF STEQ 65/539 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 65/399 142/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 41183895 m, 621816 m/sec, 41183895 t fired, .
[[35mlola[0m][.] 52 EF FNDP 65/539 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 12026102 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 142
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 70/534 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 20377823 attempts, .
[[35mlola[0m][.] 49 EF STEQ 70/534 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 70/399 153/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 44301412 m, 623503 m/sec, 44301411 t fired, .
[[35mlola[0m][.] 52 EF FNDP 70/534 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 12970472 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 153
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 75/529 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 21861325 attempts, .
[[35mlola[0m][.] 49 EF STEQ 75/529 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 75/399 163/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 47341736 m, 608064 m/sec, 47341736 t fired, .
[[35mlola[0m][.] 52 EF FNDP 75/529 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 13907365 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 163
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 80/524 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 23314783 attempts, .
[[35mlola[0m][.] 49 EF STEQ 80/524 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 80/399 173/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 50379732 m, 607599 m/sec, 50379732 t fired, .
[[35mlola[0m][.] 52 EF FNDP 80/524 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 14851531 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 173
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 85/519 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 24797333 attempts, .
[[35mlola[0m][.] 49 EF STEQ 85/519 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 85/399 184/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 53497651 m, 623583 m/sec, 53497651 t fired, .
[[35mlola[0m][.] 52 EF FNDP 85/519 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 15778604 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 184
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 90/514 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 26291164 attempts, .
[[35mlola[0m][.] 49 EF STEQ 90/514 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 90/399 195/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 56522563 m, 604982 m/sec, 56522562 t fired, .
[[35mlola[0m][.] 52 EF FNDP 90/514 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 16699478 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 195
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 95/509 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 27747552 attempts, .
[[35mlola[0m][.] 49 EF STEQ 95/509 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 95/399 205/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 59559384 m, 607364 m/sec, 59559384 t fired, .
[[35mlola[0m][.] 52 EF FNDP 95/509 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 17639294 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 205
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 100/504 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 29205530 attempts, .
[[35mlola[0m][.] 49 EF STEQ 100/504 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 100/399 215/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 62527066 m, 593536 m/sec, 62527065 t fired, .
[[35mlola[0m][.] 52 EF FNDP 100/504 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 18578469 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 215
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 105/499 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 30667517 attempts, .
[[35mlola[0m][.] 49 EF STEQ 105/499 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 105/399 225/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 65489145 m, 592415 m/sec, 65489144 t fired, .
[[35mlola[0m][.] 52 EF FNDP 105/499 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 19522856 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 225
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 110/494 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 32131617 attempts, .
[[35mlola[0m][.] 49 EF STEQ 110/494 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 110/399 236/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 68499592 m, 602089 m/sec, 68499592 t fired, .
[[35mlola[0m][.] 52 EF FNDP 110/494 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 20466750 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 236
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 115/489 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 33598667 attempts, .
[[35mlola[0m][.] 49 EF STEQ 115/489 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 115/399 246/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 71561942 m, 612470 m/sec, 71561942 t fired, .
[[35mlola[0m][.] 52 EF FNDP 115/489 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 21406100 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 246
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 120/484 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 34968187 attempts, .
[[35mlola[0m][.] 49 EF STEQ 120/484 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 120/399 256/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 74470854 m, 581782 m/sec, 74470853 t fired, .
[[35mlola[0m][.] 52 EF FNDP 120/484 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 22314039 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 256
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 125/479 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 36453334 attempts, .
[[35mlola[0m][.] 49 EF STEQ 125/479 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 125/399 267/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 77482942 m, 602417 m/sec, 77482942 t fired, .
[[35mlola[0m][.] 52 EF FNDP 125/479 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 23245248 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 267
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 130/474 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 37925040 attempts, .
[[35mlola[0m][.] 49 EF STEQ 130/474 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 130/399 277/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 80481618 m, 599735 m/sec, 80481618 t fired, .
[[35mlola[0m][.] 52 EF FNDP 130/474 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 24184649 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 277
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 135/469 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 39418448 attempts, .
[[35mlola[0m][.] 49 EF STEQ 135/469 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 135/399 287/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 83434671 m, 590610 m/sec, 83434670 t fired, .
[[35mlola[0m][.] 52 EF FNDP 135/469 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 25112029 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 287
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 140/464 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 40897270 attempts, .
[[35mlola[0m][.] 49 EF STEQ 140/464 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 140/399 297/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 86466752 m, 606416 m/sec, 86466751 t fired, .
[[35mlola[0m][.] 52 EF FNDP 140/464 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 26042391 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 297
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 145/459 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 42358354 attempts, .
[[35mlola[0m][.] 49 EF STEQ 145/459 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 145/399 308/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 89462501 m, 599149 m/sec, 89462501 t fired, .
[[35mlola[0m][.] 52 EF FNDP 145/459 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 26968592 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 308
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 150/454 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 43813643 attempts, .
[[35mlola[0m][.] 49 EF STEQ 150/454 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 150/399 318/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 92426562 m, 592812 m/sec, 92426561 t fired, .
[[35mlola[0m][.] 52 EF FNDP 150/454 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 27887930 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 318
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 155/449 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 45307675 attempts, .
[[35mlola[0m][.] 49 EF STEQ 155/449 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 155/399 328/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 95454267 m, 605541 m/sec, 95454267 t fired, .
[[35mlola[0m][.] 52 EF FNDP 155/449 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 28806977 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 328
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 160/444 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 46797450 attempts, .
[[35mlola[0m][.] 49 EF STEQ 160/444 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 160/399 339/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 98449614 m, 599069 m/sec, 98449613 t fired, .
[[35mlola[0m][.] 52 EF FNDP 160/444 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 29740841 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 339
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 165/439 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 48282726 attempts, .
[[35mlola[0m][.] 49 EF STEQ 165/439 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 165/399 349/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 101490872 m, 608251 m/sec, 101490872 t fired, .
[[35mlola[0m][.] 52 EF FNDP 165/439 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 30674067 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 349
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 170/434 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 49763768 attempts, .
[[35mlola[0m][.] 49 EF STEQ 170/434 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 170/399 360/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 104567588 m, 615343 m/sec, 104567588 t fired, .
[[35mlola[0m][.] 52 EF FNDP 170/434 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 31595126 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 secs. Pages in use: 360
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 175/429 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 51256432 attempts, .
[[35mlola[0m][.] 49 EF STEQ 175/429 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 175/399 370/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 107589476 m, 604377 m/sec, 107589476 t fired, .
[[35mlola[0m][.] 52 EF FNDP 175/429 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 32512603 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 secs. Pages in use: 370
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 180/424 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 52746885 attempts, .
[[35mlola[0m][.] 49 EF STEQ 180/424 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 180/399 380/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 110634949 m, 609094 m/sec, 110634949 t fired, .
[[35mlola[0m][.] 52 EF FNDP 180/424 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 33437715 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 380
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 185/419 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 54241005 attempts, .
[[35mlola[0m][.] 49 EF STEQ 185/419 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 185/399 391/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 113657736 m, 604557 m/sec, 113657735 t fired, .
[[35mlola[0m][.] 52 EF FNDP 185/419 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 34355760 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 secs. Pages in use: 391
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 190/414 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 55724473 attempts, .
[[35mlola[0m][.] 49 EF STEQ 190/414 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 190/399 401/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 116635696 m, 595592 m/sec, 116635696 t fired, .
[[35mlola[0m][.] 52 EF FNDP 190/414 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 35283962 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 401
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 195/409 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 57201435 attempts, .
[[35mlola[0m][.] 49 EF STEQ 195/409 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 195/399 411/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 119659939 m, 604848 m/sec, 119659939 t fired, .
[[35mlola[0m][.] 52 EF FNDP 195/409 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 36208934 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 secs. Pages in use: 411
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 200/404 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 58695848 attempts, .
[[35mlola[0m][.] 49 EF STEQ 200/404 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 200/399 422/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 122661594 m, 600331 m/sec, 122661593 t fired, .
[[35mlola[0m][.] 52 EF FNDP 200/404 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 37134067 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 secs. Pages in use: 422
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 205/399 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 60164089 attempts, .
[[35mlola[0m][.] 49 EF STEQ 205/399 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 205/399 432/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 125605219 m, 588725 m/sec, 125605219 t fired, .
[[35mlola[0m][.] 52 EF FNDP 205/399 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 38070916 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 432
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 210/394 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 61644981 attempts, .
[[35mlola[0m][.] 49 EF STEQ 210/394 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 210/399 442/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 128538874 m, 586731 m/sec, 128538873 t fired, .
[[35mlola[0m][.] 52 EF FNDP 210/394 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 39001354 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 442
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 215/389 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 63112077 attempts, .
[[35mlola[0m][.] 49 EF STEQ 215/389 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 215/399 452/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 131440259 m, 580277 m/sec, 131440259 t fired, .
[[35mlola[0m][.] 52 EF FNDP 215/389 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 39923968 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 452
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 220/384 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 64564946 attempts, .
[[35mlola[0m][.] 49 EF STEQ 220/384 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 220/399 462/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 134334322 m, 578812 m/sec, 134334321 t fired, .
[[35mlola[0m][.] 52 EF FNDP 220/384 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 40858263 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 462
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 225/379 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 66022302 attempts, .
[[35mlola[0m][.] 49 EF STEQ 225/379 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 225/399 472/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 137377370 m, 608609 m/sec, 137377369 t fired, .
[[35mlola[0m][.] 52 EF FNDP 225/379 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 41788784 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 472
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 230/374 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 67492121 attempts, .
[[35mlola[0m][.] 49 EF STEQ 230/374 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 230/399 483/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 140410176 m, 606561 m/sec, 140410175 t fired, .
[[35mlola[0m][.] 52 EF FNDP 230/374 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 42715613 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 483
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 235/369 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 68969773 attempts, .
[[35mlola[0m][.] 49 EF STEQ 235/369 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 235/399 493/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 143459070 m, 609778 m/sec, 143459069 t fired, .
[[35mlola[0m][.] 52 EF FNDP 235/369 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 43643100 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 493
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 240/364 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 70444116 attempts, .
[[35mlola[0m][.] 49 EF STEQ 240/364 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 240/399 503/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 146455478 m, 599281 m/sec, 146455478 t fired, .
[[35mlola[0m][.] 52 EF FNDP 240/364 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 44570628 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 503
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 245/359 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 71902297 attempts, .
[[35mlola[0m][.] 49 EF STEQ 245/359 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 245/399 514/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 149452059 m, 599316 m/sec, 149452059 t fired, .
[[35mlola[0m][.] 52 EF FNDP 245/359 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 45505374 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 514
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 250/354 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 73371208 attempts, .
[[35mlola[0m][.] 49 EF STEQ 250/354 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 250/399 524/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 152443412 m, 598270 m/sec, 152443411 t fired, .
[[35mlola[0m][.] 52 EF FNDP 250/354 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 46434452 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 251 secs. Pages in use: 524
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 255/349 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 74839206 attempts, .
[[35mlola[0m][.] 49 EF STEQ 255/349 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 255/399 534/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 155443743 m, 600066 m/sec, 155443743 t fired, .
[[35mlola[0m][.] 52 EF FNDP 255/349 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 47363230 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 256 secs. Pages in use: 534
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 260/344 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 76320896 attempts, .
[[35mlola[0m][.] 49 EF STEQ 260/344 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 260/399 544/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 158406863 m, 592624 m/sec, 158406863 t fired, .
[[35mlola[0m][.] 52 EF FNDP 260/344 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 48289142 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 261 secs. Pages in use: 544
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 265/339 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 77797637 attempts, .
[[35mlola[0m][.] 49 EF STEQ 265/339 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 265/399 555/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 161383435 m, 595314 m/sec, 161383435 t fired, .
[[35mlola[0m][.] 52 EF FNDP 265/339 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 49213729 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 266 secs. Pages in use: 555
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 270/334 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 79278886 attempts, .
[[35mlola[0m][.] 49 EF STEQ 270/334 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 270/399 565/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 164289615 m, 581236 m/sec, 164289614 t fired, .
[[35mlola[0m][.] 52 EF FNDP 270/334 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 50144163 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 271 secs. Pages in use: 565
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 275/329 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 80759348 attempts, .
[[35mlola[0m][.] 49 EF STEQ 275/329 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 275/399 575/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 167228093 m, 587695 m/sec, 167228093 t fired, .
[[35mlola[0m][.] 52 EF FNDP 275/329 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 51076343 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 276 secs. Pages in use: 575
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 280/324 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 82235663 attempts, .
[[35mlola[0m][.] 49 EF STEQ 280/324 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 280/399 585/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 170218610 m, 598103 m/sec, 170218609 t fired, .
[[35mlola[0m][.] 52 EF FNDP 280/324 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 51999864 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 281 secs. Pages in use: 585
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 285/319 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 83713598 attempts, .
[[35mlola[0m][.] 49 EF STEQ 285/319 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 285/399 595/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 173123598 m, 580997 m/sec, 173123597 t fired, .
[[35mlola[0m][.] 52 EF FNDP 285/319 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 52928789 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 286 secs. Pages in use: 595
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 290/314 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 85178680 attempts, .
[[35mlola[0m][.] 49 EF STEQ 290/314 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 290/399 605/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 176025984 m, 580477 m/sec, 176025984 t fired, .
[[35mlola[0m][.] 52 EF FNDP 290/314 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 53849071 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 291 secs. Pages in use: 605
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 295/309 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 86653374 attempts, .
[[35mlola[0m][.] 49 EF STEQ 295/309 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 295/399 615/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 178957595 m, 586322 m/sec, 178957594 t fired, .
[[35mlola[0m][.] 52 EF FNDP 295/309 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 54767635 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 296 secs. Pages in use: 615
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 300/304 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 88152625 attempts, .
[[35mlola[0m][.] 49 EF STEQ 300/304 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 300/399 625/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 181852542 m, 578989 m/sec, 181852541 t fired, .
[[35mlola[0m][.] 52 EF FNDP 300/304 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 55687662 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 301 secs. Pages in use: 625
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 (local timeout)
[[35mlola[0m][W] CANCELED task # 49 (type EQUN) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 (local timeout)
[[35mlola[0m][W] CANCELED task # 52 (type FNDP) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 1 0 1 2 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 0 0 1 1 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 306/399 634/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 184599025 m, 549296 m/sec, 184599025 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 307 secs. Pages in use: 634
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 89597807
[[35mlola[0m][I] time used : 306
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 52 (type FNDP) for CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 56609262
[[35mlola[0m][I] time used : 306
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 55 (type FNDP) for 30 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 60 (type FNDP) for 3 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 61 (type EQUN) for 30 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 1 0 2 1 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 314/399 635/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 184780135 m, 36222 m/sec, 184780135 t fired, .
[[35mlola[0m][.] 55 EF FNDP 8/658 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10 53040 attempts, .
[[35mlola[0m][.] 60 EF FNDP 8/658 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01 89496 attempts, .
[[35mlola[0m][.] 61 EF STEQ 8/658 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 315 secs. Pages in use: 635
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-03: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-04: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-11: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-13: INITIAL true skeleton: preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-ReachabilityFireability-2024-14: INITIAL false skeleton: preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06: EF 0 0 1 0 2 1 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D03N000-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 321/399 635/2000 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-06 184861821 m, 16337 m/sec, 184861821 t fired, .
[[35mlola[0m][.] 55 EF FNDP 15/650 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10 80106 attempts, .
[[35mlola[0m][.] 60 EF FNDP 15/650 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-01 129160 attempts, .
[[35mlola[0m][.] 61 EF STEQ 15/650 0/5 CryptoMiner-COL-D03N000-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 322 secs. Pages in use: 635
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 399 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CryptoMiner-COL-D03N000"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is CryptoMiner-COL-D03N000, 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 r093-tall-171624190600295"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CryptoMiner-COL-D03N000.tgz
mv CryptoMiner-COL-D03N000 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 ;