About the Execution of LoLA for CryptoMiner-PT-D05N100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2300.048 | 232120.00 | 847819.00 | 223.60 | FF?F?F?????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r093-tall-171624190800399.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-PT-D05N100, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-171624190800399
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 736K
-rw-r--r-- 1 mcc users 11K Apr 12 12:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Apr 12 12:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 12 12:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K Apr 12 12:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Apr 22 14:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Apr 22 14:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 22 14:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 36K Apr 12 12:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 252K Apr 12 12:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Apr 12 12:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 129K Apr 12 12:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Apr 22 14:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.1K Apr 22 14:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 8 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 7.8K 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-PT-D05N100-ReachabilityFireability-2024-00
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-01
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-05
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14
FORMULA_NAME CryptoMiner-PT-D05N100-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717145894288
FORMULA CryptoMiner-PT-D05N100-ReachabilityFireability-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D05N100-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D05N100-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717146126408
--------------------
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 place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mReachabilityFireability.xml[0m
[[35mlola[0m][I] LAUNCH task # 1 (type CNST) for 0 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 4 (type CNST) for 3 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 1 (type CNST) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 4 (type CNST) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : false
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 16 (type CNST) for 15 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 16 (type CNST) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 51 (type EXCL) for 6 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 299 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 49 (type FNDP) for 6 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 50 (type EQUN) for 6 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 12 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 50 (type EQUN) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 27 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09
[[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-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/448 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 159196 attempts, .
[[35mlola[0m][.] 49 EF FNDP 5/448 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 159722 attempts, .
[[35mlola[0m][.] 51 EF EXCL 5/276 6/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 1675201 m, 335040 m/sec, 1878658 t fired, .
[[35mlola[0m][.] 54 EF FNDP 4/399 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 132497 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 6 secs. Pages in use: 6
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/444 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 342427 attempts, .
[[35mlola[0m][.] 49 EF FNDP 10/444 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 293402 attempts, .
[[35mlola[0m][.] 51 EF EXCL 10/276 11/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 3063722 m, 277704 m/sec, 3458063 t fired, .
[[35mlola[0m][.] 54 EF FNDP 9/395 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 305057 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 11 secs. Pages in use: 11
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/439 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 570210 attempts, .
[[35mlola[0m][.] 49 EF FNDP 15/439 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 399196 attempts, .
[[35mlola[0m][.] 51 EF EXCL 15/276 13/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 3648245 m, 116904 m/sec, 4126230 t fired, .
[[35mlola[0m][.] 54 EF FNDP 14/390 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 425164 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 16 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/434 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 854217 attempts, .
[[35mlola[0m][.] 49 EF FNDP 20/434 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 551393 attempts, .
[[35mlola[0m][.] 51 EF EXCL 20/276 16/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 4420005 m, 154352 m/sec, 5010820 t fired, .
[[35mlola[0m][.] 54 EF FNDP 19/385 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 502888 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 21 secs. Pages in use: 16
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/429 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 1070522 attempts, .
[[35mlola[0m][.] 49 EF FNDP 25/429 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 678375 attempts, .
[[35mlola[0m][.] 51 EF EXCL 25/276 18/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5209784 m, 157955 m/sec, 5918854 t fired, .
[[35mlola[0m][.] 54 EF FNDP 24/380 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 590136 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 26 secs. Pages in use: 18
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/424 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 1302837 attempts, .
[[35mlola[0m][.] 49 EF FNDP 30/424 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 804103 attempts, .
[[35mlola[0m][.] 51 EF EXCL 30/276 21/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5987642 m, 155571 m/sec, 6813773 t fired, .
[[35mlola[0m][.] 54 EF FNDP 29/375 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 675614 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 31 secs. Pages in use: 21
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/419 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 1488198 attempts, .
[[35mlola[0m][.] 49 EF FNDP 35/419 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 955864 attempts, .
[[35mlola[0m][.] 51 EF EXCL 35/276 23/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 6638228 m, 130117 m/sec, 7562738 t fired, .
[[35mlola[0m][.] 54 EF FNDP 34/370 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 768742 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 36 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/414 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 1743110 attempts, .
[[35mlola[0m][.] 49 EF FNDP 40/414 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 1101830 attempts, .
[[35mlola[0m][.] 51 EF EXCL 40/276 26/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 7428521 m, 158058 m/sec, 8473177 t fired, .
[[35mlola[0m][.] 54 EF FNDP 39/365 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 844984 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 41 secs. Pages in use: 26
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/409 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 1972435 attempts, .
[[35mlola[0m][.] 49 EF FNDP 45/409 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 1232108 attempts, .
[[35mlola[0m][.] 51 EF EXCL 45/276 29/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 8205471 m, 155390 m/sec, 9368483 t fired, .
[[35mlola[0m][.] 54 EF FNDP 44/360 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 930955 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 46 secs. Pages in use: 29
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/404 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 2202016 attempts, .
[[35mlola[0m][.] 49 EF FNDP 50/404 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 1328044 attempts, .
[[35mlola[0m][.] 51 EF EXCL 50/276 33/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 9446660 m, 248237 m/sec, 10800905 t fired, .
[[35mlola[0m][.] 54 EF FNDP 49/355 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1031741 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 51 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-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/399 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 2471765 attempts, .
[[35mlola[0m][.] 49 EF FNDP 55/399 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 1420087 attempts, .
[[35mlola[0m][.] 51 EF EXCL 55/276 36/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 10383852 m, 187438 m/sec, 11881395 t fired, .
[[35mlola[0m][.] 54 EF FNDP 54/350 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1118454 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 36
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/394 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 2699650 attempts, .
[[35mlola[0m][.] 49 EF FNDP 60/394 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 1552894 attempts, .
[[35mlola[0m][.] 51 EF EXCL 60/276 39/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 11160598 m, 155349 m/sec, 12776808 t fired, .
[[35mlola[0m][.] 54 EF FNDP 59/345 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1206217 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/389 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 2909910 attempts, .
[[35mlola[0m][.] 49 EF FNDP 65/389 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 1672573 attempts, .
[[35mlola[0m][.] 51 EF EXCL 65/276 42/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 11947007 m, 157281 m/sec, 13683996 t fired, .
[[35mlola[0m][.] 54 EF FNDP 64/340 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1297667 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 42
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/384 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 3139846 attempts, .
[[35mlola[0m][.] 49 EF FNDP 70/384 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 1814966 attempts, .
[[35mlola[0m][.] 51 EF EXCL 70/276 44/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 12729297 m, 156458 m/sec, 14588116 t fired, .
[[35mlola[0m][.] 54 EF FNDP 69/335 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1387026 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 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-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/379 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 3358769 attempts, .
[[35mlola[0m][.] 49 EF FNDP 75/379 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 1929814 attempts, .
[[35mlola[0m][.] 51 EF EXCL 75/276 47/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 13462033 m, 146547 m/sec, 15432945 t fired, .
[[35mlola[0m][.] 54 EF FNDP 74/330 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1477592 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 47
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/374 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 3607822 attempts, .
[[35mlola[0m][.] 49 EF FNDP 80/374 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 2071451 attempts, .
[[35mlola[0m][.] 51 EF EXCL 80/276 49/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 14227292 m, 153051 m/sec, 16318209 t fired, .
[[35mlola[0m][.] 54 EF FNDP 79/325 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1557911 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 49
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/369 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 3871288 attempts, .
[[35mlola[0m][.] 49 EF FNDP 85/369 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 2219823 attempts, .
[[35mlola[0m][.] 51 EF EXCL 85/276 52/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 15009691 m, 156479 m/sec, 17220099 t fired, .
[[35mlola[0m][.] 54 EF FNDP 84/320 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1634515 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 52
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/364 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 4090024 attempts, .
[[35mlola[0m][.] 49 EF FNDP 90/364 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 2339066 attempts, .
[[35mlola[0m][.] 51 EF EXCL 90/276 55/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 15812074 m, 160476 m/sec, 18148643 t fired, .
[[35mlola[0m][.] 54 EF FNDP 89/315 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1728626 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 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-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/359 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 4309707 attempts, .
[[35mlola[0m][.] 49 EF FNDP 95/359 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 2461354 attempts, .
[[35mlola[0m][.] 51 EF EXCL 95/276 58/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 16615065 m, 160598 m/sec, 19074221 t fired, .
[[35mlola[0m][.] 54 EF FNDP 94/310 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1823504 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 58
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/354 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 4540933 attempts, .
[[35mlola[0m][.] 49 EF FNDP 100/354 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 2604021 attempts, .
[[35mlola[0m][.] 51 EF EXCL 100/276 60/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 17391263 m, 155239 m/sec, 19972480 t fired, .
[[35mlola[0m][.] 54 EF FNDP 99/305 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1910815 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 60
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/349 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 4766017 attempts, .
[[35mlola[0m][.] 49 EF FNDP 105/349 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 2735488 attempts, .
[[35mlola[0m][.] 51 EF EXCL 105/276 63/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 18154189 m, 152585 m/sec, 20851964 t fired, .
[[35mlola[0m][.] 54 EF FNDP 104/300 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 1997076 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 63
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/344 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 4983213 attempts, .
[[35mlola[0m][.] 49 EF FNDP 110/344 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 2863261 attempts, .
[[35mlola[0m][.] 51 EF EXCL 110/276 65/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 18918189 m, 152800 m/sec, 21735764 t fired, .
[[35mlola[0m][.] 54 EF FNDP 109/295 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2083102 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 65
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/339 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 5205880 attempts, .
[[35mlola[0m][.] 49 EF FNDP 115/339 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 2985633 attempts, .
[[35mlola[0m][.] 51 EF EXCL 115/276 68/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 19713593 m, 159080 m/sec, 22653296 t fired, .
[[35mlola[0m][.] 54 EF FNDP 114/290 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2169781 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 68
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/334 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 5465933 attempts, .
[[35mlola[0m][.] 49 EF FNDP 120/334 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 3129942 attempts, .
[[35mlola[0m][.] 51 EF EXCL 120/276 71/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 20491867 m, 155654 m/sec, 23553005 t fired, .
[[35mlola[0m][.] 54 EF FNDP 119/285 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2244241 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 71
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/329 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 5731099 attempts, .
[[35mlola[0m][.] 49 EF FNDP 125/329 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 3275739 attempts, .
[[35mlola[0m][.] 51 EF EXCL 125/276 73/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 21240516 m, 149729 m/sec, 24417102 t fired, .
[[35mlola[0m][.] 54 EF FNDP 124/280 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2324000 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 73
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/324 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 5994909 attempts, .
[[35mlola[0m][.] 49 EF FNDP 130/324 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 3423953 attempts, .
[[35mlola[0m][.] 51 EF EXCL 130/276 76/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 21983539 m, 148604 m/sec, 25276480 t fired, .
[[35mlola[0m][.] 54 EF FNDP 129/275 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2403137 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 76
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/319 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 6231791 attempts, .
[[35mlola[0m][.] 49 EF FNDP 135/319 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 3556038 attempts, .
[[35mlola[0m][.] 51 EF EXCL 135/276 79/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 22747473 m, 152786 m/sec, 26160152 t fired, .
[[35mlola[0m][.] 54 EF FNDP 134/270 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2489817 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 79
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/314 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 6487555 attempts, .
[[35mlola[0m][.] 49 EF FNDP 140/314 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 3705514 attempts, .
[[35mlola[0m][.] 51 EF EXCL 140/276 81/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 23513588 m, 153223 m/sec, 27044074 t fired, .
[[35mlola[0m][.] 54 EF FNDP 139/265 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2570162 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 81
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/309 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 6752821 attempts, .
[[35mlola[0m][.] 49 EF FNDP 145/309 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 3853784 attempts, .
[[35mlola[0m][.] 51 EF EXCL 145/276 84/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 24295090 m, 156300 m/sec, 27946506 t fired, .
[[35mlola[0m][.] 54 EF FNDP 144/260 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2647741 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 84
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/304 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 7026994 attempts, .
[[35mlola[0m][.] 49 EF FNDP 150/304 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 4011483 attempts, .
[[35mlola[0m][.] 51 EF EXCL 150/276 86/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 25044977 m, 149977 m/sec, 28815602 t fired, .
[[35mlola[0m][.] 54 EF FNDP 149/255 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2720938 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 86
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/299 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 7298603 attempts, .
[[35mlola[0m][.] 49 EF FNDP 155/299 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 4167440 attempts, .
[[35mlola[0m][.] 51 EF EXCL 155/276 89/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 25790982 m, 149201 m/sec, 29676213 t fired, .
[[35mlola[0m][.] 54 EF FNDP 154/250 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2792030 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 89
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/294 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 7542913 attempts, .
[[35mlola[0m][.] 49 EF FNDP 160/294 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 4308486 attempts, .
[[35mlola[0m][.] 51 EF EXCL 160/276 92/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 26533484 m, 148500 m/sec, 30533353 t fired, .
[[35mlola[0m][.] 54 EF FNDP 159/245 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2875488 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 92
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/289 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 7784454 attempts, .
[[35mlola[0m][.] 49 EF FNDP 165/289 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 4446413 attempts, .
[[35mlola[0m][.] 51 EF EXCL 165/276 94/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 27257335 m, 144770 m/sec, 31372403 t fired, .
[[35mlola[0m][.] 54 EF FNDP 164/240 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 2957709 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 94
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/284 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 8019983 attempts, .
[[35mlola[0m][.] 49 EF FNDP 170/284 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 4582507 attempts, .
[[35mlola[0m][.] 51 EF EXCL 170/276 97/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 27963195 m, 141172 m/sec, 32186697 t fired, .
[[35mlola[0m][.] 54 EF FNDP 169/235 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 3037734 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 secs. Pages in use: 97
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/279 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 8250190 attempts, .
[[35mlola[0m][.] 49 EF FNDP 175/279 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 4713645 attempts, .
[[35mlola[0m][.] 51 EF EXCL 175/276 99/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 28702424 m, 147845 m/sec, 33041930 t fired, .
[[35mlola[0m][.] 54 EF FNDP 174/230 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 3128753 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 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-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/274 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 8500819 attempts, .
[[35mlola[0m][.] 49 EF FNDP 180/274 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 4864273 attempts, .
[[35mlola[0m][.] 51 EF EXCL 180/276 102/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 29462189 m, 151953 m/sec, 33920401 t fired, .
[[35mlola[0m][.] 54 EF FNDP 179/225 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 3210036 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 102
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/269 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 8732584 attempts, .
[[35mlola[0m][.] 49 EF FNDP 185/269 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 4996980 attempts, .
[[35mlola[0m][.] 51 EF EXCL 185/276 104/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 30206141 m, 148790 m/sec, 34778813 t fired, .
[[35mlola[0m][.] 54 EF FNDP 184/220 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 3296358 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 secs. Pages in use: 104
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/264 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 8999567 attempts, .
[[35mlola[0m][.] 49 EF FNDP 190/264 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5141875 attempts, .
[[35mlola[0m][.] 51 EF EXCL 190/276 107/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 30991853 m, 157142 m/sec, 35688301 t fired, .
[[35mlola[0m][.] 54 EF FNDP 189/215 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 3380332 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 107
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/259 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 9262700 attempts, .
[[35mlola[0m][.] 49 EF FNDP 195/259 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5284783 attempts, .
[[35mlola[0m][.] 51 EF EXCL 195/276 110/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 31782709 m, 158171 m/sec, 36602077 t fired, .
[[35mlola[0m][.] 54 EF FNDP 194/210 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 3467236 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 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-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/254 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 9521916 attempts, .
[[35mlola[0m][.] 49 EF FNDP 200/254 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5429921 attempts, .
[[35mlola[0m][.] 51 EF EXCL 200/276 112/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 32562257 m, 155909 m/sec, 37504864 t fired, .
[[35mlola[0m][.] 54 EF FNDP 199/205 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 3553178 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 secs. Pages in use: 112
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 54 (type FNDP) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 0 0 1 1 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/249 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 9794643 attempts, .
[[35mlola[0m][.] 49 EF FNDP 205/249 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5580047 attempts, .
[[35mlola[0m][.] 51 EF EXCL 205/276 115/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 33333469 m, 154242 m/sec, 38394979 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 115
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 90 (type FNDP) for 42 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 3633085
[[35mlola[0m][I] time used : 204
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/244 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 10027231 attempts, .
[[35mlola[0m][.] 49 EF FNDP 210/244 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5646130 attempts, .
[[35mlola[0m][.] 51 EF EXCL 210/276 118/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 34120193 m, 157344 m/sec, 39305221 t fired, .
[[35mlola[0m][.] 90 EF FNDP 5/424 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14 446692 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 118
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/239 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 10262485 attempts, .
[[35mlola[0m][.] 49 EF FNDP 215/239 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5713994 attempts, .
[[35mlola[0m][.] 51 EF EXCL 215/276 120/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 34937889 m, 163539 m/sec, 40250594 t fired, .
[[35mlola[0m][.] 90 EF FNDP 10/419 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14 878199 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 120
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/234 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 10493823 attempts, .
[[35mlola[0m][.] 49 EF FNDP 220/234 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5781691 attempts, .
[[35mlola[0m][.] 51 EF EXCL 220/276 123/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 35739900 m, 160402 m/sec, 41175935 t fired, .
[[35mlola[0m][.] 90 EF FNDP 15/414 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14 1316256 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 123
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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/229 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 10733737 attempts, .
[[35mlola[0m][.] 49 EF FNDP 225/229 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 5848260 attempts, .
[[35mlola[0m][.] 51 EF EXCL 225/276 126/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 36551948 m, 162409 m/sec, 42116392 t fired, .
[[35mlola[0m][.] 90 EF FNDP 20/409 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14 1742679 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 126
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04 (local timeout)
[[35mlola[0m][W] CANCELED task # 49 (type FNDP) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D05N100-ReachabilityFireability-2024-05: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02: EF 0 0 1 0 2 1 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04: EF 0 2 0 0 1 1 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-09: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-PT-D05N100-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][.] 51 EF EXCL 230/276 129/2000 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02 37328005 m, 155211 m/sec, 43012106 t fired, .
[[35mlola[0m][.] 90 EF FNDP 25/404 0/5 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-14 2182564 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 129
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 75 (type FNDP) for 9 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 76 (type EQUN) for 9 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type FNDP) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 5911275
[[35mlola[0m][I] time used : 230
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 10970549
[[35mlola[0m][I] time used : 230
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 76 (type EQUN) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 75 (type FNDP) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03 (obsolete)
[[35mlola[0m][I] LAUNCH task # 82 (type FNDP) for 36 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 83 (type EQUN) for 36 CryptoMiner-PT-D05N100-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 75 (type FNDP) for CryptoMiner-PT-D05N100-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 12657
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 408 Segmentation fault $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-PT-D05N100"
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-PT-D05N100, 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-171624190800399"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CryptoMiner-PT-D05N100.tgz
mv CryptoMiner-PT-D05N100 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 ;