About the Execution of LoLA for DNAwalker-PT-08ringLL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 454.792 | 352197.00 | 1405040.00 | 5.00 | FTTFFTFFFFFTFFTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r061-tall-162038393500590.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is DNAwalker-PT-08ringLL, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r061-tall-162038393500590
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 8.6K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 23 10:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 10:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 22 17:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 22 17:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 9 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 112K May 5 16:51 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 DNAwalker-PT-08ringLL-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-08ringLL-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1620473716964
starting LoLA
BK_INPUT DNAwalker-PT-08ringLL
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-ReachabilityCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620474069161
--------------------
content from stderr:
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: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
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 1.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: LAUNCH INITIAL
lola: LAUNCH task # 7 (type CNST) for 6 DNAwalker-PT-08ringLL-ReachabilityCardinality-02
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 10 (type CNST) for 9 DNAwalker-PT-08ringLL-ReachabilityCardinality-03
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 31 (type CNST) for 30 DNAwalker-PT-08ringLL-ReachabilityCardinality-10
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 37 (type CNST) for 36 DNAwalker-PT-08ringLL-ReachabilityCardinality-12
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 7 (type CNST) for DNAwalker-PT-08ringLL-ReachabilityCardinality-02
lola: result : true
lola: LAUNCH INITIAL
lola: LAUNCH task # 34 (type CNST) for 33 DNAwalker-PT-08ringLL-ReachabilityCardinality-11
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 10 (type CNST) for DNAwalker-PT-08ringLL-ReachabilityCardinality-03
lola: result : false
lola: FINISHED task # 31 (type CNST) for DNAwalker-PT-08ringLL-ReachabilityCardinality-10
lola: result : false
lola: FINISHED task # 37 (type CNST) for DNAwalker-PT-08ringLL-ReachabilityCardinality-12
lola: result : false
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 34 (type CNST) for DNAwalker-PT-08ringLL-ReachabilityCardinality-11
lola: result : true
lola: LAUNCH INITIAL
lola: LAUNCH task # 28 (type CNST) for 27 DNAwalker-PT-08ringLL-ReachabilityCardinality-09
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 28 (type CNST) for DNAwalker-PT-08ringLL-ReachabilityCardinality-09
lola: result : false
lola: LAUNCH task # 52 (type EXCL) for 12 DNAwalker-PT-08ringLL-ReachabilityCardinality-04
lola: time limit : 359 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 12 DNAwalker-PT-08ringLL-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 12 DNAwalker-PT-08ringLL-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 51 (type SRCH) for 12 DNAwalker-PT-08ringLL-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
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
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-49.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF 0 1 4 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 4/257 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 654729 t fired, 77231 attempts, .
49 EF STEQ 4/276 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 sara is running.
51 EF SRCH 4/276 3/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 637948 m, 127589 m/sec, 2077683 t fired, .
52 EF EXCL 4/359 2/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 347697 m, 69539 m/sec, 1515950 t fired, .
Time elapsed: 5 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF 0 1 4 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 9/253 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 1309308 t fired, 145597 attempts, .
49 EF STEQ 9/272 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 sara is running.
51 EF SRCH 9/272 5/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 1263913 m, 125193 m/sec, 4331858 t fired, .
52 EF EXCL 9/359 3/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 697437 m, 69948 m/sec, 3199462 t fired, .
Time elapsed: 10 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 51 (type SRCH) for DNAwalker-PT-08ringLL-ReachabilityCardinality-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 14/248 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 1954706 t fired, 210004 attempts, .
49 EF STEQ 14/267 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 sara is running.
52 EF EXCL 14/359 4/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 1044595 m, 69431 m/sec, 4989987 t fired, .
Time elapsed: 15 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 87 (type FNDP) for 15 DNAwalker-PT-08ringLL-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 19/262 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 2575566 t fired, 270243 attempts, .
49 EF STEQ 19/262 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 sara is running.
52 EF EXCL 19/359 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 1388692 m, 68819 m/sec, 6622165 t fired, .
87 EF FNDP 5/275 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 615546 t fired, 60982 attempts, .
Time elapsed: 20 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 24/257 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 3194088 t fired, 329169 attempts, .
49 EF STEQ 24/257 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 sara is running.
52 EF EXCL 24/359 7/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 1721859 m, 66633 m/sec, 8337468 t fired, .
87 EF FNDP 10/270 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 1223254 t fired, 117936 attempts, .
Time elapsed: 25 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 29/252 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 3810922 t fired, 386813 attempts, .
49 EF STEQ 29/252 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 sara is running.
52 EF EXCL 29/359 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-04 2045738 m, 64775 m/sec, 10100113 t fired, .
87 EF FNDP 15/265 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 1828382 t fired, 173424 attempts, .
Time elapsed: 30 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 52 (type EXCL) for DNAwalker-PT-08ringLL-ReachabilityCardinality-04
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 33.000000
lola: memory pages used : 9
lola: CANCELED task # 48 (type FNDP) for DNAwalker-PT-08ringLL-ReachabilityCardinality-04 (obsolete)
lola: CANCELED task # 49 (type EQUN) for DNAwalker-PT-08ringLL-ReachabilityCardinality-04 (obsolete)
lola: LAUNCH task # 97 (type EXCL) for 39 DNAwalker-PT-08ringLL-ReachabilityCardinality-13
lola: time limit : 396 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 56 (type FNDP) for 24 DNAwalker-PT-08ringLL-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 63 (type EQUN) for 24 DNAwalker-PT-08ringLL-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 48 (type FNDP) for DNAwalker-PT-08ringLL-ReachabilityCardinality-04
lola: result : unknown
lola: fired transitions : 4261255
lola: tried executions : 428263
lola: time used : 33.000000
lola: memory pages used : 0
lola: FINISHED task # 49 (type EQUN) for DNAwalker-PT-08ringLL-ReachabilityCardinality-04
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 56 (type FNDP) for DNAwalker-PT-08ringLL-ReachabilityCardinality-08
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 63 (type EQUN) for DNAwalker-PT-08ringLL-ReachabilityCardinality-08 (obsolete)
lola: LAUNCH task # 99 (type FNDP) for 45 DNAwalker-PT-08ringLL-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 100 (type EQUN) for 45 DNAwalker-PT-08ringLL-ReachabilityCardinality-15
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 99 (type FNDP) for DNAwalker-PT-08ringLL-ReachabilityCardinality-15
lola: result : true
lola: fired transitions : 2
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 100 (type EQUN) for DNAwalker-PT-08ringLL-ReachabilityCardinality-15 (obsolete)
lola: LAUNCH task # 55 (type FNDP) for 0 DNAwalker-PT-08ringLL-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type EQUN) for 0 DNAwalker-PT-08ringLL-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-63.sara.
lola: FINISHED task # 100 (type EQUN) for DNAwalker-PT-08ringLL-ReachabilityCardinality-15
lola: result : unknown
sara: place or transition ordering is non-deterministic
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-57.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 1/356 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 140603 t fired, 21786 attempts, .
57 EF STEQ 1/396 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 20/379 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 2399652 t fired, 225028 attempts, .
97 EF EXCL 1/509 1/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-13 86781 m, 17356 m/sec, 332141 t fired, .
Time elapsed: 35 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 7/355 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 661577 t fired, 94344 attempts, .
57 EF STEQ 7/395 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 26/378 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 2869032 t fired, 267118 attempts, .
97 EF EXCL 7/509 2/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-13 377576 m, 58159 m/sec, 1658941 t fired, .
Time elapsed: 41 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 12/349 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 1109460 t fired, 153736 attempts, .
57 EF STEQ 12/389 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 31/372 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 3301557 t fired, 305704 attempts, .
97 EF EXCL 12/509 3/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-13 688578 m, 62200 m/sec, 3149963 t fired, .
Time elapsed: 46 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 17/344 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 1563810 t fired, 212717 attempts, .
57 EF STEQ 17/384 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 36/367 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 3802627 t fired, 350129 attempts, .
97 EF EXCL 17/509 4/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-13 999007 m, 62085 m/sec, 4745311 t fired, .
Time elapsed: 51 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 22/339 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 2081632 t fired, 278746 attempts, .
57 EF STEQ 22/379 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 41/362 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 4233745 t fired, 388229 attempts, .
97 EF EXCL 22/509 5/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-13 1283992 m, 56997 m/sec, 6126308 t fired, .
Time elapsed: 56 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 27/334 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 2596793 t fired, 343280 attempts, .
57 EF STEQ 27/374 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 46/357 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 4717159 t fired, 430665 attempts, .
97 EF EXCL 27/509 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-13 1550645 m, 53330 m/sec, 7493286 t fired, .
Time elapsed: 61 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 32/329 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 3109364 t fired, 407077 attempts, .
57 EF STEQ 32/369 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 51/352 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 5234090 t fired, 475895 attempts, .
97 EF EXCL 32/509 7/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-13 1796169 m, 49104 m/sec, 8718588 t fired, .
Time elapsed: 66 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 37/324 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 3606320 t fired, 468341 attempts, .
57 EF STEQ 37/364 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 56/347 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 5711793 t fired, 517697 attempts, .
97 EF EXCL 37/509 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-13 2046894 m, 50145 m/sec, 10106279 t fired, .
Time elapsed: 71 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 97 (type EXCL) for DNAwalker-PT-08ringLL-ReachabilityCardinality-13
lola: result : false
lola: markings : 2268052
lola: fired transitions : 11505359
lola: time used : 41.000000
lola: memory pages used : 9
lola: LAUNCH task # 71 (type EXCL) for 21 DNAwalker-PT-08ringLL-ReachabilityCardinality-07
lola: time limit : 587 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 42/404 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 4146169 t fired, 534294 attempts, .
57 EF STEQ 42/404 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
71 EF EXCL 1/587 1/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-07 39533 m, 7906 m/sec, 138317 t fired, .
87 EF FNDP 61/388 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 6165932 t fired, 557197 attempts, .
Time elapsed: 76 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 47/403 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 4700954 t fired, 601740 attempts, .
57 EF STEQ 47/403 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
71 EF EXCL 6/587 2/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-07 311824 m, 54458 m/sec, 1328897 t fired, .
87 EF FNDP 66/387 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 6562364 t fired, 591590 attempts, .
Time elapsed: 81 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 52/398 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 5293780 t fired, 673323 attempts, .
57 EF STEQ 52/398 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
71 EF EXCL 11/587 3/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-07 584072 m, 54449 m/sec, 2647741 t fired, .
87 EF FNDP 71/382 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 7000799 t fired, 629525 attempts, .
Time elapsed: 86 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 57/393 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 5740525 t fired, 726910 attempts, .
57 EF STEQ 57/393 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
71 EF EXCL 16/587 4/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-07 854000 m, 53985 m/sec, 3968040 t fired, .
87 EF FNDP 76/377 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 7503539 t fired, 672974 attempts, .
Time elapsed: 91 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 62/388 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 6228724 t fired, 785621 attempts, .
57 EF STEQ 62/388 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
71 EF EXCL 21/587 5/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-07 1151785 m, 59557 m/sec, 5481123 t fired, .
87 EF FNDP 81/372 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 7998263 t fired, 715681 attempts, .
Time elapsed: 96 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 67/383 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 6725124 t fired, 844891 attempts, .
57 EF STEQ 67/383 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
71 EF EXCL 26/587 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-07 1383660 m, 46375 m/sec, 6593272 t fired, .
87 EF FNDP 86/367 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 8554947 t fired, 763572 attempts, .
Time elapsed: 101 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 72/378 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 7197316 t fired, 901336 attempts, .
57 EF STEQ 72/378 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
71 EF EXCL 31/587 7/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-07 1643943 m, 52056 m/sec, 7949640 t fired, .
87 EF FNDP 91/362 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 9026508 t fired, 804142 attempts, .
Time elapsed: 106 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 77/373 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 7690081 t fired, 959800 attempts, .
57 EF STEQ 77/373 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
71 EF EXCL 36/587 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-07 1925401 m, 56291 m/sec, 9443232 t fired, .
87 EF FNDP 96/357 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 9458869 t fired, 841280 attempts, .
Time elapsed: 111 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 82/368 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 8200094 t fired, 1020431 attempts, .
57 EF STEQ 82/368 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
71 EF EXCL 41/587 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-07 2143418 m, 43603 m/sec, 10714456 t fired, .
87 EF FNDP 101/352 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 9918259 t fired, 880726 attempts, .
Time elapsed: 116 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 71 (type EXCL) for DNAwalker-PT-08ringLL-ReachabilityCardinality-07
lola: result : false
lola: markings : 2268052
lola: fired transitions : 11505359
lola: time used : 43.000000
lola: memory pages used : 9
lola: LAUNCH task # 110 (type EXCL) for 42 DNAwalker-PT-08ringLL-ReachabilityCardinality-14
lola: time limit : 696 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 87/425 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 8656052 t fired, 1074574 attempts, .
57 EF STEQ 87/425 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 106/494 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 10403202 t fired, 922305 attempts, .
110 EF EXCL 3/696 1/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-14 176159 m, 35231 m/sec, 718398 t fired, .
Time elapsed: 121 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 92/422 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 9194074 t fired, 1138406 attempts, .
57 EF STEQ 92/422 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 111/491 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 10890958 t fired, 964142 attempts, .
110 EF EXCL 8/696 2/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-14 477086 m, 60185 m/sec, 2185218 t fired, .
Time elapsed: 126 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 97/417 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 9687132 t fired, 1196760 attempts, .
57 EF STEQ 97/417 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 116/486 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 11343533 t fired, 1002936 attempts, .
110 EF EXCL 13/696 3/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-14 783948 m, 61372 m/sec, 3608244 t fired, .
Time elapsed: 131 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 102/412 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 10182795 t fired, 1255370 attempts, .
57 EF STEQ 102/412 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 121/481 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 11846153 t fired, 1045857 attempts, .
110 EF EXCL 18/696 5/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-14 1066415 m, 56493 m/sec, 5083639 t fired, .
Time elapsed: 136 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 107/407 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 10691978 t fired, 1315489 attempts, .
57 EF STEQ 107/407 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 126/476 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 12273131 t fired, 1082442 attempts, .
110 EF EXCL 23/696 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-14 1364021 m, 59521 m/sec, 6493404 t fired, .
Time elapsed: 141 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 112/402 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 11199614 t fired, 1375616 attempts, .
57 EF STEQ 112/402 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 131/471 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 12724408 t fired, 1121016 attempts, .
110 EF EXCL 28/696 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-14 1621048 m, 51405 m/sec, 7838159 t fired, .
Time elapsed: 146 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 117/397 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 11636739 t fired, 1427382 attempts, .
57 EF STEQ 117/397 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 136/466 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 13177778 t fired, 1159829 attempts, .
110 EF EXCL 33/696 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-14 1919765 m, 59743 m/sec, 9412523 t fired, .
Time elapsed: 151 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 122/392 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 12094008 t fired, 1481361 attempts, .
57 EF STEQ 122/392 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
87 EF FNDP 141/461 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 13652708 t fired, 1200421 attempts, .
110 EF EXCL 38/696 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-14 2196871 m, 55421 m/sec, 11050755 t fired, .
Time elapsed: 156 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 110 (type EXCL) for DNAwalker-PT-08ringLL-ReachabilityCardinality-14
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 39.000000
lola: memory pages used : 9
lola: LAUNCH task # 84 (type EXCL) for 3 DNAwalker-PT-08ringLL-ReachabilityCardinality-01
lola: time limit : 860 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 127/471 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 12601726 t fired, 1541176 attempts, .
57 EF STEQ 127/590 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
84 EF EXCL 4/860 1/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-01 216279 m, 43255 m/sec, 934559 t fired, .
87 EF FNDP 146/575 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 14121651 t fired, 1240466 attempts, .
Time elapsed: 161 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 132/467 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 13088192 t fired, 1598303 attempts, .
57 EF STEQ 132/586 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
84 EF EXCL 9/860 2/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-01 478732 m, 52490 m/sec, 2194920 t fired, .
87 EF FNDP 151/571 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 14624566 t fired, 1283440 attempts, .
Time elapsed: 166 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 137/462 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 13579436 t fired, 1656327 attempts, .
57 EF STEQ 137/581 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
84 EF EXCL 14/860 3/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-01 738527 m, 51959 m/sec, 3414226 t fired, .
87 EF FNDP 156/566 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 15058539 t fired, 1320423 attempts, .
Time elapsed: 171 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 142/457 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 14053144 t fired, 1711876 attempts, .
57 EF STEQ 142/576 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
84 EF EXCL 19/860 4/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-01 1003194 m, 52933 m/sec, 4772164 t fired, .
87 EF FNDP 161/561 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 15546529 t fired, 1362123 attempts, .
Time elapsed: 176 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 147/452 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 14550322 t fired, 1770233 attempts, .
57 EF STEQ 147/571 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
84 EF EXCL 24/860 5/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-01 1276746 m, 54710 m/sec, 6097064 t fired, .
87 EF FNDP 166/556 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 16001223 t fired, 1401016 attempts, .
Time elapsed: 181 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 152/447 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 14998474 t fired, 1822785 attempts, .
57 EF STEQ 152/566 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
84 EF EXCL 29/860 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-01 1544666 m, 53584 m/sec, 7456026 t fired, .
87 EF FNDP 171/551 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 16458012 t fired, 1439899 attempts, .
Time elapsed: 186 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 157/442 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 15454766 t fired, 1876401 attempts, .
57 EF STEQ 157/561 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
84 EF EXCL 34/860 7/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-01 1807261 m, 52519 m/sec, 8788612 t fired, .
87 EF FNDP 176/546 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 16886606 t fired, 1476456 attempts, .
Time elapsed: 191 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 162/437 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 15897594 t fired, 1928411 attempts, .
57 EF STEQ 162/556 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
84 EF EXCL 39/860 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-01 2100330 m, 58613 m/sec, 10441118 t fired, .
87 EF FNDP 181/541 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 17311672 t fired, 1512764 attempts, .
Time elapsed: 196 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 84 (type EXCL) for DNAwalker-PT-08ringLL-ReachabilityCardinality-01
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 41.000000
lola: memory pages used : 9
lola: LAUNCH task # 77 (type EXCL) for 18 DNAwalker-PT-08ringLL-ReachabilityCardinality-06
lola: time limit : 1134 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 167/727 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 16319022 t fired, 1977674 attempts, .
57 EF STEQ 167/727 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
77 EF EXCL 3/1134 1/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-06 164897 m, 32979 m/sec, 660726 t fired, .
87 EF FNDP 186/713 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 17790290 t fired, 1553502 attempts, .
Time elapsed: 201 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 172/724 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 16748817 t fired, 2028291 attempts, .
57 EF STEQ 172/724 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
77 EF EXCL 8/1134 2/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-06 494392 m, 65899 m/sec, 2251040 t fired, .
87 EF FNDP 191/710 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 18226569 t fired, 1590663 attempts, .
Time elapsed: 206 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 177/719 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 17169514 t fired, 2077795 attempts, .
57 EF STEQ 177/719 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
77 EF EXCL 13/1134 4/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-06 811842 m, 63490 m/sec, 3745173 t fired, .
87 EF FNDP 196/705 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 18673331 t fired, 1628673 attempts, .
Time elapsed: 211 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 182/714 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 17638616 t fired, 2132783 attempts, .
57 EF STEQ 182/714 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
77 EF EXCL 18/1134 5/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-06 1116095 m, 60850 m/sec, 5298936 t fired, .
87 EF FNDP 201/700 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 19128823 t fired, 1667569 attempts, .
Time elapsed: 216 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 187/709 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 18105434 t fired, 2187352 attempts, .
57 EF STEQ 187/709 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
77 EF EXCL 23/1134 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-06 1430175 m, 62816 m/sec, 6829873 t fired, .
87 EF FNDP 206/695 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 19571724 t fired, 1705365 attempts, .
Time elapsed: 221 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 192/704 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 18582247 t fired, 2243259 attempts, .
57 EF STEQ 192/704 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
77 EF EXCL 28/1134 7/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-06 1709793 m, 55923 m/sec, 8282422 t fired, .
87 EF FNDP 211/690 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 19993090 t fired, 1741295 attempts, .
Time elapsed: 226 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 197/699 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 19093298 t fired, 2303062 attempts, .
57 EF STEQ 197/699 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
77 EF EXCL 33/1134 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-06 1958121 m, 49665 m/sec, 9618335 t fired, .
87 EF FNDP 216/685 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 20474477 t fired, 1782361 attempts, .
Time elapsed: 231 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 202/694 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 19584585 t fired, 2360660 attempts, .
57 EF STEQ 202/694 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
77 EF EXCL 38/1134 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-06 2191834 m, 46742 m/sec, 11017377 t fired, .
87 EF FNDP 221/680 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 20928565 t fired, 1821051 attempts, .
Time elapsed: 236 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 77 (type EXCL) for DNAwalker-PT-08ringLL-ReachabilityCardinality-06
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 39.000000
lola: memory pages used : 9
lola: LAUNCH task # 60 (type EXCL) for 0 DNAwalker-PT-08ringLL-ReachabilityCardinality-00
lola: time limit : 1681 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 207/985 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 20098263 t fired, 2420932 attempts, .
57 EF STEQ 207/985 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
60 EF EXCL 4/1681 1/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 199687 m, 39937 m/sec, 841090 t fired, .
87 EF FNDP 226/1570 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 21351938 t fired, 1857087 attempts, .
Time elapsed: 241 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 212/981 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 20574705 t fired, 2476718 attempts, .
57 EF STEQ 212/981 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
60 EF EXCL 9/1681 2/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 437975 m, 47657 m/sec, 1973666 t fired, .
87 EF FNDP 231/1566 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 21821449 t fired, 1897017 attempts, .
Time elapsed: 246 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 217/976 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 21071962 t fired, 2534914 attempts, .
57 EF STEQ 217/976 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
60 EF EXCL 14/1681 3/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 661310 m, 44667 m/sec, 3012324 t fired, .
87 EF FNDP 236/1561 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 22296634 t fired, 1937430 attempts, .
Time elapsed: 251 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 222/971 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 21531198 t fired, 2588662 attempts, .
57 EF STEQ 222/971 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
60 EF EXCL 19/1681 4/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 909260 m, 49590 m/sec, 4247119 t fired, .
87 EF FNDP 241/1556 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 22791952 t fired, 1979605 attempts, .
Time elapsed: 256 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 227/966 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 22067676 t fired, 2651592 attempts, .
57 EF STEQ 227/966 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
60 EF EXCL 24/1681 5/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 1156158 m, 49379 m/sec, 5498642 t fired, .
87 EF FNDP 246/1551 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 23250441 t fired, 2018549 attempts, .
Time elapsed: 261 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 232/961 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 22587720 t fired, 2712355 attempts, .
57 EF STEQ 232/961 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
60 EF EXCL 29/1681 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 1388557 m, 46479 m/sec, 6621331 t fired, .
87 EF FNDP 251/1546 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 23712782 t fired, 2057874 attempts, .
Time elapsed: 266 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 237/956 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 23054417 t fired, 2766864 attempts, .
57 EF STEQ 237/956 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
60 EF EXCL 34/1681 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 1620535 m, 46395 m/sec, 7835525 t fired, .
87 EF FNDP 256/1541 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 24193182 t fired, 2098793 attempts, .
Time elapsed: 271 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 242/951 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 23548115 t fired, 2824411 attempts, .
57 EF STEQ 242/951 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
60 EF EXCL 39/1681 7/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 1851465 m, 46186 m/sec, 9065195 t fired, .
87 EF FNDP 261/1536 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 24676034 t fired, 2139857 attempts, .
Time elapsed: 276 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 247/946 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 24042400 t fired, 2882442 attempts, .
57 EF STEQ 247/946 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 sara is running.
60 EF EXCL 44/1681 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-00 2079588 m, 45624 m/sec, 10315938 t fired, .
87 EF FNDP 266/1531 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 25137399 t fired, 2179239 attempts, .
Time elapsed: 281 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 60 (type EXCL) for DNAwalker-PT-08ringLL-ReachabilityCardinality-00
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 48.000000
lola: memory pages used : 9
lola: CANCELED task # 55 (type FNDP) for DNAwalker-PT-08ringLL-ReachabilityCardinality-00 (obsolete)
lola: CANCELED task # 57 (type EQUN) for DNAwalker-PT-08ringLL-ReachabilityCardinality-00 (obsolete)
lola: LAUNCH task # 91 (type EXCL) for 15 DNAwalker-PT-08ringLL-ReachabilityCardinality-05
lola: time limit : 3315 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 88 (type EQUN) for 15 DNAwalker-PT-08ringLL-ReachabilityCardinality-05
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 # 90 (type SRCH) for 15 DNAwalker-PT-08ringLL-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type FNDP) for DNAwalker-PT-08ringLL-ReachabilityCardinality-00
lola: result : unknown
lola: fired transitions : 24463986
lola: tried executions : 2932012
lola: time used : 251.000000
lola: memory pages used : 0
lola: FINISHED task # 57 (type EQUN) for DNAwalker-PT-08ringLL-ReachabilityCardinality-00
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-88.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 271/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 25608791 t fired, 2219418 attempts, .
88 EF STEQ 1/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
90 EF SRCH 1/1657 1/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 64198 m, 12839 m/sec, 178746 t fired, .
91 EF EXCL 1/3315 1/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 24220 m, 4844 m/sec, 75357 t fired, .
Time elapsed: 286 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 276/3314 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 26075331 t fired, 2259076 attempts, .
88 EF STEQ 6/3314 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
90 EF SRCH 6/1656 2/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 577863 m, 102733 m/sec, 1866346 t fired, .
91 EF EXCL 6/3315 1/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 251296 m, 45415 m/sec, 946103 t fired, .
Time elapsed: 291 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 281/3309 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 26597035 t fired, 2303469 attempts, .
88 EF STEQ 11/3309 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
90 EF SRCH 11/1651 4/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 1082167 m, 100860 m/sec, 3491737 t fired, .
91 EF EXCL 11/3315 2/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 472453 m, 44231 m/sec, 1869437 t fired, .
Time elapsed: 296 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 286/3304 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 27063851 t fired, 2343092 attempts, .
88 EF STEQ 16/3304 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
90 EF SRCH 16/1646 5/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 1525281 m, 88622 m/sec, 5281636 t fired, .
91 EF EXCL 16/3315 3/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 686330 m, 42775 m/sec, 2818050 t fired, .
Time elapsed: 301 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 90 (type SRCH) for DNAwalker-PT-08ringLL-ReachabilityCardinality-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 1 3 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 291/3299 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 27693028 t fired, 2396484 attempts, .
88 EF STEQ 21/3299 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 21/3315 4/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 951338 m, 53001 m/sec, 3936225 t fired, .
Time elapsed: 306 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 92 (type SRCH) for 15 DNAwalker-PT-08ringLL-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 92 (type SRCH) for DNAwalker-PT-08ringLL-ReachabilityCardinality-05
lola: result : unknown
lola: markings : 8
lola: fired transitions : 12
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 296/3585 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 28324621 t fired, 2450266 attempts, .
88 EF STEQ 26/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 26/3315 5/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 1208604 m, 51453 m/sec, 5082272 t fired, .
Time elapsed: 311 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 301/3585 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 28954917 t fired, 2503789 attempts, .
88 EF STEQ 31/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 31/3315 6/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 1449845 m, 48248 m/sec, 6253619 t fired, .
Time elapsed: 316 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 306/3585 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 29585769 t fired, 2557383 attempts, .
88 EF STEQ 36/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 36/3315 7/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 1711020 m, 52235 m/sec, 7347611 t fired, .
Time elapsed: 321 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 311/3585 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 30217045 t fired, 2611083 attempts, .
88 EF STEQ 41/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 41/3315 8/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 1963990 m, 50594 m/sec, 8487752 t fired, .
Time elapsed: 326 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 316/3585 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 30847433 t fired, 2664580 attempts, .
88 EF STEQ 46/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 46/3315 9/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 2203499 m, 47901 m/sec, 9640712 t fired, .
Time elapsed: 331 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 321/3585 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 31477278 t fired, 2718076 attempts, .
88 EF STEQ 51/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 51/3315 10/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 2452663 m, 49832 m/sec, 10802477 t fired, .
Time elapsed: 336 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 326/3585 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 32106958 t fired, 2771690 attempts, .
88 EF STEQ 56/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 56/3315 10/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 2691738 m, 47815 m/sec, 11971035 t fired, .
Time elapsed: 341 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 331/3585 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 32735131 t fired, 2825008 attempts, .
88 EF STEQ 61/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 61/3315 11/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 2928896 m, 47431 m/sec, 13152133 t fired, .
Time elapsed: 346 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 336/3585 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 33363800 t fired, 2878328 attempts, .
88 EF STEQ 66/3315 0/5 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 sara is running.
91 EF EXCL 66/3315 12/32 DNAwalker-PT-08ringLL-ReachabilityCardinality-05 3161025 m, 46425 m/sec, 14430995 t fired, .
Time elapsed: 351 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 91 (type EXCL) for DNAwalker-PT-08ringLL-ReachabilityCardinality-05
lola: result : false
lola: markings : 3255585
lola: fired transitions : 14918980
lola: time used : 68.000000
lola: memory pages used : 12
lola: CANCELED task # 87 (type FNDP) for DNAwalker-PT-08ringLL-ReachabilityCardinality-05 (obsolete)
lola: CANCELED task # 88 (type EQUN) for DNAwalker-PT-08ringLL-ReachabilityCardinality-05 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-08ringLL-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-01: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-03: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-04: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-06: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-08: AG false findpath
DNAwalker-PT-08ringLL-ReachabilityCardinality-09: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-10: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-11: INITIAL true preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-12: INITIAL false preprocessing
DNAwalker-PT-08ringLL-ReachabilityCardinality-13: EF false tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-14: AG true tandem / relaxed
DNAwalker-PT-08ringLL-ReachabilityCardinality-15: EF true findpath
Time elapsed: 353 secs. Pages in use: 12
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="DNAwalker-PT-08ringLL"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-08ringLL, 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 r061-tall-162038393500590"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-08ringLL.tgz
mv DNAwalker-PT-08ringLL 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 ;