About the Execution of LoLA for CryptoMiner-PT-D03N000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 344029.00 | 0.00 | 0.00 | FTFFFTFTTFFF?TFT | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r093-tall-171624190700366.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-D03N000, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-171624190700366
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 660K
-rw-r--r-- 1 mcc users 12K Apr 12 12:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Apr 12 12:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Apr 12 12:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Apr 12 12:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K Apr 22 14:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 22 14:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 22 14:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 22 14:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Apr 12 12:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 181K Apr 12 12:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Apr 12 12:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 161K Apr 12 12:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Apr 22 14:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K 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 3.5K 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-D03N000-ReachabilityCardinality-2024-00
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1717138874193
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717139218222
--------------------
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[34mReachabilityCardinality.xml[0m
[[35mlola[0m][I] LAUNCH task # 4 (type CNST) for 3 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 1 (type CNST) for 0 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00
[[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-D03N000-ReachabilityCardinality-2024-00
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 4 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 10 (type CNST) for 9 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 25 (type CNST) for 24 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 10 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 31 (type CNST) for 30 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 25 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 28 (type CNST) for 27 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 46 (type CNST) for 45 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 43 (type CNST) for 42 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 31 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 46 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 43 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 28 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 40 (type CNST) for 39 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 51 (type EXCL) for 21 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 514 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 49 (type FNDP) for 21 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 50 (type EQUN) for 21 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 40 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 52 (type FNDP) for 33 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 51 (type EXCL) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 5
[[35mlola[0m][I] fired transitions : 4
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 49 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07 (obsolete)
[[35mlola[0m][W] CANCELED task # 50 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07 (obsolete)
[[35mlola[0m][I] LAUNCH task # 60 (type EXCL) for 18 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06
[[35mlola[0m][I] time limit : 1199 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 58 (type FNDP) for 18 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 59 (type EQUN) for 18 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 60 (type EXCL) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 81
[[35mlola[0m][I] fired transitions : 80
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 58 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06 (obsolete)
[[35mlola[0m][W] CANCELED task # 59 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06 (obsolete)
[[35mlola[0m][I] LAUNCH task # 71 (type EXCL) for 36 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12
[[35mlola[0m][I] time limit : 719 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 53 (type FNDP) for 6 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 54 (type EQUN) for 6 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 54 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 53 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02 (obsolete)
[[35mlola[0m][I] LAUNCH task # 62 (type FNDP) for 12 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 68 (type EQUN) for 12 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 68 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][W] CANCELED task # 62 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04 (obsolete)
[[35mlola[0m][I] LAUNCH task # 64 (type FNDP) for 15 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 65 (type EQUN) for 15 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 65 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][W] CANCELED task # 64 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05 (obsolete)
[[35mlola[0m][I] LAUNCH task # 56 (type EQUN) for 33 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 63 (type FNDP) for 36 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 62 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 59 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 50 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 64 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 58 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 56 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 52 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11 (obsolete)
[[35mlola[0m][I] LAUNCH task # 70 (type EQUN) for 36 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 58869
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 70 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 5/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 1153289 attempts, .
[[35mlola[0m][.] 71 EF EXCL 5/3599 10/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 2855652 m, 571130 m/sec, 2855652 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 6 secs. Pages in use: 10
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 10/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 2455279 attempts, .
[[35mlola[0m][.] 71 EF EXCL 10/3599 19/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 5741266 m, 577122 m/sec, 5741265 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 11 secs. Pages in use: 19
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 15/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 3720366 attempts, .
[[35mlola[0m][.] 71 EF EXCL 15/3599 28/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 8581446 m, 568036 m/sec, 8581446 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 16 secs. Pages in use: 28
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 20/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 4956652 attempts, .
[[35mlola[0m][.] 71 EF EXCL 20/3599 37/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 11353671 m, 554445 m/sec, 11353670 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 21 secs. Pages in use: 37
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 25/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 6199147 attempts, .
[[35mlola[0m][.] 71 EF EXCL 25/3599 47/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 14257133 m, 580692 m/sec, 14257133 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 26 secs. Pages in use: 47
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 30/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 7476329 attempts, .
[[35mlola[0m][.] 71 EF EXCL 30/3599 56/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 17175565 m, 583686 m/sec, 17175564 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 31 secs. Pages in use: 56
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 35/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 8720229 attempts, .
[[35mlola[0m][.] 71 EF EXCL 35/3599 65/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 19969018 m, 558690 m/sec, 19969017 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 36 secs. Pages in use: 65
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 40/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 9963750 attempts, .
[[35mlola[0m][.] 71 EF EXCL 40/3599 75/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 22846876 m, 575571 m/sec, 22846875 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 41 secs. Pages in use: 75
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 45/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 11249677 attempts, .
[[35mlola[0m][.] 71 EF EXCL 45/3599 84/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 25846961 m, 600017 m/sec, 25846961 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 46 secs. Pages in use: 84
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 50/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 12464866 attempts, .
[[35mlola[0m][.] 71 EF EXCL 50/3599 92/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 28277164 m, 486040 m/sec, 28277163 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 51 secs. Pages in use: 92
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 55/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 13743999 attempts, .
[[35mlola[0m][.] 71 EF EXCL 55/3599 101/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 31146843 m, 573935 m/sec, 31146843 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 101
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 60/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 14989641 attempts, .
[[35mlola[0m][.] 71 EF EXCL 60/3599 110/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 33891011 m, 548833 m/sec, 33891011 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 110
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 65/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 16292325 attempts, .
[[35mlola[0m][.] 71 EF EXCL 65/3599 119/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 36518814 m, 525560 m/sec, 36518813 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 119
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 70/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 17623934 attempts, .
[[35mlola[0m][.] 71 EF EXCL 70/3599 128/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 39411573 m, 578551 m/sec, 39411573 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 128
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 75/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 18964311 attempts, .
[[35mlola[0m][.] 71 EF EXCL 75/3599 137/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 42010359 m, 519757 m/sec, 42010359 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 137
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 80/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 20106616 attempts, .
[[35mlola[0m][.] 71 EF EXCL 80/3599 145/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 44716388 m, 541205 m/sec, 44716387 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 145
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 85/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 21394778 attempts, .
[[35mlola[0m][.] 71 EF EXCL 85/3599 154/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 47416530 m, 540028 m/sec, 47416530 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 154
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 90/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 22643667 attempts, .
[[35mlola[0m][.] 71 EF EXCL 90/3599 163/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 50085951 m, 533884 m/sec, 50085951 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 163
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 95/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 23795260 attempts, .
[[35mlola[0m][.] 71 EF EXCL 95/3599 171/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 52536371 m, 490084 m/sec, 52536370 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 171
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 100/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 25023798 attempts, .
[[35mlola[0m][.] 71 EF EXCL 100/3599 179/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 55170590 m, 526843 m/sec, 55170589 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 179
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 105/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 26337012 attempts, .
[[35mlola[0m][.] 71 EF EXCL 105/3599 188/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 57885707 m, 543023 m/sec, 57885707 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 188
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 110/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 27564472 attempts, .
[[35mlola[0m][.] 71 EF EXCL 110/3599 197/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 60659436 m, 554745 m/sec, 60659436 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 197
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 115/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 28840523 attempts, .
[[35mlola[0m][.] 71 EF EXCL 115/3599 206/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 63361952 m, 540503 m/sec, 63361952 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 206
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 120/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 30131950 attempts, .
[[35mlola[0m][.] 71 EF EXCL 120/3599 215/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 66176210 m, 562851 m/sec, 66176209 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 215
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 125/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 31456544 attempts, .
[[35mlola[0m][.] 71 EF EXCL 125/3599 224/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 68903968 m, 545551 m/sec, 68903968 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 224
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 130/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 32723670 attempts, .
[[35mlola[0m][.] 71 EF EXCL 130/3599 232/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 71536478 m, 526502 m/sec, 71536478 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 232
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 135/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 34038435 attempts, .
[[35mlola[0m][.] 71 EF EXCL 135/3599 241/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 74214816 m, 535667 m/sec, 74214816 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 241
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 140/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 35316673 attempts, .
[[35mlola[0m][.] 71 EF EXCL 140/3599 249/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 76789631 m, 514963 m/sec, 76789631 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 249
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 145/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 36582441 attempts, .
[[35mlola[0m][.] 71 EF EXCL 145/3599 258/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 79285671 m, 499208 m/sec, 79285671 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 258
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 150/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 37747404 attempts, .
[[35mlola[0m][.] 71 EF EXCL 150/3599 265/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 81606310 m, 464127 m/sec, 81606310 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 265
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 155/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 38976700 attempts, .
[[35mlola[0m][.] 71 EF EXCL 155/3599 273/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 84018604 m, 482458 m/sec, 84018603 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 273
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 160/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 40298233 attempts, .
[[35mlola[0m][.] 71 EF EXCL 160/3599 282/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 86768002 m, 549879 m/sec, 86768002 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 282
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 165/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 41635129 attempts, .
[[35mlola[0m][.] 71 EF EXCL 165/3599 290/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 89419331 m, 530265 m/sec, 89419331 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 290
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 170/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 43006985 attempts, .
[[35mlola[0m][.] 71 EF EXCL 170/3599 299/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 92041701 m, 524474 m/sec, 92041701 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 secs. Pages in use: 299
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 175/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 44275756 attempts, .
[[35mlola[0m][.] 71 EF EXCL 175/3599 307/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 94635414 m, 518742 m/sec, 94635413 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 secs. Pages in use: 307
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 180/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 45549111 attempts, .
[[35mlola[0m][.] 71 EF EXCL 180/3599 316/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 97208103 m, 514537 m/sec, 97208103 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 316
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 185/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 46905204 attempts, .
[[35mlola[0m][.] 71 EF EXCL 185/3599 324/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 99742868 m, 506953 m/sec, 99742868 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 secs. Pages in use: 324
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 190/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 48154544 attempts, .
[[35mlola[0m][.] 71 EF EXCL 190/3599 332/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 102165720 m, 484570 m/sec, 102165720 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 332
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 195/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 49281565 attempts, .
[[35mlola[0m][.] 71 EF EXCL 195/3599 340/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 104596532 m, 486162 m/sec, 104596532 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 secs. Pages in use: 340
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 200/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 50634248 attempts, .
[[35mlola[0m][.] 71 EF EXCL 200/3599 349/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 107348587 m, 550411 m/sec, 107348587 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 secs. Pages in use: 349
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 205/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 51782892 attempts, .
[[35mlola[0m][.] 71 EF EXCL 205/3599 356/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 109772791 m, 484840 m/sec, 109772791 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 356
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 210/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 53084711 attempts, .
[[35mlola[0m][.] 71 EF EXCL 210/3599 366/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 112569424 m, 559326 m/sec, 112569424 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 366
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 215/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 54419808 attempts, .
[[35mlola[0m][.] 71 EF EXCL 215/3599 374/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 115169289 m, 519973 m/sec, 115169288 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 374
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 220/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 55791704 attempts, .
[[35mlola[0m][.] 71 EF EXCL 220/3599 382/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 117807414 m, 527625 m/sec, 117807414 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 382
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 225/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 56963582 attempts, .
[[35mlola[0m][.] 71 EF EXCL 225/3599 390/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 120160304 m, 470578 m/sec, 120160304 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 390
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 230/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 58333302 attempts, .
[[35mlola[0m][.] 71 EF EXCL 230/3599 399/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 122860245 m, 539988 m/sec, 122860245 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 399
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 235/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 59605273 attempts, .
[[35mlola[0m][.] 71 EF EXCL 235/3599 407/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 125259960 m, 479943 m/sec, 125259959 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 407
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 240/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 60908357 attempts, .
[[35mlola[0m][.] 71 EF EXCL 240/3599 414/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 127674006 m, 482809 m/sec, 127674006 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 414
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 245/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 62232574 attempts, .
[[35mlola[0m][.] 71 EF EXCL 245/3599 422/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 130115280 m, 488254 m/sec, 130115279 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 422
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 250/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 63612951 attempts, .
[[35mlola[0m][.] 71 EF EXCL 250/3599 431/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 132755698 m, 528083 m/sec, 132755697 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 251 secs. Pages in use: 431
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 255/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 64781401 attempts, .
[[35mlola[0m][.] 71 EF EXCL 255/3599 438/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 134937026 m, 436265 m/sec, 134937025 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 256 secs. Pages in use: 438
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 260/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 66038391 attempts, .
[[35mlola[0m][.] 71 EF EXCL 260/3599 446/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 137538186 m, 520232 m/sec, 137538186 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 261 secs. Pages in use: 446
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 265/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 67392273 attempts, .
[[35mlola[0m][.] 71 EF EXCL 265/3599 455/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 140175250 m, 527412 m/sec, 140175250 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 266 secs. Pages in use: 455
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 270/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 68653020 attempts, .
[[35mlola[0m][.] 71 EF EXCL 270/3599 463/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 142530340 m, 471018 m/sec, 142530340 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 271 secs. Pages in use: 463
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 275/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 69895966 attempts, .
[[35mlola[0m][.] 71 EF EXCL 275/3599 469/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 144572454 m, 408422 m/sec, 144572454 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 276 secs. Pages in use: 469
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 280/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 71118147 attempts, .
[[35mlola[0m][.] 71 EF EXCL 280/3599 477/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 146856160 m, 456741 m/sec, 146856160 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 281 secs. Pages in use: 477
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 285/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 72444171 attempts, .
[[35mlola[0m][.] 71 EF EXCL 285/3599 485/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 149329418 m, 494651 m/sec, 149329418 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 286 secs. Pages in use: 485
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 290/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 73761160 attempts, .
[[35mlola[0m][.] 71 EF EXCL 290/3599 493/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 151791328 m, 492382 m/sec, 151791327 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 291 secs. Pages in use: 493
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 295/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 74968654 attempts, .
[[35mlola[0m][.] 71 EF EXCL 295/3599 501/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 154203029 m, 482340 m/sec, 154203028 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 296 secs. Pages in use: 501
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 300/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 76261577 attempts, .
[[35mlola[0m][.] 71 EF EXCL 300/3599 508/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 156580521 m, 475498 m/sec, 156580521 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 301 secs. Pages in use: 508
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 305/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 77541848 attempts, .
[[35mlola[0m][.] 71 EF EXCL 305/3599 516/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 159007126 m, 485321 m/sec, 159007126 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 306 secs. Pages in use: 516
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 310/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 78736131 attempts, .
[[35mlola[0m][.] 71 EF EXCL 310/3599 524/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 161512501 m, 501075 m/sec, 161512501 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 311 secs. Pages in use: 524
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 315/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 80074927 attempts, .
[[35mlola[0m][.] 71 EF EXCL 315/3599 532/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 164023806 m, 502261 m/sec, 164023805 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 316 secs. Pages in use: 532
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 320/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 81438113 attempts, .
[[35mlola[0m][.] 71 EF EXCL 320/3599 540/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 166376981 m, 470635 m/sec, 166376981 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 321 secs. Pages in use: 540
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 325/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 82727223 attempts, .
[[35mlola[0m][.] 71 EF EXCL 325/3599 547/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 168679459 m, 460495 m/sec, 168679459 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 326 secs. Pages in use: 547
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 330/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 84065146 attempts, .
[[35mlola[0m][.] 71 EF EXCL 330/3599 556/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 171268325 m, 517773 m/sec, 171268325 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 331 secs. Pages in use: 556
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-04: AG false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-05: EF true state equation[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-06: AG false state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-07: AG true state space[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-10: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-11: EF false state equation[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-14: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mCryptoMiner-PT-D03N000-ReachabilityCardinality-2024-15: INITIAL true 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-D03N000-ReachabilityCardinality-2024-12: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 63 EF FNDP 335/3599 0/5 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 85226361 attempts, .
[[35mlola[0m][.] 71 EF EXCL 335/3599 563/2000 CryptoMiner-PT-D03N000-ReachabilityCardinality-2024-12 173561184 m, 458571 m/sec, 173561184 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 336 secs. Pages in use: 563
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 406 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CryptoMiner-PT-D03N000"
export BK_EXAMINATION="ReachabilityCardinality"
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-D03N000, examination is ReachabilityCardinality"
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-171624190700366"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CryptoMiner-PT-D03N000.tgz
mv CryptoMiner-PT-D03N000 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;