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.r005-smll-171620118800159.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 ASLink-PT-10a, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-171620118800159
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 6.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K May 19 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 19 15:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 19 07:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 17:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.4K May 19 07:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 19 15:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 920K 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 ASLink-PT-10a-ReachabilityFireability-2024-00
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-01
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-02
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-03
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-04
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-05
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-06
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2023-07
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2023-08
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2023-09
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-10
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2023-11
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-12
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-13
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-14
FORMULA_NAME ASLink-PT-10a-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717147795907

FORMULA ASLink-PT-10a-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2023-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2023-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2023-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2023-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-10a-ReachabilityFireability-2024-05 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] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola] ASLink-PT-10a-ReachabilityFireability-2024-01: AG true state equation
[lola] ASLink-PT-10a-ReachabilityFireability-2024-02: EF true findpath
[lola] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola] ASLink-PT-10a-ReachabilityFireability-2024-05: AG true state equation
[lola] ASLink-PT-10a-ReachabilityFireability-2024-06: EF true findpath
[lola] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola] ASLink-PT-10a-ReachabilityFireability-2023-08: EF false state equation
[lola] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola] ASLink-PT-10a-ReachabilityFireability-2024-10: AG true state equation
[lola] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola] ASLink-PT-10a-ReachabilityFireability-2024-12: AG true state equation
[lola] ASLink-PT-10a-ReachabilityFireability-2024-13: AG true state equation
[lola] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola] ASLink-PT-10a-ReachabilityFireability-2024-15: AG true state equation
[lola]
[lola] Time elapsed: 243 secs. Pages in use: 31

BK_STOP 1717148039962

