About the Execution of 2023-gold for MultiCrashLeafsetExtension-PT-S24C05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16222.596 | 587490.00 | 1292294.00 | 20032.30 | TFTFFTFFTTTTFFTT | 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.r263-tall-171654371900054.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 gold2023
Input is MultiCrashLeafsetExtension-PT-S24C05, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r263-tall-171654371900054
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.8K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 19 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 19 18:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Apr 12 06:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Apr 12 06:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 12M May 18 16:43 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 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716636936570
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C05
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-25 11:35:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-05-25 11:35:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 11:35:38] [INFO ] Load time of PNML (sax parser for PT used): 471 ms
[2024-05-25 11:35:38] [INFO ] Transformed 11106 places.
[2024-05-25 11:35:38] [INFO ] Transformed 16561 transitions.
[2024-05-25 11:35:38] [INFO ] Parsed PT model containing 11106 places and 16561 transitions and 65150 arcs in 612 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 23 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 193 resets, run finished after 696 ms. (steps per millisecond=14 ) properties (out of 16) seen :3
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 88 ms. (steps per millisecond=113 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 97 ms. (steps per millisecond=103 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 102 ms. (steps per millisecond=98 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 204 ms. (steps per millisecond=49 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 94 ms. (steps per millisecond=106 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10000 steps, including 36 resets, run finished after 103 ms. (steps per millisecond=97 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 97 ms. (steps per millisecond=103 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 93 ms. (steps per millisecond=107 ) properties (out of 13) seen :1
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 86 ms. (steps per millisecond=116 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 111 ms. (steps per millisecond=90 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 119 ms. (steps per millisecond=84 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 105 ms. (steps per millisecond=95 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 36 resets, run finished after 97 ms. (steps per millisecond=103 ) properties (out of 12) seen :0
Running SMT prover for 12 properties.
[2024-05-25 11:35:41] [INFO ] Flow matrix only has 15961 transitions (discarded 600 similar events)
// Phase 1: matrix 15961 rows 11106 cols
[2024-05-25 11:35:42] [INFO ] Computed 975 invariants in 1059 ms
[2024-05-25 11:35:46] [INFO ] [Real]Absence check using 64 positive place invariants in 60 ms returned sat
[2024-05-25 11:35:47] [INFO ] [Real]Absence check using 64 positive and 911 generalized place invariants in 651 ms returned sat
[2024-05-25 11:35:47] [INFO ] After 5270ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:11
[2024-05-25 11:35:50] [INFO ] [Nat]Absence check using 64 positive place invariants in 45 ms returned sat
[2024-05-25 11:35:50] [INFO ] [Nat]Absence check using 64 positive and 911 generalized place invariants in 622 ms returned sat
[2024-05-25 11:36:12] [INFO ] After 21540ms SMT Verify possible using state equation in natural domain returned unsat :10 sat :1
[2024-05-25 11:36:12] [INFO ] State equation strengthened by 5002 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:645)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:353)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:944)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 11:36:12] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 11:36:12] [INFO ] After 25154ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :0 real:11
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 12 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 41 out of 11106 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11106/11106 places, 16561/16561 transitions.
Graph (complete) has 37715 edges and 11106 vertex of which 11068 are kept as prefixes of interest. Removing 38 places using SCC suffix rule.39 ms
Discarding 38 places :
Also discarding 0 output transitions
Drop transitions removed 2974 transitions
Trivial Post-agglo rules discarded 2974 transitions
Performed 2974 trivial Post agglomeration. Transition count delta: 2974
Iterating post reduction 0 with 2974 rules applied. Total rules applied 2975 place count 11068 transition count 13587
Reduce places removed 2974 places and 0 transitions.
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Iterating post reduction 1 with 2985 rules applied. Total rules applied 5960 place count 8094 transition count 13576
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 5971 place count 8083 transition count 13576
Performed 250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 250 Pre rules applied. Total rules applied 5971 place count 8083 transition count 13326
Deduced a syphon composed of 250 places in 12 ms
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 3 with 500 rules applied. Total rules applied 6471 place count 7833 transition count 13326
Discarding 2724 places :
Symmetric choice reduction at 3 with 2724 rule applications. Total rules 9195 place count 5109 transition count 10602
Iterating global reduction 3 with 2724 rules applied. Total rules applied 11919 place count 5109 transition count 10602
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 1 Pre rules applied. Total rules applied 11919 place count 5109 transition count 10601
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 11921 place count 5108 transition count 10601
Discarding 522 places :
Symmetric choice reduction at 3 with 522 rule applications. Total rules 12443 place count 4586 transition count 7991
Iterating global reduction 3 with 522 rules applied. Total rules applied 12965 place count 4586 transition count 7991
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 8 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 3 with 48 rules applied. Total rules applied 13013 place count 4562 transition count 7967
Free-agglomeration rule (complex) applied 335 times.
Iterating global reduction 3 with 335 rules applied. Total rules applied 13348 place count 4562 transition count 9588
Reduce places removed 335 places and 0 transitions.
Iterating post reduction 3 with 335 rules applied. Total rules applied 13683 place count 4227 transition count 9588
Partial Free-agglomeration rule applied 225 times.
Drop transitions removed 225 transitions
Iterating global reduction 4 with 225 rules applied. Total rules applied 13908 place count 4227 transition count 9588
Applied a total of 13908 rules in 5119 ms. Remains 4227 /11106 variables (removed 6879) and now considering 9588/16561 (removed 6973) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5122 ms. Remains : 4227/11106 places, 9588/16561 transitions.
Incomplete random walk after 10000 steps, including 313 resets, run finished after 314 ms. (steps per millisecond=31 ) properties (out of 2) seen :1
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2024-05-25 11:36:18] [INFO ] Flow matrix only has 8725 transitions (discarded 863 similar events)
// Phase 1: matrix 8725 rows 4227 cols
[2024-05-25 11:36:18] [INFO ] Computed 937 invariants in 244 ms
[2024-05-25 11:36:19] [INFO ] [Real]Absence check using 49 positive place invariants in 68 ms returned sat
[2024-05-25 11:36:19] [INFO ] [Real]Absence check using 49 positive and 888 generalized place invariants in 236 ms returned sat
[2024-05-25 11:36:23] [INFO ] After 4738ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2024-05-25 11:36:23] [INFO ] [Nat]Absence check using 49 positive place invariants in 66 ms returned sat
[2024-05-25 11:36:23] [INFO ] [Nat]Absence check using 49 positive and 888 generalized place invariants in 240 ms returned sat
[2024-05-25 11:36:28] [INFO ] After 3993ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2024-05-25 11:36:28] [INFO ] State equation strengthened by 4870 read => feed constraints.
[2024-05-25 11:36:29] [INFO ] After 1212ms SMT Verify possible using 4870 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2024-05-25 11:36:34] [INFO ] Deduced a trap composed of 269 places in 4668 ms of which 19 ms to minimize.
[2024-05-25 11:36:39] [INFO ] Deduced a trap composed of 312 places in 4389 ms of which 4 ms to minimize.
[2024-05-25 11:36:40] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 11278 ms
[2024-05-25 11:36:40] [INFO ] After 12698ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 289 ms.
[2024-05-25 11:36:41] [INFO ] After 17825ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 12 ms.
Support contains 1 out of 4227 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4227/4227 places, 9588/9588 transitions.
Drop transitions removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 0 with 14 rules applied. Total rules applied 14 place count 4227 transition count 9574
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 1 with 14 rules applied. Total rules applied 28 place count 4213 transition count 9574
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 30 place count 4211 transition count 9568
Iterating global reduction 2 with 2 rules applied. Total rules applied 32 place count 4211 transition count 9568
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 17 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 34 place count 4210 transition count 9567
Free-agglomeration rule (complex) applied 36 times.
Iterating global reduction 2 with 36 rules applied. Total rules applied 70 place count 4210 transition count 9667
Reduce places removed 36 places and 0 transitions.
Iterating post reduction 2 with 36 rules applied. Total rules applied 106 place count 4174 transition count 9667
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 127 place count 4153 transition count 9646
Iterating global reduction 3 with 21 rules applied. Total rules applied 148 place count 4153 transition count 9646
Partial Free-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 3 with 3 rules applied. Total rules applied 151 place count 4153 transition count 9646
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 154 place count 4150 transition count 9643
Iterating global reduction 3 with 3 rules applied. Total rules applied 157 place count 4150 transition count 9643
Applied a total of 157 rules in 2924 ms. Remains 4150 /4227 variables (removed 77) and now considering 9643/9588 (removed -55) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2924 ms. Remains : 4150/4227 places, 9643/9588 transitions.
Incomplete random walk after 10000 steps, including 320 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 39 resets, run finished after 55 ms. (steps per millisecond=181 ) properties (out of 1) seen :0
Finished probabilistic random walk after 11720 steps, run visited all 1 properties in 1363 ms. (steps per millisecond=8 )
Probabilistic random walk after 11720 steps, saw 5455 distinct states, run finished after 1364 ms. (steps per millisecond=8 ) properties seen :1
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Parikh walk visited 0 properties in 0 ms.
All properties solved without resorting to model-checking.
Total runtime 67653 ms.
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C05
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1716637524060
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityCardinality.xml
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 206 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 211 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 216 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 221 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 226 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 231 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 236 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 241 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 246 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 16.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 251 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 256 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 261 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 16.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 266 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 271 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 276 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 15.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 281 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 286 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 7.000000 secs.
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 291 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 296 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 301 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 5.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 53 (type EXCL) for 24 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08
lola: time limit : 206 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 49 (type FNDP) for 24 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type EQUN) for 24 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SRCH) for 24 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-50.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 2/1648 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 4202 t fired, 262 attempts, .
50 EF STEQ 2/3296 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
52 EF SRCH 2/3296 1/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 4646 m, 929 m/sec, 5345 t fired, .
53 EF EXCL 2/206 1/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 --
Time elapsed: 306 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 7/1646 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 22519 t fired, 1122 attempts, .
50 EF STEQ 7/3294 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
52 EF SRCH 7/3294 2/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 17540 m, 2578 m/sec, 20296 t fired, .
53 EF EXCL 7/206 1/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 --
Time elapsed: 311 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 13/1641 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 39834 t fired, 1873 attempts, .
50 EF STEQ 13/3289 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
52 EF SRCH 13/3289 3/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 25229 m, 1537 m/sec, 29229 t fired, .
53 EF EXCL 13/206 1/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 --
Time elapsed: 317 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 18/1635 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 48504 t fired, 2232 attempts, .
50 EF STEQ 18/3283 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
52 EF SRCH 18/3283 3/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 30570 m, 1068 m/sec, 35464 t fired, .
53 EF EXCL 18/206 1/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 --
Time elapsed: 322 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 23/1630 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 58052 t fired, 2616 attempts, .
50 EF STEQ 23/3278 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
52 EF SRCH 23/3278 4/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 31367 m, 159 m/sec, 36419 t fired, .
53 EF EXCL 23/206 1/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 --
Time elapsed: 327 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 29/1625 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 67674 t fired, 3001 attempts, .
50 EF STEQ 29/3273 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
52 EF SRCH 29/3273 4/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 35737 m, 874 m/sec, 41515 t fired, .
53 EF EXCL 29/206 1/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 --
Time elapsed: 333 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 36/1619 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 77501 t fired, 3385 attempts, .
50 EF STEQ 36/3267 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
52 EF SRCH 36/3267 5/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 41942 m, 1241 m/sec, 48827 t fired, .
53 EF EXCL 36/206 1/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 --
Time elapsed: 340 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 41/1612 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 87241 t fired, 3769 attempts, .
50 EF STEQ 41/3260 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
52 EF SRCH 41/3260 5/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 50046 m, 1620 m/sec, 58400 t fired, .
53 EF EXCL 41/206 1/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 7077 m, 1415 m/sec, 8356 t fired, .
Time elapsed: 345 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 52 (type SRCH) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 46/1607 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 95762 t fired, 4100 attempts, .
50 EF STEQ 46/3255 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
53 EF EXCL 46/206 3/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 23631 m, 3310 m/sec, 27952 t fired, .
Time elapsed: 350 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 54 (type SRCH) for 24 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 54 (type SRCH) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08
lola: result : unknown
lola: markings : 26
lola: fired transitions : 25
lola: time used : 1.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 3 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 51/3296 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 100956 t fired, 4299 attempts, .
50 EF STEQ 51/3296 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
53 EF EXCL 51/206 5/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 41559 m, 3585 m/sec, 49257 t fired, .
Time elapsed: 355 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 3 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 56/3296 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 106348 t fired, 4508 attempts, .
50 EF STEQ 56/3296 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
53 EF EXCL 56/206 6/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 61952 m, 4078 m/sec, 73474 t fired, .
Time elapsed: 360 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 55 (type FNDP) for 21 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 5 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 3 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 61/268 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 112368 t fired, 4743 attempts, .
50 EF STEQ 61/268 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
53 EF EXCL 61/206 8/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 75809 m, 2771 m/sec, 89887 t fired, .
55 EF FNDP 1/322 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 1047 t fired, 40 attempts, .
Time elapsed: 365 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 5 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 3 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 66/98 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 124270 t fired, 5197 attempts, .
50 EF STEQ 66/90 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
53 EF EXCL 66/206 9/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 89402 m, 2718 m/sec, 106039 t fired, .
55 EF FNDP 6/148 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 10092 t fired, 343 attempts, .
Time elapsed: 370 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 3 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 71/96 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 143448 t fired, 5918 attempts, .
50 EF STEQ 71/88 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
53 EF EXCL 71/206 15/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 151229 m, 12365 m/sec, 179502 t fired, .
55 EF FNDP 11/146 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 28973 t fired, 925 attempts, .
Time elapsed: 375 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 3 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 76/93 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 162558 t fired, 6630 attempts, .
50 EF STEQ 76/85 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 sara is running.
53 EF EXCL 76/206 21/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 221831 m, 14120 m/sec, 263310 t fired, .
55 EF FNDP 16/143 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 50913 t fired, 1588 attempts, .
Time elapsed: 380 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 50 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 2 0 2 1 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 81/88 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 185585 t fired, 7482 attempts, .
53 EF EXCL 81/206 29/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 308328 m, 17299 m/sec, 366124 t fired, .
55 EF FNDP 21/138 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 74530 t fired, 2297 attempts, .
Time elapsed: 385 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 127 (type FNDP) for 36 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 50 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08
lola: result : unknown
lola: CANCELED task # 53 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 (memory limit exceeded)
lola: CANCELED task # 49 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 3 1 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 26/140 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 87453 t fired, 2685 attempts, .
127 EF FNDP 5/153 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 9652 t fired, 231 attempts, .
Time elapsed: 390 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 137 (type EXCL) for 27 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09
lola: time limit : 214 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 94 (type FNDP) for 9 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 49 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08
lola: result : unknown
lola: fired transitions : 207837
lola: tried executions : 8303
lola: time used : 86.000000
lola: memory pages used : 0
lola: FINISHED task # 94 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03
lola: result : true
lola: fired transitions : 19
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 101 (type FNDP) for 18 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 137 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09
lola: result : true
lola: markings : 4547
lola: fired transitions : 5362
lola: time used : 2.000000
lola: memory pages used : 1
lola: LAUNCH task # 125 (type EXCL) for 42 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14
lola: time limit : 246 sec
lola: memory limit: 32 pages
lola: FINISHED task # 101 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06
lola: result : true
lola: fired transitions : 7291
lola: tried executions : 179
lola: time used : 2.000000
lola: memory pages used : 0
lola: LAUNCH task # 68 (type FNDP) for 30 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 31/173 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 109211 t fired, 3337 attempts, .
68 EF FNDP 2/200 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 9748 t fired, 359 attempts, .
125 EF EXCL 3/267 6/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14 55704 m, 11140 m/sec, 66089 t fired, .
127 EF FNDP 10/192 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 32798 t fired, 790 attempts, .
Time elapsed: 395 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 36/171 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 127588 t fired, 3885 attempts, .
68 EF FNDP 7/198 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 25169 t fired, 891 attempts, .
125 EF EXCL 8/267 11/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14 113727 m, 11604 m/sec, 134943 t fired, .
127 EF FNDP 15/190 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 50573 t fired, 1217 attempts, .
Time elapsed: 400 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 41/166 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 151057 t fired, 4584 attempts, .
68 EF FNDP 12/193 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 48733 t fired, 1706 attempts, .
125 EF EXCL 13/267 19/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14 203262 m, 17907 m/sec, 241289 t fired, .
127 EF FNDP 20/185 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 77678 t fired, 1875 attempts, .
Time elapsed: 405 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 46/161 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 174953 t fired, 5302 attempts, .
68 EF FNDP 17/188 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 72834 t fired, 2524 attempts, .
125 EF EXCL 18/267 28/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14 293446 m, 18036 m/sec, 348446 t fired, .
127 EF FNDP 25/180 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 105442 t fired, 2550 attempts, .
Time elapsed: 410 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 125 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 51/156 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 198988 t fired, 6022 attempts, .
68 EF FNDP 22/183 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 97511 t fired, 3335 attempts, .
127 EF FNDP 30/175 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 133009 t fired, 3230 attempts, .
Time elapsed: 415 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 151 (type EXCL) for 0 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00
lola: time limit : 289 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 56/151 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 221588 t fired, 6698 attempts, .
68 EF FNDP 27/178 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 118733 t fired, 4019 attempts, .
127 EF FNDP 35/170 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 159120 t fired, 3873 attempts, .
151 EF EXCL 5/289 9/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00 85999 m, 17199 m/sec, 101988 t fired, .
Time elapsed: 420 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 61/146 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 245331 t fired, 7411 attempts, .
68 EF FNDP 32/173 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 143537 t fired, 4813 attempts, .
127 EF FNDP 40/165 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 187181 t fired, 4566 attempts, .
151 EF EXCL 10/289 17/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00 175597 m, 17919 m/sec, 208382 t fired, .
Time elapsed: 425 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 66/141 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 269599 t fired, 8133 attempts, .
68 EF FNDP 37/168 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 169179 t fired, 5628 attempts, .
127 EF FNDP 45/160 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 215022 t fired, 5255 attempts, .
151 EF EXCL 15/289 25/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00 267581 m, 18396 m/sec, 317668 t fired, .
Time elapsed: 430 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 151 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 71/136 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 293955 t fired, 8859 attempts, .
68 EF FNDP 42/163 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 195003 t fired, 6431 attempts, .
127 EF FNDP 50/155 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 242579 t fired, 5939 attempts, .
Time elapsed: 435 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 118 (type EXCL) for 15 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05
lola: time limit : 316 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 76/131 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 317976 t fired, 9573 attempts, .
68 EF FNDP 47/158 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 219874 t fired, 7207 attempts, .
118 EF EXCL 5/316 9/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05 86216 m, 17243 m/sec, 102212 t fired, .
127 EF FNDP 55/150 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 269917 t fired, 6617 attempts, .
Time elapsed: 440 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 81/126 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 341066 t fired, 10258 attempts, .
68 EF FNDP 52/153 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 243893 t fired, 7953 attempts, .
118 EF EXCL 10/316 17/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05 173798 m, 17516 m/sec, 206191 t fired, .
127 EF FNDP 60/145 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 296028 t fired, 7269 attempts, .
Time elapsed: 445 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 86/121 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 365499 t fired, 10983 attempts, .
68 EF FNDP 57/148 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 269664 t fired, 8756 attempts, .
118 EF EXCL 15/316 25/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05 261736 m, 17587 m/sec, 310652 t fired, .
127 EF FNDP 65/140 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 323799 t fired, 7955 attempts, .
Time elapsed: 450 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 118 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 91/116 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 389925 t fired, 11709 attempts, .
68 EF FNDP 62/143 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 295518 t fired, 9554 attempts, .
127 EF FNDP 70/135 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 351470 t fired, 8641 attempts, .
Time elapsed: 455 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 59 (type EXCL) for 21 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07
lola: time limit : 349 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 96/111 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 413093 t fired, 12399 attempts, .
59 EF EXCL 5/349 9/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 89770 m, 17954 m/sec, 106477 t fired, .
68 EF FNDP 67/138 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 319790 t fired, 10307 attempts, .
127 EF FNDP 75/130 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 377068 t fired, 9281 attempts, .
Time elapsed: 460 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 101/106 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 437491 t fired, 13123 attempts, .
59 EF EXCL 10/349 17/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 182245 m, 18495 m/sec, 216287 t fired, .
68 EF FNDP 72/133 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 345205 t fired, 11098 attempts, .
127 EF FNDP 80/125 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 405578 t fired, 9989 attempts, .
Time elapsed: 465 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 55 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 1 0 1 1 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 15/349 26/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 274807 m, 18512 m/sec, 326274 t fired, .
68 EF FNDP 77/128 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 370750 t fired, 11877 attempts, .
127 EF FNDP 85/120 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 434000 t fired, 10695 attempts, .
Time elapsed: 470 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 107 (type FNDP) for 45 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07
lola: result : unknown
lola: fired transitions : 461840
lola: tried executions : 13843
lola: time used : 106.000000
lola: memory pages used : 0
lola: FINISHED task # 107 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15
lola: result : true
lola: fired transitions : 922
lola: tried executions : 22
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 140 (type FNDP) for 12 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 140 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04
lola: result : true
lola: fired transitions : 2882
lola: tried executions : 73
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 80 (type FNDP) for 39 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: CANCELED task # 59 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 0 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 82/167 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 394713 t fired, 12620 attempts, .
80 EF FNDP 3/240 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13 11561 t fired, 465 attempts, .
127 EF FNDP 90/160 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 455909 t fired, 11237 attempts, .
Time elapsed: 475 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 78 (type EXCL) for 33 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11
lola: time limit : 520 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 0 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 87/164 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 417530 t fired, 13331 attempts, .
78 EF EXCL 5/520 8/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11 78139 m, 15627 m/sec, 92654 t fired, .
80 EF FNDP 8/237 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13 32721 t fired, 1254 attempts, .
127 EF FNDP 95/157 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 481375 t fired, 11868 attempts, .
Time elapsed: 480 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 0 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 92/159 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 417966 t fired, 13346 attempts, .
78 EF EXCL 10/520 10/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11 103720 m, 5116 m/sec, 123100 t fired, .
80 EF FNDP 13/232 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13 33056 t fired, 1266 attempts, .
127 EF FNDP 100/152 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 483672 t fired, 11925 attempts, .
Time elapsed: 485 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 0 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 97/154 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 440511 t fired, 14041 attempts, .
78 EF EXCL 15/520 17/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11 179713 m, 15198 m/sec, 213276 t fired, .
80 EF FNDP 18/227 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13 54335 t fired, 2019 attempts, .
127 EF FNDP 105/147 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 509414 t fired, 12566 attempts, .
Time elapsed: 490 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 0 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 102/149 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 465195 t fired, 14801 attempts, .
78 EF EXCL 20/520 25/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11 261419 m, 16341 m/sec, 310352 t fired, .
80 EF FNDP 23/222 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13 77615 t fired, 2828 attempts, .
127 EF FNDP 110/142 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 535781 t fired, 13220 attempts, .
Time elapsed: 495 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 78 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 0 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 107/144 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 490815 t fired, 15585 attempts, .
80 EF FNDP 28/217 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13 102489 t fired, 3674 attempts, .
127 EF FNDP 115/137 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 563913 t fired, 13919 attempts, .
Time elapsed: 500 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 91 (type EXCL) for 6 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02
lola: time limit : 620 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 0 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 115/139 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 509836 t fired, 16171 attempts, .
80 EF FNDP 36/212 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13 108631 t fired, 3881 attempts, .
91 EF EXCL 8/620 1/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02 5088 m, 1017 m/sec, 6003 t fired, .
127 EF FNDP 123/132 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 570907 t fired, 14092 attempts, .
Time elapsed: 508 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 127 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-03: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-04: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-06: AG false findpath
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-09: EF true tandem / relaxed
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-05: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-07: EF 0 3 0 0 2 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-08: AG 0 0 0 0 4 0 2 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-11: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12: EF 0 4 0 0 1 1 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-14: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 120/131 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-10 535820 t fired, 16963 attempts, .
80 EF FNDP 41/204 0/5 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-13 132528 t fired, 4693 attempts, .
91 EF EXCL 13/620 10/32 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-02 96099 m, 18202 m/sec, 114011 t fired, .
Time elapsed: 513 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 61 (type FNDP) for 3 MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 127 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C05-ReachabilityCardinality-2024-12
lola: result : unknown
lola: fired transitions : 599461
lola: tried executions : 14801
lola: time used : 128.000000
lola: memory pages used : 0
/home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin//../BenchKit_head.sh: line 63: 481 Killed lola --conf=$BIN_DIR/configfiles/reachabilitycardinalityconf --formula=$DIR/ReachabilityCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C05"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="gold2023"
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 gold2023"
echo " Input is MultiCrashLeafsetExtension-PT-S24C05, 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 r263-tall-171654371900054"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C05.tgz
mv MultiCrashLeafsetExtension-PT-S24C05 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 ;