Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r093-tall-171624190700367.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 ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-171624190700367
=====================================================================

--------------------
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-ReachabilityFireability-2024-00
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14
FORMULA_NAME CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717138233846

FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[lola] FINAL RESULTS
[lola]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG true state equation
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG true state equation
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF false state equation
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG true state equation
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG true state equation
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF true findpath
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF false state equation
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG true state equation
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola]
[lola] Time elapsed: 393 secs. Pages in use: 622

BK_STOP 1717138627265

--------------------
content from stderr:

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from ReachabilityFireability.xml
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] LAUNCH task # 28 (type CNST) for 27 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 46 (type CNST) for 45 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 28 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09
[lola][I] result : false
[lola][I] FINISHED task # 46 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15
[lola][I] result : false
[lola][I] LAUNCH task # 1 (type CNST) for 0 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 7 (type CNST) for 6 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 1 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I] LAUNCH task # 13 (type CNST) for 12 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 16 (type CNST) for 15 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 7 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02
[lola][I] result : false
[lola][I] FINISHED task # 13 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04
[lola][I] result : true
[lola][I] FINISHED task # 16 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05
[lola][I] result : true
[lola][I] LAUNCH task # 34 (type CNST) for 33 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 52 (type EXCL) for 42 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14
[lola][I] time limit : 359 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 49 (type FNDP) for 42 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 51 (type EQUN) for 42 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 34 (type CNST) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11
[lola][I] result : true
[lola][I] LAUNCH task # 50 (type FNDP) for 18 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 51 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14
[lola][I] result : false
[lola][W] CANCELED task # 49 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14 (obsolete)
[lola][W] CANCELED task # 52 (type EXCL) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14 (obsolete)
[lola][I] LAUNCH task # 73 (type EXCL) for 39 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13
[lola][I] time limit : 449 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 59 (type FNDP) for 36 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 64 (type FNDP) for 9 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 49 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14
[lola][I] result : unknown
[lola][I] tried executions : 71378
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 5/599 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 702594 attempts, .
[lola][.] 59 EF FNDP 5/719 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 471654 attempts, .
[lola][.] 64 EF FNDP 5/719 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 335585 attempts, .
[lola][.] 73 EF EXCL 5/449 12/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 3573294 m, 714658 m/sec, 4287952 t fired, .
[lola][.]
[lola][.] Time elapsed: 6 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 10/594 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 1416441 attempts, .
[lola][.] 59 EF FNDP 10/714 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 1014185 attempts, .
[lola][.] 64 EF FNDP 10/714 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 691988 attempts, .
[lola][.] 73 EF EXCL 10/449 24/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 7230509 m, 731443 m/sec, 8676610 t fired, .
[lola][.]
[lola][.] Time elapsed: 11 secs. Pages in use: 24
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 15/589 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 2140015 attempts, .
[lola][.] 59 EF FNDP 15/709 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 1517921 attempts, .
[lola][.] 64 EF FNDP 15/709 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 1080923 attempts, .
[lola][.] 73 EF EXCL 15/449 34/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 10411327 m, 636163 m/sec, 12493591 t fired, .
[lola][.]
[lola][.] Time elapsed: 16 secs. Pages in use: 34
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 20/584 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 2759563 attempts, .
[lola][.] 59 EF FNDP 20/704 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 2041338 attempts, .
[lola][.] 64 EF FNDP 20/704 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 1497372 attempts, .
[lola][.] 73 EF EXCL 20/449 42/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 12916019 m, 500938 m/sec, 15499221 t fired, .
[lola][.]
[lola][.] Time elapsed: 21 secs. Pages in use: 42
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 25/579 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 3409267 attempts, .
[lola][.] 59 EF FNDP 25/699 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 2523927 attempts, .
[lola][.] 64 EF FNDP 25/699 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 1905271 attempts, .
[lola][.] 73 EF EXCL 25/449 51/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 15530915 m, 522979 m/sec, 18637096 t fired, .
[lola][.]
[lola][.] Time elapsed: 26 secs. Pages in use: 51
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 30/574 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 4053821 attempts, .
[lola][.] 59 EF FNDP 30/694 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 3028574 attempts, .
[lola][.] 64 EF FNDP 30/694 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 2317279 attempts, .
[lola][.] 73 EF EXCL 30/449 59/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 18177473 m, 529311 m/sec, 21812967 t fired, .
[lola][.]
[lola][.] Time elapsed: 31 secs. Pages in use: 59
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 35/569 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 4694911 attempts, .
[lola][.] 59 EF FNDP 35/689 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 3523559 attempts, .
[lola][.] 64 EF FNDP 35/689 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 2750407 attempts, .
[lola][.] 73 EF EXCL 35/449 68/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 20801520 m, 524809 m/sec, 24961823 t fired, .
[lola][.]
[lola][.] Time elapsed: 36 secs. Pages in use: 68
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 40/564 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 5297932 attempts, .
[lola][.] 59 EF FNDP 40/684 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 4025417 attempts, .
[lola][.] 64 EF FNDP 40/684 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 3201135 attempts, .
[lola][.] 73 EF EXCL 40/449 76/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 23388689 m, 517433 m/sec, 28066425 t fired, .
[lola][.]
[lola][.] Time elapsed: 41 secs. Pages in use: 76
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 45/559 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 5988217 attempts, .
[lola][.] 59 EF FNDP 45/679 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 4512855 attempts, .
[lola][.] 64 EF FNDP 45/679 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 3626442 attempts, .
[lola][.] 73 EF EXCL 45/449 85/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 25996239 m, 521510 m/sec, 31195485 t fired, .
[lola][.]
[lola][.] Time elapsed: 46 secs. Pages in use: 85
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 50/554 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 6886482 attempts, .
[lola][.] 59 EF FNDP 50/674 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 5261427 attempts, .
[lola][.] 64 EF FNDP 50/674 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 4160052 attempts, .
[lola][.] 73 EF EXCL 50/449 91/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 28063786 m, 413509 m/sec, 33676542 t fired, .
[lola][.]
[lola][.] Time elapsed: 51 secs. Pages in use: 91
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 55/549 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 7928077 attempts, .
[lola][.] 59 EF FNDP 55/669 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 5991128 attempts, .
[lola][.] 64 EF FNDP 55/669 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 4702779 attempts, .
[lola][.] 73 EF EXCL 55/449 98/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 29923893 m, 372021 m/sec, 35908670 t fired, .
[lola][.]
[lola][.] Time elapsed: 56 secs. Pages in use: 98
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 60/544 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 8985746 attempts, .
[lola][.] 59 EF FNDP 60/664 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 6746958 attempts, .
[lola][.] 64 EF FNDP 60/664 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 5214563 attempts, .
[lola][.] 73 EF EXCL 60/449 104/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 31883181 m, 391857 m/sec, 38259816 t fired, .
[lola][.]
[lola][.] Time elapsed: 61 secs. Pages in use: 104
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 65/539 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 9999333 attempts, .
[lola][.] 59 EF FNDP 65/659 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 7404120 attempts, .
[lola][.] 64 EF FNDP 65/659 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 5806991 attempts, .
[lola][.] 73 EF EXCL 65/449 110/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 33902400 m, 403843 m/sec, 40682879 t fired, .
[lola][.]
[lola][.] Time elapsed: 66 secs. Pages in use: 110
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 70/534 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 11073161 attempts, .
[lola][.] 59 EF FNDP 70/654 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 8089001 attempts, .
[lola][.] 64 EF FNDP 70/654 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 6348205 attempts, .
[lola][.] 73 EF EXCL 70/449 117/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 35829763 m, 385472 m/sec, 42995714 t fired, .
[lola][.]
[lola][.] Time elapsed: 71 secs. Pages in use: 117
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 75/529 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 11862267 attempts, .
[lola][.] 59 EF FNDP 75/649 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 8619631 attempts, .
[lola][.] 64 EF FNDP 75/649 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 6756340 attempts, .
[lola][.] 73 EF EXCL 75/449 124/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 37989093 m, 431866 m/sec, 45586911 t fired, .
[lola][.]
[lola][.] Time elapsed: 76 secs. Pages in use: 124
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 80/524 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 12666458 attempts, .
[lola][.] 59 EF FNDP 80/644 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 9107990 attempts, .
[lola][.] 64 EF FNDP 80/644 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 7154348 attempts, .
[lola][.] 73 EF EXCL 80/449 132/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 40517945 m, 505770 m/sec, 48621532 t fired, .
[lola][.]
[lola][.] Time elapsed: 81 secs. Pages in use: 132
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 85/519 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 13498137 attempts, .
[lola][.] 59 EF FNDP 85/639 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 9618410 attempts, .
[lola][.] 64 EF FNDP 85/639 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 7562727 attempts, .
[lola][.] 73 EF EXCL 85/449 139/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 42797830 m, 455977 m/sec, 51357394 t fired, .
[lola][.]
[lola][.] Time elapsed: 86 secs. Pages in use: 139
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 90/514 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 14424465 attempts, .
[lola][.] 59 EF FNDP 90/634 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 10342375 attempts, .
[lola][.] 64 EF FNDP 90/634 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 8097863 attempts, .
[lola][.] 73 EF EXCL 90/449 145/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 44665851 m, 373604 m/sec, 53599020 t fired, .
[lola][.]
[lola][.] Time elapsed: 91 secs. Pages in use: 145
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 95/509 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 15352091 attempts, .
[lola][.] 59 EF FNDP 95/629 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 11127401 attempts, .
[lola][.] 64 EF FNDP 95/629 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 8641182 attempts, .
[lola][.] 73 EF EXCL 95/449 151/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 46564693 m, 379768 m/sec, 55877631 t fired, .
[lola][.]
[lola][.] Time elapsed: 96 secs. Pages in use: 151
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 100/504 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 16319097 attempts, .
[lola][.] 59 EF FNDP 100/624 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 11807476 attempts, .
[lola][.] 64 EF FNDP 100/624 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 9200683 attempts, .
[lola][.] 73 EF EXCL 100/449 160/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 49061052 m, 499271 m/sec, 58873262 t fired, .
[lola][.]
[lola][.] Time elapsed: 101 secs. Pages in use: 160
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 105/499 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 17209346 attempts, .
[lola][.] 59 EF FNDP 105/619 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 12454677 attempts, .
[lola][.] 64 EF FNDP 105/619 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 9692262 attempts, .
[lola][.] 73 EF EXCL 105/449 168/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 51714117 m, 530613 m/sec, 62056939 t fired, .
[lola][.]
[lola][.] Time elapsed: 106 secs. Pages in use: 168
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 110/494 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 18132036 attempts, .
[lola][.] 59 EF FNDP 110/614 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 13074259 attempts, .
[lola][.] 64 EF FNDP 110/614 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 10160227 attempts, .
[lola][.] 73 EF EXCL 110/449 177/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 54360071 m, 529190 m/sec, 65232084 t fired, .
[lola][.]
[lola][.] Time elapsed: 111 secs. Pages in use: 177
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 115/489 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 18942991 attempts, .
[lola][.] 59 EF FNDP 115/609 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 13575924 attempts, .
[lola][.] 64 EF FNDP 115/609 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 10531334 attempts, .
[lola][.] 73 EF EXCL 115/449 185/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 56993350 m, 526655 m/sec, 68392018 t fired, .
[lola][.]
[lola][.] Time elapsed: 116 secs. Pages in use: 185
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 120/484 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 19778256 attempts, .
[lola][.] 59 EF FNDP 120/604 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 14090492 attempts, .
[lola][.] 64 EF FNDP 120/604 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 10876134 attempts, .
[lola][.] 73 EF EXCL 120/449 193/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 59426497 m, 486629 m/sec, 71311794 t fired, .
[lola][.]
[lola][.] Time elapsed: 121 secs. Pages in use: 193
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 125/479 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 20613032 attempts, .
[lola][.] 59 EF FNDP 125/599 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 14579572 attempts, .
[lola][.] 64 EF FNDP 125/599 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 11251338 attempts, .
[lola][.] 73 EF EXCL 125/449 201/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 61880869 m, 490874 m/sec, 74257042 t fired, .
[lola][.]
[lola][.] Time elapsed: 126 secs. Pages in use: 201
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 130/474 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 21363637 attempts, .
[lola][.] 59 EF FNDP 130/594 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 15097961 attempts, .
[lola][.] 64 EF FNDP 130/594 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 11637027 attempts, .
[lola][.] 73 EF EXCL 130/449 209/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 64451234 m, 514073 m/sec, 77341480 t fired, .
[lola][.]
[lola][.] Time elapsed: 131 secs. Pages in use: 209
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 135/469 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 22048149 attempts, .
[lola][.] 59 EF FNDP 135/589 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 15678685 attempts, .
[lola][.] 64 EF FNDP 135/589 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 11992753 attempts, .
[lola][.] 73 EF EXCL 135/449 218/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 66965192 m, 502791 m/sec, 80358229 t fired, .
[lola][.]
[lola][.] Time elapsed: 136 secs. Pages in use: 218
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 140/464 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 22699410 attempts, .
[lola][.] 59 EF FNDP 140/584 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 16261698 attempts, .
[lola][.] 64 EF FNDP 140/584 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 12353816 attempts, .
[lola][.] 73 EF EXCL 140/449 225/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 69215754 m, 450112 m/sec, 83058903 t fired, .
[lola][.]
[lola][.] Time elapsed: 141 secs. Pages in use: 225
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 145/459 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 23363849 attempts, .
[lola][.] 59 EF FNDP 145/579 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 16806990 attempts, .
[lola][.] 64 EF FNDP 145/579 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 12738837 attempts, .
[lola][.] 73 EF EXCL 145/449 233/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 71768816 m, 510612 m/sec, 86122578 t fired, .
[lola][.]
[lola][.] Time elapsed: 146 secs. Pages in use: 233
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 150/454 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 24025978 attempts, .
[lola][.] 59 EF FNDP 150/574 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 17370396 attempts, .
[lola][.] 64 EF FNDP 150/574 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 13111652 attempts, .
[lola][.] 73 EF EXCL 150/449 241/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 74235016 m, 493240 m/sec, 89082018 t fired, .
[lola][.]
[lola][.] Time elapsed: 151 secs. Pages in use: 241
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 155/449 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 24692456 attempts, .
[lola][.] 59 EF FNDP 155/569 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 17971016 attempts, .
[lola][.] 64 EF FNDP 155/569 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 13459529 attempts, .
[lola][.] 73 EF EXCL 155/449 249/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 76720532 m, 497103 m/sec, 92064636 t fired, .
[lola][.]
[lola][.] Time elapsed: 156 secs. Pages in use: 249
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 160/444 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 25339385 attempts, .
[lola][.] 59 EF FNDP 160/564 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 18575139 attempts, .
[lola][.] 64 EF FNDP 160/564 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 13819275 attempts, .
[lola][.] 73 EF EXCL 160/449 257/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 79225982 m, 501090 m/sec, 95071177 t fired, .
[lola][.]
[lola][.] Time elapsed: 161 secs. Pages in use: 257
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 165/439 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 26011058 attempts, .
[lola][.] 59 EF FNDP 165/559 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 19168509 attempts, .
[lola][.] 64 EF FNDP 165/559 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 14174283 attempts, .
[lola][.] 73 EF EXCL 165/449 265/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 81570117 m, 468827 m/sec, 97884140 t fired, .
[lola][.]
[lola][.] Time elapsed: 166 secs. Pages in use: 265
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 170/434 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 26616009 attempts, .
[lola][.] 59 EF FNDP 170/554 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 19758502 attempts, .
[lola][.] 64 EF FNDP 170/554 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 14532053 attempts, .
[lola][.] 73 EF EXCL 170/449 272/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 83826573 m, 451291 m/sec, 100591887 t fired, .
[lola][.]
[lola][.] Time elapsed: 171 secs. Pages in use: 272
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 175/429 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 27279691 attempts, .
[lola][.] 59 EF FNDP 175/549 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 20379706 attempts, .
[lola][.] 64 EF FNDP 175/549 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 14883165 attempts, .
[lola][.] 73 EF EXCL 175/449 281/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 86371765 m, 509038 m/sec, 103646117 t fired, .
[lola][.]
[lola][.] Time elapsed: 176 secs. Pages in use: 281
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 180/424 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 27943626 attempts, .
[lola][.] 59 EF FNDP 180/544 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 20929347 attempts, .
[lola][.] 64 EF FNDP 180/544 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 15262045 attempts, .
[lola][.] 73 EF EXCL 180/449 289/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 88944077 m, 514462 m/sec, 106732892 t fired, .
[lola][.]
[lola][.] Time elapsed: 181 secs. Pages in use: 289
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 185/419 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 28619338 attempts, .
[lola][.] 59 EF FNDP 185/539 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 21448674 attempts, .
[lola][.] 64 EF FNDP 185/539 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 15654581 attempts, .
[lola][.] 73 EF EXCL 185/449 297/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 91362917 m, 483768 m/sec, 109635499 t fired, .
[lola][.]
[lola][.] Time elapsed: 186 secs. Pages in use: 297
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 190/414 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 29280442 attempts, .
[lola][.] 59 EF FNDP 190/534 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 22034543 attempts, .
[lola][.] 64 EF FNDP 190/534 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 16041351 attempts, .
[lola][.] 73 EF EXCL 190/449 304/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 93659480 m, 459312 m/sec, 112391375 t fired, .
[lola][.]
[lola][.] Time elapsed: 191 secs. Pages in use: 304
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 195/409 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 29975346 attempts, .
[lola][.] 59 EF FNDP 195/529 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 22625323 attempts, .
[lola][.] 64 EF FNDP 195/529 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 16386670 attempts, .
[lola][.] 73 EF EXCL 195/449 312/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 96184227 m, 504949 m/sec, 115421071 t fired, .
[lola][.]
[lola][.] Time elapsed: 196 secs. Pages in use: 312
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 200/404 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 30602195 attempts, .
[lola][.] 59 EF FNDP 200/524 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 23251900 attempts, .
[lola][.] 64 EF FNDP 200/524 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 16735997 attempts, .
[lola][.] 73 EF EXCL 200/449 320/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 98458452 m, 454845 m/sec, 118150141 t fired, .
[lola][.]
[lola][.] Time elapsed: 201 secs. Pages in use: 320
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 205/399 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 31276411 attempts, .
[lola][.] 59 EF FNDP 205/519 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 23849383 attempts, .
[lola][.] 64 EF FNDP 205/519 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 17080053 attempts, .
[lola][.] 73 EF EXCL 205/449 327/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 100837667 m, 475843 m/sec, 121005200 t fired, .
[lola][.]
[lola][.] Time elapsed: 206 secs. Pages in use: 327
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 210/394 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 31977456 attempts, .
[lola][.] 59 EF FNDP 210/514 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 24421763 attempts, .
[lola][.] 64 EF FNDP 210/514 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 17429625 attempts, .
[lola][.] 73 EF EXCL 210/449 336/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 103327782 m, 498023 m/sec, 123993338 t fired, .
[lola][.]
[lola][.] Time elapsed: 211 secs. Pages in use: 336
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 215/389 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 32557121 attempts, .
[lola][.] 59 EF FNDP 215/509 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 25029646 attempts, .
[lola][.] 64 EF FNDP 215/509 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 17794865 attempts, .
[lola][.] 73 EF EXCL 215/449 343/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 105733952 m, 481234 m/sec, 126880741 t fired, .
[lola][.]
[lola][.] Time elapsed: 216 secs. Pages in use: 343
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 220/384 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 33173444 attempts, .
[lola][.] 59 EF FNDP 220/504 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 25643495 attempts, .
[lola][.] 64 EF FNDP 220/504 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 18121085 attempts, .
[lola][.] 73 EF EXCL 220/449 351/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 108020833 m, 457376 m/sec, 129624999 t fired, .
[lola][.]
[lola][.] Time elapsed: 221 secs. Pages in use: 351
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 225/379 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 33777655 attempts, .
[lola][.] 59 EF FNDP 225/499 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 26275755 attempts, .
[lola][.] 64 EF FNDP 225/499 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 18464582 attempts, .
[lola][.] 73 EF EXCL 225/449 358/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 110405147 m, 476862 m/sec, 132486176 t fired, .
[lola][.]
[lola][.] Time elapsed: 226 secs. Pages in use: 358
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 230/374 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 34417425 attempts, .
[lola][.] 59 EF FNDP 230/494 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 26820969 attempts, .
[lola][.] 64 EF FNDP 230/494 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 18837792 attempts, .
[lola][.] 73 EF EXCL 230/449 366/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 112832958 m, 485562 m/sec, 135399549 t fired, .
[lola][.]
[lola][.] Time elapsed: 231 secs. Pages in use: 366
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 235/369 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 35149353 attempts, .
[lola][.] 59 EF FNDP 235/489 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 27341694 attempts, .
[lola][.] 64 EF FNDP 235/489 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 19183702 attempts, .
[lola][.] 73 EF EXCL 235/449 377/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 116006800 m, 634768 m/sec, 139208159 t fired, .
[lola][.]
[lola][.] Time elapsed: 236 secs. Pages in use: 377
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 240/364 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 35883581 attempts, .
[lola][.] 59 EF FNDP 240/484 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 27851632 attempts, .
[lola][.] 64 EF FNDP 240/484 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 19555933 attempts, .
[lola][.] 73 EF EXCL 240/449 387/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 119135281 m, 625696 m/sec, 142962336 t fired, .
[lola][.]
[lola][.] Time elapsed: 241 secs. Pages in use: 387
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 245/359 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 36650505 attempts, .
[lola][.] 59 EF FNDP 245/479 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 28339532 attempts, .
[lola][.] 64 EF FNDP 245/479 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 19938186 attempts, .
[lola][.] 73 EF EXCL 245/449 397/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 122309747 m, 634893 m/sec, 146771695 t fired, .
[lola][.]
[lola][.] Time elapsed: 246 secs. Pages in use: 397
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 250/354 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 37417321 attempts, .
[lola][.] 59 EF FNDP 250/474 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 28820767 attempts, .
[lola][.] 64 EF FNDP 250/474 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 20329833 attempts, .
[lola][.] 73 EF EXCL 250/449 407/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 125330038 m, 604058 m/sec, 150396045 t fired, .
[lola][.]
[lola][.] Time elapsed: 251 secs. Pages in use: 407
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 255/349 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 38176746 attempts, .
[lola][.] 59 EF FNDP 255/469 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 29315887 attempts, .
[lola][.] 64 EF FNDP 255/469 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 20712594 attempts, .
[lola][.] 73 EF EXCL 255/449 417/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 128552950 m, 644582 m/sec, 154263538 t fired, .
[lola][.]
[lola][.] Time elapsed: 256 secs. Pages in use: 417
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 260/344 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 38941191 attempts, .
[lola][.] 59 EF FNDP 260/464 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 29799776 attempts, .
[lola][.] 64 EF FNDP 260/464 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 21101517 attempts, .
[lola][.] 73 EF EXCL 260/449 428/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 131727245 m, 634859 m/sec, 158072693 t fired, .
[lola][.]
[lola][.] Time elapsed: 261 secs. Pages in use: 428
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 265/339 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 39701696 attempts, .
[lola][.] 59 EF FNDP 265/459 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 30297793 attempts, .
[lola][.] 64 EF FNDP 265/459 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 21475767 attempts, .
[lola][.] 73 EF EXCL 265/449 438/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 134858893 m, 626329 m/sec, 161830671 t fired, .
[lola][.]
[lola][.] Time elapsed: 266 secs. Pages in use: 438
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 270/334 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 40409138 attempts, .
[lola][.] 59 EF FNDP 270/454 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 30832399 attempts, .
[lola][.] 64 EF FNDP 270/454 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 21828243 attempts, .
[lola][.] 73 EF EXCL 270/449 445/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 137044937 m, 437208 m/sec, 164453923 t fired, .
[lola][.]
[lola][.] Time elapsed: 271 secs. Pages in use: 445
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 275/329 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 41115787 attempts, .
[lola][.] 59 EF FNDP 275/449 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 31315624 attempts, .
[lola][.] 64 EF FNDP 275/449 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 22220739 attempts, .
[lola][.] 73 EF EXCL 275/449 453/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 139474500 m, 485912 m/sec, 167369398 t fired, .
[lola][.]
[lola][.] Time elapsed: 276 secs. Pages in use: 453
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 280/324 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 41746406 attempts, .
[lola][.] 59 EF FNDP 280/444 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 31910802 attempts, .
[lola][.] 64 EF FNDP 280/444 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 22597529 attempts, .
[lola][.] 73 EF EXCL 280/449 461/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 141943675 m, 493835 m/sec, 170332409 t fired, .
[lola][.]
[lola][.] Time elapsed: 281 secs. Pages in use: 461
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 285/319 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 42391759 attempts, .
[lola][.] 59 EF FNDP 285/439 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 32483610 attempts, .
[lola][.] 64 EF FNDP 285/439 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 22953149 attempts, .
[lola][.] 73 EF EXCL 285/449 469/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 144371559 m, 485576 m/sec, 173245870 t fired, .
[lola][.]
[lola][.] Time elapsed: 286 secs. Pages in use: 469
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 290/314 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 43035738 attempts, .
[lola][.] 59 EF FNDP 290/434 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 33083672 attempts, .
[lola][.] 64 EF FNDP 290/434 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 23303909 attempts, .
[lola][.] 73 EF EXCL 290/449 477/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 146900901 m, 505868 m/sec, 176281080 t fired, .
[lola][.]
[lola][.] Time elapsed: 291 secs. Pages in use: 477
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 295/309 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 43737597 attempts, .
[lola][.] 59 EF FNDP 295/429 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 33666523 attempts, .
[lola][.] 64 EF FNDP 295/429 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 23661566 attempts, .
[lola][.] 73 EF EXCL 295/449 485/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 149351620 m, 490143 m/sec, 179221943 t fired, .
[lola][.]
[lola][.] Time elapsed: 296 secs. Pages in use: 485
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF FNDP 300/304 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 44335321 attempts, .
[lola][.] 59 EF FNDP 300/424 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 34301097 attempts, .
[lola][.] 64 EF FNDP 300/424 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 24017105 attempts, .
[lola][.] 73 EF EXCL 300/449 492/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 151621182 m, 453912 m/sec, 181945418 t fired, .
[lola][.]
[lola][.] Time elapsed: 301 secs. Pages in use: 492
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 50 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 1 1 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 305/419 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 34854193 attempts, .
[lola][.] 64 EF FNDP 305/419 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 24363746 attempts, .
[lola][.] 73 EF EXCL 305/449 500/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 154021752 m, 480114 m/sec, 184826102 t fired, .
[lola][.]
[lola][.] Time elapsed: 306 secs. Pages in use: 500
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 65 (type FNDP) for 3 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06
[lola][I] result : unknown
[lola][I] tried executions : 45066419
[lola][I] time used : 305
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 310/414 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 35409120 attempts, .
[lola][.] 64 EF FNDP 310/414 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 24740233 attempts, .
[lola][.] 65 EF FNDP 5/658 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 226417 attempts, .
[lola][.] 73 EF EXCL 310/449 508/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 156380414 m, 471732 m/sec, 187656496 t fired, .
[lola][.]
[lola][.] Time elapsed: 311 secs. Pages in use: 508
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 315/409 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 35983878 attempts, .
[lola][.] 64 EF FNDP 315/409 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 25069152 attempts, .
[lola][.] 65 EF FNDP 10/653 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 469311 attempts, .
[lola][.] 73 EF EXCL 315/449 515/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 158733675 m, 470652 m/sec, 190480409 t fired, .
[lola][.]
[lola][.] Time elapsed: 316 secs. Pages in use: 515
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 320/404 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 36541284 attempts, .
[lola][.] 64 EF FNDP 320/404 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 25421847 attempts, .
[lola][.] 65 EF FNDP 15/648 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 707366 attempts, .
[lola][.] 73 EF EXCL 320/449 523/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 161040897 m, 461444 m/sec, 193249075 t fired, .
[lola][.]
[lola][.] Time elapsed: 321 secs. Pages in use: 523
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 325/399 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 37087106 attempts, .
[lola][.] 64 EF FNDP 325/399 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 25749701 attempts, .
[lola][.] 65 EF FNDP 20/643 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 943619 attempts, .
[lola][.] 73 EF EXCL 325/449 530/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 163417325 m, 475285 m/sec, 196100789 t fired, .
[lola][.]
[lola][.] Time elapsed: 326 secs. Pages in use: 530
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 330/394 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 37713474 attempts, .
[lola][.] 64 EF FNDP 330/394 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 26071583 attempts, .
[lola][.] 65 EF FNDP 25/638 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 1167644 attempts, .
[lola][.] 73 EF EXCL 330/449 538/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 165774824 m, 471499 m/sec, 198929788 t fired, .
[lola][.]
[lola][.] Time elapsed: 331 secs. Pages in use: 538
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 335/389 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 38317194 attempts, .
[lola][.] 64 EF FNDP 335/389 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 26415785 attempts, .
[lola][.] 65 EF FNDP 30/633 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 1395438 attempts, .
[lola][.] 73 EF EXCL 335/449 545/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 168003523 m, 445739 m/sec, 201604227 t fired, .
[lola][.]
[lola][.] Time elapsed: 336 secs. Pages in use: 545
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 340/384 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 38968240 attempts, .
[lola][.] 64 EF FNDP 340/384 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 26743183 attempts, .
[lola][.] 65 EF FNDP 35/628 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 1615956 attempts, .
[lola][.] 73 EF EXCL 340/449 553/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 170323347 m, 463964 m/sec, 204388016 t fired, .
[lola][.]
[lola][.] Time elapsed: 341 secs. Pages in use: 553
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 345/379 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 39590184 attempts, .
[lola][.] 64 EF FNDP 345/379 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 27068188 attempts, .
[lola][.] 65 EF FNDP 40/623 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 1847355 attempts, .
[lola][.] 73 EF EXCL 345/449 561/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 172755005 m, 486331 m/sec, 207306004 t fired, .
[lola][.]
[lola][.] Time elapsed: 346 secs. Pages in use: 561
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 350/374 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 40223639 attempts, .
[lola][.] 64 EF FNDP 350/374 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 27398170 attempts, .
[lola][.] 65 EF FNDP 45/618 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 2075260 attempts, .
[lola][.] 73 EF EXCL 350/449 569/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 175261464 m, 501291 m/sec, 210313755 t fired, .
[lola][.]
[lola][.] Time elapsed: 351 secs. Pages in use: 569
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 355/369 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 40801213 attempts, .
[lola][.] 64 EF FNDP 355/369 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 27726841 attempts, .
[lola][.] 65 EF FNDP 50/613 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 2326367 attempts, .
[lola][.] 73 EF EXCL 355/449 577/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 177771512 m, 502009 m/sec, 213325813 t fired, .
[lola][.]
[lola][.] Time elapsed: 356 secs. Pages in use: 577
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 59 EF FNDP 360/364 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 41385121 attempts, .
[lola][.] 64 EF FNDP 360/364 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 28068092 attempts, .
[lola][.] 65 EF FNDP 55/608 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 2563234 attempts, .
[lola][.] 73 EF EXCL 360/449 585/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 180265209 m, 498739 m/sec, 216318250 t fired, .
[lola][.]
[lola][.] Time elapsed: 361 secs. Pages in use: 585
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 59 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12 (local timeout)
[lola][W] CANCELED task # 64 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 0 0 1 1 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 0 0 1 1 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 EF FNDP 60/603 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 2802688 attempts, .
[lola][.] 73 EF EXCL 365/449 593/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 182644706 m, 475899 m/sec, 219173647 t fired, .
[lola][.]
[lola][.] Time elapsed: 366 secs. Pages in use: 593
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 76 (type FNDP) for 21 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 79 (type EQUN) for 21 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 59 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12
[lola][I] result : unknown
[lola][I] tried executions : 41935050
[lola][I] time used : 365
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 64 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03
[lola][I] result : unknown
[lola][I] tried executions : 28420812
[lola][I] time used : 365
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 1 2 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 EF FNDP 65/763 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 3094211 attempts, .
[lola][.] 73 EF EXCL 370/449 600/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 184791277 m, 429314 m/sec, 221749531 t fired, .
[lola][.] 76 EF FNDP 5/808 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07 776193 attempts, .
[lola][.] 79 EF STEQ 5/646 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 371 secs. Pages in use: 600
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG 0 1 2 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF 0 2 0 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 EF FNDP 70/758 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 3396525 attempts, .
[lola][.] 73 EF EXCL 375/449 606/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 186689082 m, 379561 m/sec, 224026898 t fired, .
[lola][.] 76 EF FNDP 10/803 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07 1505028 attempts, .
[lola][.] 79 EF STEQ 10/641 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 376 secs. Pages in use: 606
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 79 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07
[lola][I] result : false
[lola][W] CANCELED task # 76 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07 (obsolete)
[lola][I] LAUNCH task # 60 (type FNDP) for 30 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 62 (type EQUN) for 30 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 76 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07
[lola][I] result : unknown
[lola][I] tried executions : 1639780
[lola][I] time used : 11
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 60 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 62 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10 (obsolete)
[lola][I] LAUNCH task # 61 (type FNDP) for 24 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 68 (type EQUN) for 24 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 68 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08
[lola][I] result : false
[lola][W] CANCELED task # 61 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08 (obsolete)
[lola][I] LAUNCH task # 53 (type EQUN) for 18 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 66 (type EQUN) for 36 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 61 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08
[lola][I] result : unknown
[lola][I] tried executions : 6707
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 66 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12
[lola][I] result : false
[lola][I] LAUNCH task # 74 (type EQUN) for 9 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 62 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10
[lola][I] result : true
[lola][I] FINISHED task # 74 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03
[lola][I] result : false
[lola][I] LAUNCH task # 77 (type EQUN) for 3 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF true findpath
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF false state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 1 1 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF STEQ 4/1609 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[lola][.] 65 EF FNDP 75/3221 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 3786038 attempts, .
[lola][.] 73 EF EXCL 380/1199 610/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 188053838 m, 272951 m/sec, 225664605 t fired, .
[lola][.] 77 EF STEQ 2/1610 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 381 secs. Pages in use: 610
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF true findpath
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF false state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF 0 1 1 0 2 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF STEQ 9/1607 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[lola][.] 65 EF FNDP 80/3219 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 4193928 attempts, .
[lola][.] 73 EF EXCL 385/1199 615/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 189563224 m, 301877 m/sec, 227475868 t fired, .
[lola][.] 77 EF STEQ 7/1608 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 386 secs. Pages in use: 615
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 53 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06
[lola][I] result : false
[lola][I] LAUNCH task # 71 (type FNDP) for 39 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-00: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-02: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-03: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-04: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-05: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-06: EF false state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-07: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-08: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-10: EF true findpath
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-11: INITIAL true preprocessing
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-12: EF false state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-14: AG true state equation
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 65 EF FNDP 85/3210 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 4571806 attempts, .
[lola][.] 71 EF FNDP 1/3210 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 262425 attempts, .
[lola][.] 73 EF EXCL 390/1799 620/2000 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 191033807 m, 294116 m/sec, 229240567 t fired, .
[lola][.] 77 EF STEQ 12/1599 0/5 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 391 secs. Pages in use: 620
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 77 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01
[lola][I] result : false
[lola][W] CANCELED task # 65 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01 (obsolete)
[lola][I] LAUNCH task # 72 (type EQUN) for 39 CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 65 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-01
[lola][I] result : unknown
[lola][I] tried executions : 4721114
[lola][I] time used : 87
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 72 (type EQUN) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13
[lola][I] result : false
[lola][W] CANCELED task # 71 (type FNDP) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 (obsolete)
[lola][W] CANCELED task # 73 (type EXCL) for CryptoMiner-PT-D03N000-ReachabilityFireability-2024-13 (obsolete)
[lola][I] Portfolio finished: no open formulas

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="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is CryptoMiner-PT-D03N000, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r093-tall-171624190700367"
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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;