--------------------
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 # 13 (type CNST) for 12 ASLink-PT-10a-ReachabilityFireability-2024-04
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 22 (type CNST) for 21 ASLink-PT-10a-ReachabilityFireability-2023-07
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 34 (type CNST) for 33 ASLink-PT-10a-ReachabilityFireability-2023-11
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 34 (type CNST) for ASLink-PT-10a-ReachabilityFireability-2023-11
[lola][I] result : false
[lola][I] FINISHED task # 13 (type CNST) for ASLink-PT-10a-ReachabilityFireability-2024-04
[lola][I] result : false
[lola][I] FINISHED task # 22 (type CNST) for ASLink-PT-10a-ReachabilityFireability-2023-07
[lola][I] result : false
[lola][I] LAUNCH task # 1 (type CNST) for 0 ASLink-PT-10a-ReachabilityFireability-2024-00
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 1 (type CNST) for ASLink-PT-10a-ReachabilityFireability-2024-00
[lola][I] result : false
[lola][I] LAUNCH task # 51 (type EXCL) for 9 ASLink-PT-10a-ReachabilityFireability-2024-03
[lola][I] time limit : 294 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 49 (type FNDP) for 9 ASLink-PT-10a-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 50 (type EQUN) for 9 ASLink-PT-10a-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 53 (type FNDP) for 15 ASLink-PT-10a-ReachabilityFireability-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG 0 0 3 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 49 EF FNDP 2/440 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 234 attempts, .
[lola][.] 50 EF STEQ 2/440 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[lola][.] 51 EF EXCL 2/294 1/2000 ASLink-PT-10a-ReachabilityFireability-2024-03 53275 m, 10655 m/sec, 58531 t fired, .
[lola][.] 53 EF FNDP 2/440 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 289 attempts, .
[lola][.]
[lola][.] Time elapsed: 68 secs. Pages in use: 1
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG 0 0 3 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 49 EF FNDP 7/439 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 1410 attempts, .
[lola][.] 50 EF STEQ 7/439 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[lola][.] 51 EF EXCL 7/294 3/2000 ASLink-PT-10a-ReachabilityFireability-2024-03 423898 m, 74124 m/sec, 474030 t fired, .
[lola][.] 53 EF FNDP 7/439 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 1848 attempts, .
[lola][.]
[lola][.] Time elapsed: 73 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG 0 0 3 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 49 EF FNDP 12/434 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 2767 attempts, .
[lola][.] 50 EF STEQ 12/434 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[lola][.] 51 EF EXCL 12/294 5/2000 ASLink-PT-10a-ReachabilityFireability-2024-03 789089 m, 73038 m/sec, 883509 t fired, .
[lola][.] 53 EF FNDP 12/434 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 3601 attempts, .
[lola][.]
[lola][.] Time elapsed: 78 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG 0 0 3 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 49 EF FNDP 17/429 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 4048 attempts, .
[lola][.] 50 EF STEQ 17/429 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[lola][.] 51 EF EXCL 17/294 7/2000 ASLink-PT-10a-ReachabilityFireability-2024-03 1140974 m, 70377 m/sec, 1278556 t fired, .
[lola][.] 53 EF FNDP 17/429 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 5567 attempts, .
[lola][.]
[lola][.] Time elapsed: 83 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG 0 0 3 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 49 EF FNDP 22/424 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 5433 attempts, .
[lola][.] 50 EF STEQ 22/424 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[lola][.] 51 EF EXCL 22/294 9/2000 ASLink-PT-10a-ReachabilityFireability-2024-03 1498282 m, 71461 m/sec, 1678909 t fired, .
[lola][.] 53 EF FNDP 22/424 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 7646 attempts, .
[lola][.]
[lola][.] Time elapsed: 88 secs. Pages in use: 9
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG 0 0 3 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 49 EF FNDP 27/419 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 6810 attempts, .
[lola][.] 50 EF STEQ 27/419 0/5 ASLink-PT-10a-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[lola][.] 51 EF EXCL 27/294 11/2000 ASLink-PT-10a-ReachabilityFireability-2024-03 1851993 m, 70742 m/sec, 2073587 t fired, .
[lola][.] 53 EF FNDP 27/419 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 9816 attempts, .
[lola][.]
[lola][.] Time elapsed: 93 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 50 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-03
[lola][I] result : false
[lola][W] CANCELED task # 49 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-03 (obsolete)
[lola][W] CANCELED task # 51 (type EXCL) for ASLink-PT-10a-ReachabilityFireability-2024-03 (obsolete)
[lola][I] LAUNCH task # 91 (type EXCL) for 18 ASLink-PT-10a-ReachabilityFireability-2024-06
[lola][I] time limit : 318 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 59 (type FNDP) for 42 ASLink-PT-10a-ReachabilityFireability-2024-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 60 (type EQUN) for 42 ASLink-PT-10a-ReachabilityFireability-2024-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 49 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-03
[lola][I] result : unknown
[lola][I] tried executions : 8261
[lola][I] time used : 32
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 59 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-14
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 60 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-14 (obsolete)
[lola][I] LAUNCH task # 75 (type FNDP) for 27 ASLink-PT-10a-ReachabilityFireability-2023-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 76 (type EQUN) for 27 ASLink-PT-10a-ReachabilityFireability-2023-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 32/557 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 12106 attempts, .
[lola][.] 75 EF FNDP 0/500 0/5 ASLink-PT-10a-ReachabilityFireability-2023-09 --
[lola][.] 76 EF STEQ 0/500 0/5 ASLink-PT-10a-ReachabilityFireability-2023-09 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 0/350 1/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 1196 m, 239 m/sec, 1224 t fired, .
[lola][.]
[lola][.] Time elapsed: 98 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 60 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-14
[lola][I] result : true
[lola][I] FINISHED task # 76 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2023-09
[lola][I] result : false
[lola][W] CANCELED task # 75 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2023-09 (obsolete)
[lola][I] LAUNCH task # 67 (type FNDP) for 3 ASLink-PT-10a-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 68 (type EQUN) for 3 ASLink-PT-10a-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 75 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2023-09
[lola][I] result : unknown
[lola][I] tried executions : 1075
[lola][I] time used : 3
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 37/554 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 14212 attempts, .
[lola][.] 67 EF FNDP 2/583 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 134 attempts, .
[lola][.] 68 EF STEQ 2/583 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 5/389 2/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 201922 m, 40145 m/sec, 201950 t fired, .
[lola][.]
[lola][.] Time elapsed: 103 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 42/552 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 16497 attempts, .
[lola][.] 67 EF FNDP 7/581 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 1088 attempts, .
[lola][.] 68 EF STEQ 7/581 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 10/389 3/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 408018 m, 41219 m/sec, 408046 t fired, .
[lola][.]
[lola][.] Time elapsed: 108 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 47/547 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 18797 attempts, .
[lola][.] 67 EF FNDP 12/576 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 2121 attempts, .
[lola][.] 68 EF STEQ 12/576 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 15/389 4/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 614871 m, 41370 m/sec, 614899 t fired, .
[lola][.]
[lola][.] Time elapsed: 113 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 52/542 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 21121 attempts, .
[lola][.] 67 EF FNDP 17/571 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 3172 attempts, .
[lola][.] 68 EF STEQ 17/571 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 20/389 5/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 826042 m, 42234 m/sec, 826070 t fired, .
[lola][.]
[lola][.] Time elapsed: 118 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 57/537 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 23449 attempts, .
[lola][.] 67 EF FNDP 22/566 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 4085 attempts, .
[lola][.] 68 EF STEQ 22/566 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 25/389 6/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 1029461 m, 40683 m/sec, 1029489 t fired, .
[lola][.]
[lola][.] Time elapsed: 123 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 62/532 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 25897 attempts, .
[lola][.] 67 EF FNDP 27/561 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 5100 attempts, .
[lola][.] 68 EF STEQ 27/561 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 30/389 7/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 1230212 m, 40150 m/sec, 1230245 t fired, .
[lola][.]
[lola][.] Time elapsed: 128 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 67/527 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 28246 attempts, .
[lola][.] 67 EF FNDP 32/556 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 6008 attempts, .
[lola][.] 68 EF STEQ 32/556 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 35/389 9/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 1432805 m, 40518 m/sec, 1432841 t fired, .
[lola][.]
[lola][.] Time elapsed: 133 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 72/522 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 30648 attempts, .
[lola][.] 67 EF FNDP 37/551 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 6890 attempts, .
[lola][.] 68 EF STEQ 37/551 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 40/389 10/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 1635584 m, 40555 m/sec, 1635624 t fired, .
[lola][.]
[lola][.] Time elapsed: 138 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 77/517 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 33077 attempts, .
[lola][.] 67 EF FNDP 42/546 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 7805 attempts, .
[lola][.] 68 EF STEQ 42/546 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 45/389 11/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 1837764 m, 40436 m/sec, 1837810 t fired, .
[lola][.]
[lola][.] Time elapsed: 143 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 82/512 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 35453 attempts, .
[lola][.] 67 EF FNDP 47/541 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 8776 attempts, .
[lola][.] 68 EF STEQ 47/541 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 50/389 12/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 2040523 m, 40551 m/sec, 2040572 t fired, .
[lola][.]
[lola][.] Time elapsed: 148 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 87/507 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 37850 attempts, .
[lola][.] 67 EF FNDP 52/536 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 9761 attempts, .
[lola][.] 68 EF STEQ 52/536 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 55/389 13/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 2242957 m, 40486 m/sec, 2243009 t fired, .
[lola][.]
[lola][.] Time elapsed: 153 secs. Pages in use: 13
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 92/502 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 40256 attempts, .
[lola][.] 67 EF FNDP 57/531 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 10728 attempts, .
[lola][.] 68 EF STEQ 57/531 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 60/389 14/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 2444572 m, 40323 m/sec, 2444630 t fired, .
[lola][.]
[lola][.] Time elapsed: 158 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 97/497 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 42691 attempts, .
[lola][.] 67 EF FNDP 62/526 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 11689 attempts, .
[lola][.] 68 EF STEQ 62/526 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 65/389 15/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 2645054 m, 40096 m/sec, 2645119 t fired, .
[lola][.]
[lola][.] Time elapsed: 163 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 102/492 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 45198 attempts, .
[lola][.] 67 EF FNDP 67/521 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 12713 attempts, .
[lola][.] 68 EF STEQ 67/521 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 70/389 17/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 2848057 m, 40600 m/sec, 2848125 t fired, .
[lola][.]
[lola][.] Time elapsed: 168 secs. Pages in use: 17
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 107/487 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 47670 attempts, .
[lola][.] 67 EF FNDP 72/516 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 13721 attempts, .
[lola][.] 68 EF STEQ 72/516 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 75/389 18/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 3050268 m, 40442 m/sec, 3050337 t fired, .
[lola][.]
[lola][.] Time elapsed: 173 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 112/482 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 50105 attempts, .
[lola][.] 67 EF FNDP 77/511 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 14748 attempts, .
[lola][.] 68 EF STEQ 77/511 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 80/389 19/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 3252946 m, 40535 m/sec, 3253024 t fired, .
[lola][.]
[lola][.] Time elapsed: 178 secs. Pages in use: 19
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 117/477 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 52555 attempts, .
[lola][.] 67 EF FNDP 82/506 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 15745 attempts, .
[lola][.] 68 EF STEQ 82/506 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 85/389 20/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 3456447 m, 40700 m/sec, 3456537 t fired, .
[lola][.]
[lola][.] Time elapsed: 183 secs. Pages in use: 20
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 122/472 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 54995 attempts, .
[lola][.] 67 EF FNDP 87/501 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 16766 attempts, .
[lola][.] 68 EF STEQ 87/501 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 90/389 21/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 3658147 m, 40340 m/sec, 3658239 t fired, .
[lola][.]
[lola][.] Time elapsed: 188 secs. Pages in use: 21
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 127/467 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 57481 attempts, .
[lola][.] 67 EF FNDP 92/496 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 17788 attempts, .
[lola][.] 68 EF STEQ 92/496 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 95/389 22/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 3860392 m, 40449 m/sec, 3860487 t fired, .
[lola][.]
[lola][.] Time elapsed: 193 secs. Pages in use: 22
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 132/462 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 59887 attempts, .
[lola][.] 67 EF FNDP 97/491 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 18817 attempts, .
[lola][.] 68 EF STEQ 97/491 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 100/389 23/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 4062137 m, 40349 m/sec, 4062235 t fired, .
[lola][.]
[lola][.] Time elapsed: 198 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 137/457 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 62313 attempts, .
[lola][.] 67 EF FNDP 102/486 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 19830 attempts, .
[lola][.] 68 EF STEQ 102/486 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 105/389 25/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 4263008 m, 40174 m/sec, 4263112 t fired, .
[lola][.]
[lola][.] Time elapsed: 203 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 142/452 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 64741 attempts, .
[lola][.] 67 EF FNDP 107/481 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 20972 attempts, .
[lola][.] 68 EF STEQ 107/481 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 110/389 26/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 4465692 m, 40536 m/sec, 4465802 t fired, .
[lola][.]
[lola][.] Time elapsed: 208 secs. Pages in use: 26
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 147/447 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 67162 attempts, .
[lola][.] 67 EF FNDP 112/476 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 22159 attempts, .
[lola][.] 68 EF STEQ 112/476 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 115/389 27/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 4671332 m, 41128 m/sec, 4671446 t fired, .
[lola][.]
[lola][.] Time elapsed: 213 secs. Pages in use: 27
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 152/442 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 69559 attempts, .
[lola][.] 67 EF FNDP 117/471 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 23252 attempts, .
[lola][.] 68 EF STEQ 117/471 0/5 ASLink-PT-10a-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 120/389 28/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 4876609 m, 41055 m/sec, 4876723 t fired, .
[lola][.]
[lola][.] Time elapsed: 218 secs. Pages in use: 28
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 68 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-01
[lola][I] result : false
[lola][W] CANCELED task # 67 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-01 (obsolete)
[lola][I] LAUNCH task # 63 (type FNDP) for 30 ASLink-PT-10a-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 64 (type EQUN) for 30 ASLink-PT-10a-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 67 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-01
[lola][I] result : unknown
[lola][I] tried executions : 23807
[lola][I] time used : 119
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 157/552 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 71996 attempts, .
[lola][.] 63 EF FNDP 3/676 0/5 ASLink-PT-10a-ReachabilityFireability-2024-10 224 attempts, .
[lola][.] 64 EF STEQ 3/563 0/5 ASLink-PT-10a-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 125/437 29/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 5080241 m, 40726 m/sec, 5080364 t fired, .
[lola][.]
[lola][.] Time elapsed: 223 secs. Pages in use: 29
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 64 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-10
[lola][I] result : false
[lola][W] CANCELED task # 63 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-10 (obsolete)
[lola][I] LAUNCH task # 86 (type FNDP) for 6 ASLink-PT-10a-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 87 (type EQUN) for 6 ASLink-PT-10a-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 63 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-10
[lola][I] result : unknown
[lola][I] tried executions : 537
[lola][I] time used : 6
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 86 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-02
[lola][I] result : true
[lola][I] tried executions : 68
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 87 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-02 (obsolete)
[lola][I] LAUNCH task # 56 (type FNDP) for 24 ASLink-PT-10a-ReachabilityFireability-2023-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 57 (type EQUN) for 24 ASLink-PT-10a-ReachabilityFireability-2023-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 87 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-02
[lola][I] result : true
[lola][I] FINISHED task # 57 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2023-08
[lola][I] result : false
[lola][W] CANCELED task # 56 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2023-08 (obsolete)
[lola][I] LAUNCH task # 71 (type FNDP) for 39 ASLink-PT-10a-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 72 (type EQUN) for 39 ASLink-PT-10a-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 56 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2023-08
[lola][I] result : unknown
[lola][I] tried executions : 101
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF false state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 162/1017 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 74387 attempts, .
[lola][.] 71 EF FNDP 1/1124 0/5 ASLink-PT-10a-ReachabilityFireability-2024-13 85 attempts, .
[lola][.] 72 EF STEQ 1/843 0/5 ASLink-PT-10a-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 91 EF EXCL 130/700 30/2000 ASLink-PT-10a-ReachabilityFireability-2024-06 5278327 m, 39617 m/sec, 5278454 t fired, .
[lola][.]
[lola][.] Time elapsed: 228 secs. Pages in use: 30
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 72 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-13
[lola][I] result : false
[lola][W] CANCELED task # 71 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-13 (obsolete)
[lola][I] LAUNCH task # 79 (type FNDP) for 45 ASLink-PT-10a-ReachabilityFireability-2024-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 80 (type EQUN) for 45 ASLink-PT-10a-ReachabilityFireability-2024-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 71 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-13
[lola][I] result : unknown
[lola][I] tried executions : 237
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 80 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-15
[lola][I] result : false
[lola][W] CANCELED task # 79 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-15 (obsolete)
[lola][I] LAUNCH task # 83 (type FNDP) for 36 ASLink-PT-10a-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 84 (type EQUN) for 36 ASLink-PT-10a-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 79 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-15
[lola][I] result : unknown
[lola][I] tried executions : 156
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 84 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-12
[lola][I] result : false
[lola][W] CANCELED task # 83 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-12 (obsolete)
[lola][I] LAUNCH task # 54 (type EQUN) for 15 ASLink-PT-10a-ReachabilityFireability-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 89 (type FNDP) for 18 ASLink-PT-10a-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 83 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-12
[lola][I] result : unknown
[lola][I] tried executions : 131
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 89 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I] tried executions : 2
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 91 (type EXCL) for ASLink-PT-10a-ReachabilityFireability-2024-06 (obsolete)
[lola][I] LAUNCH task # 55 (type EXCL) for 15 ASLink-PT-10a-ReachabilityFireability-2024-05
[lola][I] time limit : 3370 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF false state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG true state equation
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 167/3534 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 76840 attempts, .
[lola][.] 54 EF STEQ 3/3370 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[lola][.] 55 EF EXCL 3/3370 1/2000 ASLink-PT-10a-ReachabilityFireability-2024-05 45264 m, 9052 m/sec, 49742 t fired, .
[lola][.]
[lola][.] Time elapsed: 233 secs. Pages in use: 31
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF false state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG true state equation
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 172/3534 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 79444 attempts, .
[lola][.] 54 EF STEQ 8/3370 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[lola][.] 55 EF EXCL 8/3370 1/2000 ASLink-PT-10a-ReachabilityFireability-2024-05 117574 m, 14462 m/sec, 135148 t fired, .
[lola][.]
[lola][.] Time elapsed: 238 secs. Pages in use: 31
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-00: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-01: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-02: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-04: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-06: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-07: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-08: EF false state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-09: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-10: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2023-11: INITIAL false preprocessing
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-12: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-13: AG true state equation
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-14: EF true findpath
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-15: AG true state equation
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ASLink-PT-10a-ReachabilityFireability-2024-05: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 53 EF FNDP 177/3534 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 82065 attempts, .
[lola][.] 54 EF STEQ 13/3370 0/5 ASLink-PT-10a-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[lola][.] 55 EF EXCL 13/3370 2/2000 ASLink-PT-10a-ReachabilityFireability-2024-05 189408 m, 14366 m/sec, 220986 t fired, .
[lola][.]
[lola][.] Time elapsed: 243 secs. Pages in use: 31
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I] FINISHED task # 54 (type EQUN) for ASLink-PT-10a-ReachabilityFireability-2024-05
[lola][I] result : false
[lola][W] CANCELED task # 53 (type FNDP) for ASLink-PT-10a-ReachabilityFireability-2024-05 (obsolete)
[lola][W] CANCELED task # 55 (type EXCL) for ASLink-PT-10a-ReachabilityFireability-2024-05 (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="ASLink-PT-10a"
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 ASLink-PT-10a, 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 r005-smll-171620118800159"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-10a.tgz
mv ASLink-PT-10a 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 ;