About the Execution of 2023-gold for ShieldPPPs-PT-004A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 540.168 | 480628.00 | 1775029.00 | 11249.70 | TFTFTFFTFFTTTTTF | 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.r373-tall-171683788900254.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 ShieldPPPs-PT-004A, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r373-tall-171683788900254
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 6.2K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K 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 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K May 19 07:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 19 16:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 19 07:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 19 19:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Apr 13 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 66K Apr 13 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Apr 13 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Apr 13 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 23 07:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 5 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 35K 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 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14
FORMULA_NAME ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1716963756547
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=ShieldPPPs-PT-004A
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-29 06:22:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-05-29 06:22:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-29 06:22:38] [INFO ] Load time of PNML (sax parser for PT used): 47 ms
[2024-05-29 06:22:38] [INFO ] Transformed 127 places.
[2024-05-29 06:22:38] [INFO ] Transformed 107 transitions.
[2024-05-29 06:22:38] [INFO ] Found NUPN structural information;
[2024-05-29 06:22:38] [INFO ] Parsed PT model containing 127 places and 107 transitions and 406 arcs in 118 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 12 ms.
Working with output stream class java.io.PrintStream
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Finished random walk after 262 steps, including 0 resets, run visited all 11 properties in 35 ms. (steps per millisecond=7 )
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Parikh walk visited 0 properties in 1 ms.
All properties solved without resorting to model-checking.
Total runtime 247 ms.
starting LoLA
BK_INPUT ShieldPPPs-PT-004A
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1716964237175
--------------------
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 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.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: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: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: LAUNCH task # 74 (type EXCL) for 12 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04
lola: time limit : 156 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 66 (type FNDP) for 18 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type EQUN) for 18 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 69 (type SRCH) for 18 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06
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: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: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:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: Created skeleton in 0.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: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
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: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.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
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-67.sara.
sara: place or transition ordering is non-deterministic
lola: CANCELED task # 69 (type SRCH) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 5/163 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 7072105 t fired, 21281 attempts, .
67 EF STEQ 5/171 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
74 EF EXCL 5/225 8/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 1902385 m, 380477 m/sec, 2514267 t fired, .
Time elapsed: 5 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 107 (type FNDP) for 33 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 107 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11
lola: result : true
lola: fired transitions : 21
lola: tried executions : 1
lola: time used : 3.000000
lola: memory pages used : 0
lola: LAUNCH task # 113 (type FNDP) for 42 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 113 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14
lola: result : true
lola: fired transitions : 14
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 133 (type FNDP) for 15 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 10/192 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 12046417 t fired, 36677 attempts, .
67 EF STEQ 10/192 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
74 EF EXCL 10/257 12/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 3066091 m, 232741 m/sec, 4064252 t fired, .
133 EF FNDP 2/189 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 1783723 t fired, 7003 attempts, .
Time elapsed: 10 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 15/190 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 14849177 t fired, 45361 attempts, .
67 EF STEQ 15/190 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
74 EF EXCL 15/257 19/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 4804651 m, 347712 m/sec, 6417777 t fired, .
133 EF FNDP 7/187 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 4503925 t fired, 16995 attempts, .
Time elapsed: 15 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 20/185 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 16322740 t fired, 49922 attempts, .
67 EF STEQ 20/185 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
74 EF EXCL 20/257 23/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 5894896 m, 218049 m/sec, 7883393 t fired, .
133 EF FNDP 12/182 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 7775700 t fired, 28768 attempts, .
Time elapsed: 20 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 25/180 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 18691197 t fired, 57290 attempts, .
67 EF STEQ 25/180 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
74 EF EXCL 25/257 29/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 7424146 m, 305850 m/sec, 9952832 t fired, .
133 EF FNDP 17/177 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 10325570 t fired, 37887 attempts, .
Time elapsed: 25 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 74 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 30/175 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 21139277 t fired, 64896 attempts, .
67 EF STEQ 30/175 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 22/172 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 12423723 t fired, 45348 attempts, .
Time elapsed: 30 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 131 (type EXCL) for 30 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10
lola: time limit : 274 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 35/170 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 23362400 t fired, 71782 attempts, .
67 EF STEQ 35/170 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
131 EF EXCL 5/274 5/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 1140642 m, 228128 m/sec, 1608184 t fired, .
133 EF FNDP 27/167 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 14113726 t fired, 51349 attempts, .
Time elapsed: 35 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 40/165 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 25585360 t fired, 78684 attempts, .
67 EF STEQ 40/165 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
131 EF EXCL 10/274 9/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 2235879 m, 219047 m/sec, 3160720 t fired, .
133 EF FNDP 32/162 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 15772149 t fired, 57231 attempts, .
Time elapsed: 40 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 45/160 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 27810575 t fired, 85604 attempts, .
67 EF STEQ 45/160 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
131 EF EXCL 15/274 13/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 3347499 m, 222324 m/sec, 4717120 t fired, .
133 EF FNDP 37/157 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 17419409 t fired, 63085 attempts, .
Time elapsed: 45 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 50/155 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 30030206 t fired, 92503 attempts, .
67 EF STEQ 50/155 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
131 EF EXCL 20/274 17/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 4329179 m, 196336 m/sec, 6125124 t fired, .
133 EF FNDP 42/152 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 19081307 t fired, 69000 attempts, .
Time elapsed: 50 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 55/150 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 32257962 t fired, 99439 attempts, .
67 EF STEQ 55/150 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
131 EF EXCL 25/274 21/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 5374512 m, 209066 m/sec, 7620783 t fired, .
133 EF FNDP 47/147 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 20721368 t fired, 74830 attempts, .
Time elapsed: 55 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 60/145 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 34453721 t fired, 106264 attempts, .
67 EF STEQ 60/145 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
131 EF EXCL 30/274 25/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 6432120 m, 211521 m/sec, 9148941 t fired, .
133 EF FNDP 52/142 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 22330532 t fired, 80552 attempts, .
Time elapsed: 60 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 65/140 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 36671981 t fired, 113159 attempts, .
67 EF STEQ 65/140 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
131 EF EXCL 35/274 29/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 7419373 m, 197450 m/sec, 10573670 t fired, .
133 EF FNDP 57/137 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 23941579 t fired, 86260 attempts, .
Time elapsed: 65 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 131 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 70/135 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 38886845 t fired, 120046 attempts, .
67 EF STEQ 70/135 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 62/132 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 25559975 t fired, 91980 attempts, .
Time elapsed: 70 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 92 (type EXCL) for 39 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13
lola: time limit : 294 sec
lola: memory limit: 32 pages
lola: FINISHED task # 92 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13
lola: result : true
lola: markings : 34
lola: fired transitions : 33
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 143 (type EXCL) for 6 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02
lola: time limit : 320 sec
lola: memory limit: 32 pages
lola: FINISHED task # 143 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02
lola: result : true
lola: markings : 79
lola: fired transitions : 78
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 121 (type EXCL) for 45 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15
lola: time limit : 353 sec
lola: memory limit: 32 pages
lola: FINISHED task # 121 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15
lola: result : true
lola: markings : 258
lola: fired transitions : 257
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 86 (type EXCL) for 21 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07
lola: time limit : 392 sec
lola: memory limit: 32 pages
lola: FINISHED task # 86 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07
lola: result : true
lola: markings : 89
lola: fired transitions : 88
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 81 (type EXCL) for 27 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09
lola: time limit : 441 sec
lola: memory limit: 32 pages
lola: FINISHED task # 81 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09
lola: result : true
lola: markings : 282891
lola: fired transitions : 371191
lola: time used : 2.000000
lola: memory pages used : 2
lola: LAUNCH task # 64 (type EXCL) for 9 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03
lola: time limit : 504 sec
lola: memory limit: 32 pages
lola: FINISHED task # 64 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03
lola: result : true
lola: markings : 48
lola: fired transitions : 47
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 105 (type EXCL) for 36 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12
lola: time limit : 588 sec
lola: memory limit: 32 pages
lola: FINISHED task # 105 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12
lola: result : true
lola: markings : 100
lola: fired transitions : 99
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 150 (type EXCL) for 0 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00
lola: time limit : 705 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 75/328 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 41137603 t fired, 127035 attempts, .
67 EF STEQ 75/328 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 67/335 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 27227329 t fired, 97886 attempts, .
150 EF EXCL 3/705 4/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 791831 m, 158366 m/sec, 1139282 t fired, .
Time elapsed: 75 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 80/325 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 43358811 t fired, 133926 attempts, .
67 EF STEQ 80/325 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 72/332 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 28940321 t fired, 103965 attempts, .
150 EF EXCL 8/705 8/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 1813437 m, 204321 m/sec, 2616911 t fired, .
Time elapsed: 80 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 85/320 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 45582492 t fired, 140825 attempts, .
67 EF STEQ 85/320 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 77/327 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 30634319 t fired, 109969 attempts, .
150 EF EXCL 13/705 11/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 2818692 m, 201051 m/sec, 4069363 t fired, .
Time elapsed: 85 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 90/315 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 47799193 t fired, 147723 attempts, .
67 EF STEQ 90/315 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 82/322 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 32332210 t fired, 115992 attempts, .
150 EF EXCL 18/705 15/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 3802290 m, 196719 m/sec, 5473352 t fired, .
Time elapsed: 90 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 95/310 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 50033414 t fired, 154665 attempts, .
67 EF STEQ 95/310 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 87/317 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 34015354 t fired, 121966 attempts, .
150 EF EXCL 23/705 19/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 4817298 m, 203001 m/sec, 6932217 t fired, .
Time elapsed: 95 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 100/305 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 52209234 t fired, 161415 attempts, .
67 EF STEQ 100/305 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 92/312 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 35706569 t fired, 127968 attempts, .
150 EF EXCL 28/705 23/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 5797265 m, 195993 m/sec, 8338619 t fired, .
Time elapsed: 100 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 105/300 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 54429060 t fired, 168294 attempts, .
67 EF STEQ 105/300 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 97/307 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 37389717 t fired, 133935 attempts, .
150 EF EXCL 33/705 27/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 6789515 m, 198450 m/sec, 9762108 t fired, .
Time elapsed: 105 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 110/295 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 56637751 t fired, 175155 attempts, .
67 EF STEQ 110/295 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 102/302 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 39081231 t fired, 139918 attempts, .
150 EF EXCL 38/705 30/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 7782717 m, 198640 m/sec, 11182210 t fired, .
Time elapsed: 110 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 150 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 4 1 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG 0 5 0 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 115/290 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 58835228 t fired, 181971 attempts, .
67 EF STEQ 115/290 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 107/297 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 40773159 t fired, 145917 attempts, .
Time elapsed: 115 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 99 (type EXCL) for 24 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08
lola: time limit : 871 sec
lola: memory limit: 32 pages
lola: FINISHED task # 99 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08
lola: result : true
lola: markings : 2729
lola: fired transitions : 3310
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 57 (type EXCL) for 3 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01
lola: time limit : 1161 sec
lola: memory limit: 32 pages
lola: FINISHED task # 57 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01
lola: result : true
lola: markings : 47
lola: fired transitions : 46
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 137 (type EXCL) for 15 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05
lola: time limit : 1742 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 2 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 120/485 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 61036035 t fired, 188803 attempts, .
67 EF STEQ 120/485 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 112/406 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 42450990 t fired, 151834 attempts, .
137 EF EXCL 5/1742 4/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 986302 m, 197260 m/sec, 1417527 t fired, .
Time elapsed: 120 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 2 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 125/480 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 63266481 t fired, 195746 attempts, .
67 EF STEQ 125/480 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 117/401 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 44121359 t fired, 157755 attempts, .
137 EF EXCL 10/1742 8/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 1904366 m, 183612 m/sec, 2763397 t fired, .
Time elapsed: 125 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 2 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 130/475 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 65489119 t fired, 202637 attempts, .
67 EF STEQ 130/475 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 122/396 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 45784766 t fired, 163629 attempts, .
137 EF EXCL 15/1742 11/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 2816568 m, 182440 m/sec, 4081755 t fired, .
Time elapsed: 130 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 2 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 135/470 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 67700656 t fired, 209513 attempts, .
67 EF STEQ 135/470 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 127/391 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 47442591 t fired, 169500 attempts, .
137 EF EXCL 20/1742 15/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 3696245 m, 175935 m/sec, 5367491 t fired, .
Time elapsed: 135 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 2 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 140/465 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 69916409 t fired, 216390 attempts, .
67 EF STEQ 140/465 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 132/386 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 49104966 t fired, 175397 attempts, .
137 EF EXCL 25/1742 18/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 4650171 m, 190785 m/sec, 6833070 t fired, .
Time elapsed: 140 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 2 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 145/460 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 72138091 t fired, 223286 attempts, .
67 EF STEQ 145/460 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 137/381 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 50772039 t fired, 181299 attempts, .
137 EF EXCL 30/1742 22/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 5550242 m, 180014 m/sec, 8218671 t fired, .
Time elapsed: 145 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 2 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 150/455 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 74346668 t fired, 230163 attempts, .
67 EF STEQ 150/455 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 142/376 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 52432783 t fired, 187202 attempts, .
137 EF EXCL 35/1742 25/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 6486137 m, 187179 m/sec, 9658127 t fired, .
Time elapsed: 150 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 2 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 155/450 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 76562364 t fired, 237037 attempts, .
67 EF STEQ 155/450 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 147/371 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 54092872 t fired, 193101 attempts, .
137 EF EXCL 40/1742 29/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 7386948 m, 180162 m/sec, 11025951 t fired, .
Time elapsed: 155 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 2 0 1 0 0 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 160/445 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 78778605 t fired, 243945 attempts, .
67 EF STEQ 160/445 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 152/366 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 55759054 t fired, 198997 attempts, .
137 EF EXCL 45/1742 32/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 8289717 m, 180553 m/sec, 12403199 t fired, .
Time elapsed: 160 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 137 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 2 2 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 165/440 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 80981963 t fired, 250805 attempts, .
67 EF STEQ 165/440 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 157/361 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 57431645 t fired, 204909 attempts, .
Time elapsed: 165 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 70 (type EXCL) for 18 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06
lola: time limit : 3435 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 170/435 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 83173777 t fired, 257608 attempts, .
67 EF STEQ 170/435 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 5/3435 4/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 892295 m, 178459 m/sec, 1334129 t fired, .
133 EF FNDP 162/356 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 59099315 t fired, 210797 attempts, .
Time elapsed: 170 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 175/430 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 85353236 t fired, 264357 attempts, .
67 EF STEQ 175/430 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 10/3435 7/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 1724906 m, 166522 m/sec, 2717257 t fired, .
133 EF FNDP 167/351 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 60781599 t fired, 216758 attempts, .
Time elapsed: 175 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 180/425 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 87555492 t fired, 271189 attempts, .
67 EF STEQ 180/425 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 15/3435 10/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 2557167 m, 166452 m/sec, 4034887 t fired, .
133 EF FNDP 172/346 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 62447181 t fired, 222658 attempts, .
Time elapsed: 180 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 185/420 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 89731740 t fired, 277931 attempts, .
67 EF STEQ 185/420 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 20/3435 14/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 3395849 m, 167736 m/sec, 5329600 t fired, .
133 EF FNDP 177/341 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 64113639 t fired, 228563 attempts, .
Time elapsed: 185 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 190/415 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 91917604 t fired, 284729 attempts, .
67 EF STEQ 190/415 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 25/3435 17/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 4220784 m, 164987 m/sec, 6624775 t fired, .
133 EF FNDP 182/336 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 65785511 t fired, 234489 attempts, .
Time elapsed: 190 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 195/410 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 94113773 t fired, 291551 attempts, .
67 EF STEQ 195/410 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 30/3435 20/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 5039252 m, 163693 m/sec, 7909507 t fired, .
133 EF FNDP 187/331 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 67459357 t fired, 240421 attempts, .
Time elapsed: 195 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 200/405 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 96279397 t fired, 298287 attempts, .
67 EF STEQ 200/405 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 35/3435 23/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 5848635 m, 161876 m/sec, 9181087 t fired, .
133 EF FNDP 192/326 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 69130192 t fired, 246323 attempts, .
Time elapsed: 200 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 205/400 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 98464511 t fired, 305080 attempts, .
67 EF STEQ 205/400 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 40/3435 26/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 6641277 m, 158528 m/sec, 10516406 t fired, .
133 EF FNDP 197/321 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 70778978 t fired, 252157 attempts, .
Time elapsed: 205 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 210/395 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 100649858 t fired, 311859 attempts, .
67 EF STEQ 210/395 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 45/3435 29/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 7424094 m, 156563 m/sec, 11753916 t fired, .
133 EF FNDP 202/316 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 72437085 t fired, 258025 attempts, .
Time elapsed: 210 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 3 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 215/390 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 102840331 t fired, 318682 attempts, .
67 EF STEQ 215/390 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
70 EF EXCL 50/3435 32/32 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 8192774 m, 153736 m/sec, 12999570 t fired, .
133 EF FNDP 207/311 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 74087617 t fired, 263872 attempts, .
Time elapsed: 215 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 70 (type EXCL) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 220/385 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 105030549 t fired, 325486 attempts, .
67 EF STEQ 220/385 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 212/306 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 75748605 t fired, 269752 attempts, .
Time elapsed: 220 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 146 (type FNDP) for 0 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 225/500 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 106176635 t fired, 329043 attempts, .
67 EF STEQ 225/680 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 217/506 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 77068366 t fired, 274426 attempts, .
146 EF FNDP 5/676 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 1840277 t fired, 5083 attempts, .
Time elapsed: 225 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 230/495 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 107276352 t fired, 332450 attempts, .
67 EF STEQ 230/675 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 222/501 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 78386544 t fired, 279090 attempts, .
146 EF FNDP 10/671 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 3387072 t fired, 9792 attempts, .
Time elapsed: 230 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 235/490 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 108367666 t fired, 335851 attempts, .
67 EF STEQ 235/670 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 227/496 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 79707175 t fired, 283763 attempts, .
146 EF FNDP 15/666 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 4829606 t fired, 14274 attempts, .
Time elapsed: 235 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 240/485 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 109439597 t fired, 339186 attempts, .
67 EF STEQ 240/665 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 232/491 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 81041942 t fired, 288509 attempts, .
146 EF FNDP 20/661 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 6187649 t fired, 18524 attempts, .
Time elapsed: 240 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 245/480 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 110495763 t fired, 342478 attempts, .
67 EF STEQ 245/660 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 237/486 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 82378794 t fired, 293263 attempts, .
146 EF FNDP 25/656 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 7535766 t fired, 22744 attempts, .
Time elapsed: 245 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 250/475 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 111606781 t fired, 345931 attempts, .
67 EF STEQ 250/655 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 242/481 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 83681960 t fired, 297873 attempts, .
146 EF FNDP 30/651 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 8863959 t fired, 26895 attempts, .
Time elapsed: 250 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 255/470 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 112710906 t fired, 349356 attempts, .
67 EF STEQ 255/650 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 247/476 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 84985614 t fired, 302498 attempts, .
146 EF FNDP 35/646 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 10180660 t fired, 31043 attempts, .
Time elapsed: 255 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 260/465 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 113789913 t fired, 352702 attempts, .
67 EF STEQ 260/645 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 252/471 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 86271173 t fired, 307053 attempts, .
146 EF FNDP 40/641 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 11557993 t fired, 35357 attempts, .
Time elapsed: 260 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 265/460 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 114862039 t fired, 356029 attempts, .
67 EF STEQ 265/640 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 257/466 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 87558554 t fired, 311607 attempts, .
146 EF FNDP 45/636 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 12937759 t fired, 39709 attempts, .
Time elapsed: 265 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 270/455 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 115942179 t fired, 359388 attempts, .
67 EF STEQ 270/635 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 262/461 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 88839822 t fired, 316150 attempts, .
146 EF FNDP 50/631 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 14312685 t fired, 44019 attempts, .
Time elapsed: 270 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 275/450 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 117005064 t fired, 362687 attempts, .
67 EF STEQ 275/630 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 267/456 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 90118868 t fired, 320677 attempts, .
146 EF FNDP 55/626 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 15679049 t fired, 48304 attempts, .
Time elapsed: 275 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 280/445 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 118069199 t fired, 365996 attempts, .
67 EF STEQ 280/625 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 272/451 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 91441206 t fired, 325363 attempts, .
146 EF FNDP 60/621 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 17092114 t fired, 52734 attempts, .
Time elapsed: 280 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 285/440 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 119145900 t fired, 369329 attempts, .
67 EF STEQ 285/620 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 277/446 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 92776310 t fired, 330095 attempts, .
146 EF FNDP 65/616 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 18512179 t fired, 57204 attempts, .
Time elapsed: 285 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 290/435 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 120219176 t fired, 372666 attempts, .
67 EF STEQ 290/615 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 282/441 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 94111530 t fired, 334809 attempts, .
146 EF FNDP 70/611 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 19908898 t fired, 61581 attempts, .
Time elapsed: 290 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 295/430 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 121290299 t fired, 375996 attempts, .
67 EF STEQ 295/610 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 287/436 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 95444036 t fired, 339524 attempts, .
146 EF FNDP 75/606 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 21304365 t fired, 65963 attempts, .
Time elapsed: 295 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 300/425 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 122361633 t fired, 379331 attempts, .
67 EF STEQ 300/605 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 292/431 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 96778945 t fired, 344255 attempts, .
146 EF FNDP 80/601 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 22689640 t fired, 70322 attempts, .
Time elapsed: 300 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 305/420 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 123440900 t fired, 382695 attempts, .
67 EF STEQ 305/600 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 297/426 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 98102124 t fired, 348935 attempts, .
146 EF FNDP 85/596 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 24087014 t fired, 74705 attempts, .
Time elapsed: 305 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 310/415 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 124518572 t fired, 386047 attempts, .
67 EF STEQ 310/595 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 302/421 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 99432004 t fired, 353640 attempts, .
146 EF FNDP 90/591 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 25480631 t fired, 79087 attempts, .
Time elapsed: 310 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 315/410 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 125596070 t fired, 389400 attempts, .
67 EF STEQ 315/590 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 307/416 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 100763662 t fired, 358365 attempts, .
146 EF FNDP 95/586 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 26867512 t fired, 83433 attempts, .
Time elapsed: 315 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 320/405 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 126663832 t fired, 392726 attempts, .
67 EF STEQ 320/585 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 312/411 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 102096406 t fired, 363091 attempts, .
146 EF FNDP 100/581 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 28264249 t fired, 87815 attempts, .
Time elapsed: 320 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 325/400 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 127727868 t fired, 396042 attempts, .
67 EF STEQ 325/580 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 317/406 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 103440947 t fired, 367856 attempts, .
146 EF FNDP 105/576 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 29626874 t fired, 92104 attempts, .
Time elapsed: 325 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 330/395 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 128798443 t fired, 399381 attempts, .
67 EF STEQ 330/575 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 322/401 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 104764286 t fired, 372523 attempts, .
146 EF FNDP 110/571 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 31022404 t fired, 96498 attempts, .
Time elapsed: 330 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 335/390 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 129873409 t fired, 402731 attempts, .
67 EF STEQ 335/570 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 327/396 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 106090718 t fired, 377225 attempts, .
146 EF FNDP 115/566 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 32408298 t fired, 100859 attempts, .
Time elapsed: 335 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 340/385 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 130945796 t fired, 406060 attempts, .
67 EF STEQ 340/565 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 332/391 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 107420336 t fired, 381911 attempts, .
146 EF FNDP 120/561 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 33791887 t fired, 105190 attempts, .
Time elapsed: 340 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 345/380 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 132017738 t fired, 409385 attempts, .
67 EF STEQ 345/560 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 337/386 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 108742835 t fired, 386590 attempts, .
146 EF FNDP 125/556 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 35171183 t fired, 109509 attempts, .
Time elapsed: 345 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 350/375 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 133091720 t fired, 412732 attempts, .
67 EF STEQ 350/555 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 342/381 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 110072500 t fired, 391288 attempts, .
146 EF FNDP 130/551 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 36550875 t fired, 113845 attempts, .
Time elapsed: 350 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 355/370 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 134164001 t fired, 416065 attempts, .
67 EF STEQ 355/550 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 347/376 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 111405779 t fired, 396010 attempts, .
146 EF FNDP 135/546 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 37919397 t fired, 118143 attempts, .
Time elapsed: 355 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 2 0 1 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 360/365 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 135218382 t fired, 419327 attempts, .
67 EF STEQ 360/545 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 352/371 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 112740526 t fired, 400730 attempts, .
146 EF FNDP 140/541 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 39294703 t fired, 122478 attempts, .
Time elapsed: 360 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 66 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 4 0 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 1 1 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF STEQ 365/540 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 357/366 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 114081698 t fired, 405474 attempts, .
146 EF FNDP 145/536 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 40644419 t fired, 126733 attempts, .
Time elapsed: 365 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 49 (type FNDP) for 12 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 66 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06
lola: result : unknown
lola: fired transitions : 136266753
lola: tried executions : 422589
lola: time used : 365.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 5/647 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 1943659 t fired, 6078 attempts, .
67 EF STEQ 370/535 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 362/541 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 115353273 t fired, 409974 attempts, .
146 EF FNDP 150/531 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 42049972 t fired, 131130 attempts, .
Time elapsed: 370 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 10/642 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 3566482 t fired, 11310 attempts, .
67 EF STEQ 375/530 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 367/536 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 116623039 t fired, 414453 attempts, .
146 EF FNDP 155/526 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 43425029 t fired, 135452 attempts, .
Time elapsed: 375 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 15/637 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 5082348 t fired, 16176 attempts, .
67 EF STEQ 380/525 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 372/531 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 117892020 t fired, 418937 attempts, .
146 EF FNDP 160/521 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 44808859 t fired, 139785 attempts, .
Time elapsed: 380 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 20/632 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 6539683 t fired, 20823 attempts, .
67 EF STEQ 385/520 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 377/526 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 119166634 t fired, 423470 attempts, .
146 EF FNDP 165/516 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 46174378 t fired, 144089 attempts, .
Time elapsed: 385 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 25/627 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 7972132 t fired, 25408 attempts, .
67 EF STEQ 390/515 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 382/521 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 120440259 t fired, 427982 attempts, .
146 EF FNDP 170/511 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 47542642 t fired, 148378 attempts, .
Time elapsed: 390 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 30/622 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 9391343 t fired, 29932 attempts, .
67 EF STEQ 395/510 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 387/516 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 121709170 t fired, 432488 attempts, .
146 EF FNDP 175/506 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 48901903 t fired, 152645 attempts, .
Time elapsed: 395 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 35/617 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 10793483 t fired, 34406 attempts, .
67 EF STEQ 400/505 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 392/511 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 122976741 t fired, 436977 attempts, .
146 EF FNDP 180/501 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 50256419 t fired, 156898 attempts, .
Time elapsed: 400 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 40/612 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 12183874 t fired, 38835 attempts, .
67 EF STEQ 405/500 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 397/506 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 124243573 t fired, 441465 attempts, .
146 EF FNDP 185/496 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 51612685 t fired, 161144 attempts, .
Time elapsed: 405 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 45/607 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 13558992 t fired, 43218 attempts, .
67 EF STEQ 410/495 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 402/501 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 125513875 t fired, 445953 attempts, .
146 EF FNDP 190/491 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 52961604 t fired, 165398 attempts, .
Time elapsed: 410 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 50/602 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 14930448 t fired, 47580 attempts, .
67 EF STEQ 415/490 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 407/496 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 126784640 t fired, 450456 attempts, .
146 EF FNDP 195/486 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 54304414 t fired, 169619 attempts, .
Time elapsed: 415 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 55/597 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 16299718 t fired, 51963 attempts, .
67 EF STEQ 420/485 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 412/491 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 128067435 t fired, 455010 attempts, .
146 EF FNDP 200/481 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 55651169 t fired, 173833 attempts, .
Time elapsed: 420 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 60/592 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 17652686 t fired, 56277 attempts, .
67 EF STEQ 425/480 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 417/486 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 129392538 t fired, 459698 attempts, .
146 EF FNDP 205/476 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 57001737 t fired, 178085 attempts, .
Time elapsed: 425 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 65/587 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 18997044 t fired, 60546 attempts, .
67 EF STEQ 430/475 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 422/481 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 130711728 t fired, 464369 attempts, .
146 EF FNDP 210/471 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 58353816 t fired, 182324 attempts, .
Time elapsed: 430 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 70/582 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 20338963 t fired, 64828 attempts, .
67 EF STEQ 435/470 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 427/476 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 132026713 t fired, 469019 attempts, .
146 EF FNDP 215/466 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 59713201 t fired, 186573 attempts, .
Time elapsed: 435 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 75/577 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 21678134 t fired, 69121 attempts, .
67 EF STEQ 440/465 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 432/471 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 133343600 t fired, 473697 attempts, .
146 EF FNDP 220/461 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 61062795 t fired, 190802 attempts, .
Time elapsed: 440 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 80/572 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 23009242 t fired, 73364 attempts, .
67 EF STEQ 445/460 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 437/466 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 134659928 t fired, 478347 attempts, .
146 EF FNDP 225/456 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 62409537 t fired, 195022 attempts, .
Time elapsed: 445 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 1 0 2 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 85/567 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 24341166 t fired, 77598 attempts, .
67 EF STEQ 450/455 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 sara is running.
133 EF FNDP 442/461 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 135983194 t fired, 483025 attempts, .
146 EF FNDP 230/451 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 63754223 t fired, 199252 attempts, .
Time elapsed: 450 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 67 (type EQUN) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 0 0 2 1 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 90/562 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 25672187 t fired, 81833 attempts, .
133 EF FNDP 447/456 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 137306942 t fired, 487719 attempts, .
146 EF FNDP 235/446 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 65098500 t fired, 203477 attempts, .
Time elapsed: 455 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 124 (type FNDP) for 30 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 67 (type EQUN) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06
lola: result : unknown
lola: CANCELED task # 133 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG 0 3 1 0 1 0 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF 0 3 0 0 1 1 1 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF 0 1 0 0 3 0 2 0
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 95/718 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 26656774 t fired, 84968 attempts, .
124 EF FNDP 5/629 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 1498292 t fired, 4633 attempts, .
146 EF FNDP 240/610 0/5 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 66098408 t fired, 206606 attempts, .
Time elapsed: 460 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 133 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05
lola: result : unknown
lola: fired transitions : 138335899
lola: tried executions : 491367
lola: time used : 452.000000
lola: memory pages used : 0
lola: LAUNCH task # 134 (type EQUN) for 15 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-134.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 134 (type EQUN) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05
lola: result : false
lola: LAUNCH task # 71 (type SRCH) for 18 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 71 (type SRCH) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 147 (type EQUN) for 0 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00
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-147.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 147 (type EQUN) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00
lola: result : false
lola: CANCELED task # 146 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00 (obsolete)
lola: LAUNCH task # 50 (type EQUN) for 12 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04
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
lola: LAUNCH task # 73 (type SRCH) for 12 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 146 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00
lola: result : unknown
lola: fired transitions : 66129683
lola: tried executions : 206707
lola: time used : 241.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-50.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 50 (type EQUN) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04
lola: result : false
lola: CANCELED task # 49 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 (obsolete)
lola: CANCELED task # 73 (type SRCH) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04 (obsolete)
lola: LAUNCH task # 127 (type EQUN) for 30 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10
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
lola: LAUNCH task # 130 (type SRCH) for 30 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 132 (type SRCH) for 30 ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 49 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04
lola: result : unknown
lola: fired transitions : 26706219
lola: tried executions : 85131
lola: time used : 96.000000
lola: memory pages used : 0
lola: FINISHED task # 132 (type SRCH) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-127.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 127 (type EQUN) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10
lola: result : false
lola: CANCELED task # 124 (type FNDP) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 (obsolete)
lola: CANCELED task # 130 (type SRCH) for ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10 (obsolete)
lola: Portfolio finished: no open tasks 16
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-00: AG true state equation
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-02: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-03: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-04: AG true state equation
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-05: EF false state equation
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-06: EF unknown AGGR
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-07: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-08: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-09: AG false tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-10: AG true state equation
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-11: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-12: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-13: EF true tandem / relaxed
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-14: EF true findpath
ShieldPPPs-PT-004A-ReachabilityCardinality-2024-15: AG false tandem / relaxed
Time elapsed: 461 secs. Pages in use: 32
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="ShieldPPPs-PT-004A"
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 ShieldPPPs-PT-004A, 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 r373-tall-171683788900254"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-004A.tgz
mv ShieldPPPs-PT-004A 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 ;