About the Execution of LoLA for FireWire-PT-17
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1319.312 | 311966.00 | 863612.00 | 522.00 | FTFFFTTFFFTTFFFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r551-tall-171734899800302.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 FireWire-PT-17, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r551-tall-171734899800302
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 7.8K Jun 2 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Jun 2 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Jun 2 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Jun 2 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Jun 2 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Jun 2 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Jun 2 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 2 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 2 16:33 NewModel
-rw-r--r-- 1 mcc users 7.8K Jun 2 17:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Jun 2 17:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Jun 2 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Jun 2 17:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Jun 2 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Jun 2 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 equiv_col
-rw-r--r-- 1 mcc users 3 Jun 2 16:33 instance
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 iscolored
-rw-r--r-- 1 mcc users 153K Jun 2 16:33 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 FireWire-PT-17-ReachabilityCardinality-2024-00
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-01
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-02
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-03
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-04
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-05
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-06
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-07
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-08
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-09
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-10
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-11
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-12
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-13
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-14
FORMULA_NAME FireWire-PT-17-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1717424916311
starting LoLA
BK_EXAMINATION: ReachabilityCardinality
BK_TIME_CONFINEMENT: 3600
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-17-ReachabilityCardinality-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[[35mlola[0m] [1mFINAL RESULTS[0m
[[35mlola[0m] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-14: AG false findpath[0m
[[35mlola[0m] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m]
[[35mlola[0m] Time elapsed: 312 secs. Pages in use: 39
BK_STOP 1717425228277
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mReachabilityCardinality.xml[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 7 (type CNST) for 6 FireWire-PT-17-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 46 (type CNST) for 45 FireWire-PT-17-ReachabilityCardinality-2024-15
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 46 (type CNST) for FireWire-PT-17-ReachabilityCardinality-2024-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 34 (type CNST) for 33 FireWire-PT-17-ReachabilityCardinality-2024-11
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 7 (type CNST) for FireWire-PT-17-ReachabilityCardinality-2024-02
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 34 (type CNST) for FireWire-PT-17-ReachabilityCardinality-2024-11
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 4 (type CNST) for 3 FireWire-PT-17-ReachabilityCardinality-2024-01
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 59 (type EXCL) for 18 FireWire-PT-17-ReachabilityCardinality-2024-06
[[35mlola[0m][I] time limit : 353 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for 18 FireWire-PT-17-ReachabilityCardinality-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 58 (type EQUN) for 18 FireWire-PT-17-ReachabilityCardinality-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 4 (type CNST) for FireWire-PT-17-ReachabilityCardinality-2024-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 72 (type FNDP) for 9 FireWire-PT-17-ReachabilityCardinality-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 59 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 8
[[35mlola[0m][I] fired transitions : 7
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 57 (type FNDP) for FireWire-PT-17-ReachabilityCardinality-2024-06 (obsolete)
[[35mlola[0m][W] CANCELED task # 58 (type EQUN) for FireWire-PT-17-ReachabilityCardinality-2024-06 (obsolete)
[[35mlola[0m][I] LAUNCH task # 56 (type EXCL) for 39 FireWire-PT-17-ReachabilityCardinality-2024-13
[[35mlola[0m][I] time limit : 321 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 90 (type FNDP) for 27 FireWire-PT-17-ReachabilityCardinality-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 91 (type EQUN) for 27 FireWire-PT-17-ReachabilityCardinality-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 72 (type FNDP) for FireWire-PT-17-ReachabilityCardinality-2024-03
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 83 (type FNDP) for 42 FireWire-PT-17-ReachabilityCardinality-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 56 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 3
[[35mlola[0m][I] fired transitions : 2
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 88 (type EXCL) for 15 FireWire-PT-17-ReachabilityCardinality-2024-05
[[35mlola[0m][I] time limit : 392 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 57 (type FNDP) for FireWire-PT-17-ReachabilityCardinality-2024-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 88 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 16
[[35mlola[0m][I] fired transitions : 15
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 77 (type EXCL) for 0 FireWire-PT-17-ReachabilityCardinality-2024-00
[[35mlola[0m][I] time limit : 441 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 77 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 8
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 81 (type EXCL) for 36 FireWire-PT-17-ReachabilityCardinality-2024-12
[[35mlola[0m][I] time limit : 504 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 90 (type FNDP) for FireWire-PT-17-ReachabilityCardinality-2024-09
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 91 (type EQUN) for FireWire-PT-17-ReachabilityCardinality-2024-09 (obsolete)
[[35mlola[0m][I] LAUNCH task # 67 (type FNDP) for 30 FireWire-PT-17-ReachabilityCardinality-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 69 (type EQUN) for 30 FireWire-PT-17-ReachabilityCardinality-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 81 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 12
[[35mlola[0m][I] fired transitions : 11
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 62 (type EXCL) for 24 FireWire-PT-17-ReachabilityCardinality-2024-08
[[35mlola[0m][I] time limit : 706 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 69 (type EQUN) for FireWire-PT-17-ReachabilityCardinality-2024-10
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 52 (type FNDP) for 12 FireWire-PT-17-ReachabilityCardinality-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 58 (type EQUN) for FireWire-PT-17-ReachabilityCardinality-2024-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 5/1178 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 21060 attempts, .
[[35mlola[0m][.] 62 EF EXCL 5/706 2/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 409992 m, 81998 m/sec, 1130889 t fired, .
[[35mlola[0m][.] 67 EF FNDP 5/1178 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 19720 attempts, .
[[35mlola[0m][.] 83 EF FNDP 5/1178 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 25323 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 91 (type EQUN) for FireWire-PT-17-ReachabilityCardinality-2024-09
[[35mlola[0m][I] result : true
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 10/1172 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 49596 attempts, .
[[35mlola[0m][.] 62 EF EXCL 10/706 4/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 908232 m, 99648 m/sec, 2755886 t fired, .
[[35mlola[0m][.] 67 EF FNDP 10/1172 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 43378 attempts, .
[[35mlola[0m][.] 83 EF FNDP 10/1172 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 59120 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 4
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 15/1168 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 75291 attempts, .
[[35mlola[0m][.] 62 EF EXCL 15/706 6/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 1472862 m, 112926 m/sec, 4508414 t fired, .
[[35mlola[0m][.] 67 EF FNDP 15/1168 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 75492 attempts, .
[[35mlola[0m][.] 83 EF FNDP 15/1168 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 88521 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 6
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 20/1163 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 101065 attempts, .
[[35mlola[0m][.] 62 EF EXCL 20/706 7/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 2005960 m, 106619 m/sec, 6398035 t fired, .
[[35mlola[0m][.] 67 EF FNDP 20/1163 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 119689 attempts, .
[[35mlola[0m][.] 83 EF FNDP 20/1163 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 107437 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 7
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 25/1158 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 126826 attempts, .
[[35mlola[0m][.] 62 EF EXCL 25/706 9/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 2537221 m, 106252 m/sec, 8231309 t fired, .
[[35mlola[0m][.] 67 EF FNDP 25/1158 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 158573 attempts, .
[[35mlola[0m][.] 83 EF FNDP 25/1158 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 131364 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 30/1153 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 152351 attempts, .
[[35mlola[0m][.] 62 EF EXCL 30/706 11/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 3061001 m, 104756 m/sec, 10079300 t fired, .
[[35mlola[0m][.] 67 EF FNDP 30/1153 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 200651 attempts, .
[[35mlola[0m][.] 83 EF FNDP 30/1153 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 152133 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 11
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 35/1148 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 178135 attempts, .
[[35mlola[0m][.] 62 EF EXCL 35/706 13/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 3586001 m, 105000 m/sec, 11867279 t fired, .
[[35mlola[0m][.] 67 EF FNDP 35/1148 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 244778 attempts, .
[[35mlola[0m][.] 83 EF FNDP 35/1148 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 171000 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 40/1143 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 203751 attempts, .
[[35mlola[0m][.] 62 EF EXCL 40/706 15/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 4121026 m, 107005 m/sec, 13665006 t fired, .
[[35mlola[0m][.] 67 EF FNDP 40/1143 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 289083 attempts, .
[[35mlola[0m][.] 83 EF FNDP 40/1143 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 189943 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 15
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 45/1138 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 229514 attempts, .
[[35mlola[0m][.] 62 EF EXCL 45/706 16/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 4648042 m, 105403 m/sec, 15432877 t fired, .
[[35mlola[0m][.] 67 EF FNDP 45/1138 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 333526 attempts, .
[[35mlola[0m][.] 83 EF FNDP 45/1138 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 208904 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 16
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 50/1133 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 255138 attempts, .
[[35mlola[0m][.] 62 EF EXCL 50/706 18/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 5167215 m, 103834 m/sec, 17312918 t fired, .
[[35mlola[0m][.] 67 EF FNDP 50/1133 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 377832 attempts, .
[[35mlola[0m][.] 83 EF FNDP 50/1133 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 227747 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 18
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 55/1128 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 280868 attempts, .
[[35mlola[0m][.] 62 EF EXCL 55/706 20/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 5689097 m, 104376 m/sec, 19214800 t fired, .
[[35mlola[0m][.] 67 EF FNDP 55/1128 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 422244 attempts, .
[[35mlola[0m][.] 83 EF FNDP 55/1128 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 246666 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 20
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 60/1123 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 306727 attempts, .
[[35mlola[0m][.] 62 EF EXCL 60/706 22/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 6201622 m, 102505 m/sec, 21172228 t fired, .
[[35mlola[0m][.] 67 EF FNDP 60/1123 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 466751 attempts, .
[[35mlola[0m][.] 83 EF FNDP 60/1123 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 265591 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 22
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 65/1118 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 332387 attempts, .
[[35mlola[0m][.] 62 EF EXCL 65/706 24/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 6738421 m, 107359 m/sec, 22940511 t fired, .
[[35mlola[0m][.] 67 EF FNDP 65/1118 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 511051 attempts, .
[[35mlola[0m][.] 83 EF FNDP 65/1118 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 284370 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 70/1113 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 358209 attempts, .
[[35mlola[0m][.] 62 EF EXCL 70/706 26/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 7288963 m, 110108 m/sec, 24608813 t fired, .
[[35mlola[0m][.] 67 EF FNDP 70/1113 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 555410 attempts, .
[[35mlola[0m][.] 83 EF FNDP 70/1113 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 303379 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 26
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 75/1108 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 383954 attempts, .
[[35mlola[0m][.] 62 EF EXCL 75/706 27/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 7838317 m, 109870 m/sec, 26266300 t fired, .
[[35mlola[0m][.] 67 EF FNDP 75/1108 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 599449 attempts, .
[[35mlola[0m][.] 83 EF FNDP 75/1108 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 322595 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 27
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 80/1103 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 409834 attempts, .
[[35mlola[0m][.] 62 EF EXCL 80/706 29/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 8382841 m, 108904 m/sec, 27899745 t fired, .
[[35mlola[0m][.] 67 EF FNDP 80/1103 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 621575 attempts, .
[[35mlola[0m][.] 83 EF FNDP 80/1103 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 360549 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 29
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 85/1098 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 435687 attempts, .
[[35mlola[0m][.] 62 EF EXCL 85/706 31/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 8933836 m, 110199 m/sec, 29469417 t fired, .
[[35mlola[0m][.] 67 EF FNDP 85/1098 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 643746 attempts, .
[[35mlola[0m][.] 83 EF FNDP 85/1098 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 398434 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 31
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 90/1093 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 461584 attempts, .
[[35mlola[0m][.] 62 EF EXCL 90/706 33/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 9483743 m, 109981 m/sec, 31028137 t fired, .
[[35mlola[0m][.] 67 EF FNDP 90/1093 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 665785 attempts, .
[[35mlola[0m][.] 83 EF FNDP 90/1093 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 436233 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 95/1088 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 487471 attempts, .
[[35mlola[0m][.] 62 EF EXCL 95/706 35/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 10023282 m, 107907 m/sec, 32631905 t fired, .
[[35mlola[0m][.] 67 EF FNDP 95/1088 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 688029 attempts, .
[[35mlola[0m][.] 83 EF FNDP 95/1088 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 474110 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 35
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 100/1083 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 513496 attempts, .
[[35mlola[0m][.] 62 EF EXCL 100/706 37/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 10555717 m, 106487 m/sec, 34208498 t fired, .
[[35mlola[0m][.] 67 EF FNDP 100/1083 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 710210 attempts, .
[[35mlola[0m][.] 83 EF FNDP 100/1083 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 512009 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 37
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-07: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-08: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 105/1078 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 539397 attempts, .
[[35mlola[0m][.] 62 EF EXCL 105/706 39/2000 FireWire-PT-17-ReachabilityCardinality-2024-08 11095332 m, 107923 m/sec, 35743628 t fired, .
[[35mlola[0m][.] 67 EF FNDP 105/1078 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 732320 attempts, .
[[35mlola[0m][.] 83 EF FNDP 105/1078 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 549944 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 62 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-08
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 11156733
[[35mlola[0m][I] fired transitions : 35959776
[[35mlola[0m][I] time used : 106
[[35mlola[0m][I] memory pages used : 39
[[35mlola[0m][I] LAUNCH task # 64 (type EXCL) for 21 FireWire-PT-17-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 857 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 64 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 130293
[[35mlola[0m][I] fired transitions : 300495
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 66 (type EXCL) for 12 FireWire-PT-17-ReachabilityCardinality-2024-04
[[35mlola[0m][I] time limit : 1142 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-04: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 110/1661 0/5 FireWire-PT-17-ReachabilityCardinality-2024-04 563832 attempts, .
[[35mlola[0m][.] 66 EF EXCL 4/1142 1/2000 FireWire-PT-17-ReachabilityCardinality-2024-04 210129 m, 42025 m/sec, 670654 t fired, .
[[35mlola[0m][.] 67 EF FNDP 110/1661 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 769351 attempts, .
[[35mlola[0m][.] 83 EF FNDP 110/3428 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 587162 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 66 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 442541
[[35mlola[0m][I] fired transitions : 1297186
[[35mlola[0m][I] time used : 6
[[35mlola[0m][I] memory pages used : 2
[[35mlola[0m][W] CANCELED task # 52 (type FNDP) for FireWire-PT-17-ReachabilityCardinality-2024-04 (obsolete)
[[35mlola[0m][I] LAUNCH task # 70 (type EXCL) for 30 FireWire-PT-17-ReachabilityCardinality-2024-10
[[35mlola[0m][I] time limit : 1711 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 84 (type EQUN) for 42 FireWire-PT-17-ReachabilityCardinality-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type FNDP) for FireWire-PT-17-ReachabilityCardinality-2024-04
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 582876
[[35mlola[0m][I] time used : 112
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 84 (type EQUN) for FireWire-PT-17-ReachabilityCardinality-2024-14
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 115/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 805959 attempts, .
[[35mlola[0m][.] 70 EF EXCL 3/1711 2/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 405754 m, 81150 m/sec, 854829 t fired, .
[[35mlola[0m][.] 83 EF FNDP 115/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 618274 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 120/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 851107 attempts, .
[[35mlola[0m][.] 70 EF EXCL 8/1711 4/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 1074634 m, 133776 m/sec, 2378745 t fired, .
[[35mlola[0m][.] 83 EF FNDP 120/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 652544 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 125/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 895646 attempts, .
[[35mlola[0m][.] 70 EF EXCL 13/1711 6/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 1683735 m, 121820 m/sec, 4116455 t fired, .
[[35mlola[0m][.] 83 EF FNDP 125/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 690400 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 130/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 939892 attempts, .
[[35mlola[0m][.] 70 EF EXCL 18/1711 8/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 2275530 m, 118359 m/sec, 5788893 t fired, .
[[35mlola[0m][.] 83 EF FNDP 130/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 728272 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 135/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 984487 attempts, .
[[35mlola[0m][.] 70 EF EXCL 23/1711 10/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 2735298 m, 91953 m/sec, 7036753 t fired, .
[[35mlola[0m][.] 83 EF FNDP 135/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 766259 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 140/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 1029153 attempts, .
[[35mlola[0m][.] 70 EF EXCL 28/1711 11/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 3142818 m, 81504 m/sec, 7940848 t fired, .
[[35mlola[0m][.] 83 EF FNDP 140/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 804606 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 145/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 1074096 attempts, .
[[35mlola[0m][.] 70 EF EXCL 33/1711 13/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 3536345 m, 78705 m/sec, 8860111 t fired, .
[[35mlola[0m][.] 83 EF FNDP 145/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 842930 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 150/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 1118724 attempts, .
[[35mlola[0m][.] 70 EF EXCL 38/1711 15/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 4097133 m, 112157 m/sec, 10213025 t fired, .
[[35mlola[0m][.] 83 EF FNDP 150/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 877567 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 155/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 1162942 attempts, .
[[35mlola[0m][.] 70 EF EXCL 43/1711 17/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 4665172 m, 113607 m/sec, 12012145 t fired, .
[[35mlola[0m][.] 83 EF FNDP 155/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 915436 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 160/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 1207328 attempts, .
[[35mlola[0m][.] 70 EF EXCL 48/1711 18/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 5211702 m, 109306 m/sec, 13933509 t fired, .
[[35mlola[0m][.] 83 EF FNDP 160/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 953195 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 165/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 1249999 attempts, .
[[35mlola[0m][.] 70 EF EXCL 53/1711 20/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 5797947 m, 117249 m/sec, 15471678 t fired, .
[[35mlola[0m][.] 83 EF FNDP 165/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 991288 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-10: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 EF FNDP 170/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-10 1284171 attempts, .
[[35mlola[0m][.] 70 EF EXCL 58/1711 22/2000 FireWire-PT-17-ReachabilityCardinality-2024-10 6385826 m, 117575 m/sec, 16825934 t fired, .
[[35mlola[0m][.] 83 EF FNDP 170/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1023962 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 70 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-10
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 6854723
[[35mlola[0m][I] fired transitions : 18039414
[[35mlola[0m][I] time used : 62
[[35mlola[0m][I] memory pages used : 24
[[35mlola[0m][W] CANCELED task # 67 (type FNDP) for FireWire-PT-17-ReachabilityCardinality-2024-10 (obsolete)
[[35mlola[0m][I] LAUNCH task # 85 (type EXCL) for 42 FireWire-PT-17-ReachabilityCardinality-2024-14
[[35mlola[0m][I] time limit : 3360 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 67 (type FNDP) for FireWire-PT-17-ReachabilityCardinality-2024-10
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 1311633
[[35mlola[0m][I] time used : 174
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 175/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1058418 attempts, .
[[35mlola[0m][.] 85 EF EXCL 1/3360 1/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 125961 m, 25192 m/sec, 305658 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 180/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1098859 attempts, .
[[35mlola[0m][.] 85 EF EXCL 6/3360 3/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 833472 m, 141502 m/sec, 1934270 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 185/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1139517 attempts, .
[[35mlola[0m][.] 85 EF EXCL 11/3360 6/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 1501992 m, 133704 m/sec, 3529335 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 251 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 190/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1179906 attempts, .
[[35mlola[0m][.] 85 EF EXCL 16/3360 8/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 2112924 m, 122186 m/sec, 5393936 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 256 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 195/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1220256 attempts, .
[[35mlola[0m][.] 85 EF EXCL 21/3360 10/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 2736987 m, 124812 m/sec, 7105569 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 261 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 200/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1260649 attempts, .
[[35mlola[0m][.] 85 EF EXCL 26/3360 12/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 3385532 m, 129709 m/sec, 8726032 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 266 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 205/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1301009 attempts, .
[[35mlola[0m][.] 85 EF EXCL 31/3360 14/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 4047196 m, 132332 m/sec, 10251914 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 271 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 210/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1341470 attempts, .
[[35mlola[0m][.] 85 EF EXCL 36/3360 17/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 4648618 m, 120284 m/sec, 12120177 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 276 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 215/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1381912 attempts, .
[[35mlola[0m][.] 85 EF EXCL 41/3360 19/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 5264721 m, 123220 m/sec, 13893075 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 281 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 220/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1422450 attempts, .
[[35mlola[0m][.] 85 EF EXCL 46/3360 21/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 5844398 m, 115935 m/sec, 15860299 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 286 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 225/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1463008 attempts, .
[[35mlola[0m][.] 85 EF EXCL 51/3360 23/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 6461829 m, 123486 m/sec, 17641068 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 291 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 230/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1503549 attempts, .
[[35mlola[0m][.] 85 EF EXCL 56/3360 25/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 7072603 m, 122154 m/sec, 19386245 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 296 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 235/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1544077 attempts, .
[[35mlola[0m][.] 85 EF EXCL 61/3360 27/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 7697959 m, 125071 m/sec, 21190035 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 301 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 240/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1584510 attempts, .
[[35mlola[0m][.] 85 EF EXCL 66/3360 29/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 8330100 m, 126428 m/sec, 22912866 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 306 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-00: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-02: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-04: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-06: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-08: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-12: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-17-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-17-ReachabilityCardinality-2024-15: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-17-ReachabilityCardinality-2024-14: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 83 EF FNDP 245/3534 0/5 FireWire-PT-17-ReachabilityCardinality-2024-14 1625206 attempts, .
[[35mlola[0m][.] 85 EF EXCL 71/3360 31/2000 FireWire-PT-17-ReachabilityCardinality-2024-14 8958058 m, 125591 m/sec, 24689247 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 311 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 83 (type FNDP) for FireWire-PT-17-ReachabilityCardinality-2024-14
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1630781
[[35mlola[0m][I] time used : 246
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 85 (type EXCL) for FireWire-PT-17-ReachabilityCardinality-2024-14 (obsolete)
[[35mlola[0m][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="FireWire-PT-17"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is FireWire-PT-17, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r551-tall-171734899800302"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FireWire-PT-17.tgz
mv FireWire-PT-17 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;