About the Execution of LoLA for DNAwalker-PT-09ringLR
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 512.596 | 438252.00 | 1748234.00 | 5.00 | FFTFTTTFTTFTTTFF | 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-162038393500598.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-09ringLR, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r061-tall-162038393500598
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 127K 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 26K 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.4K Mar 23 10:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 10:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 22 17:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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-09ringLR-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1620474690054
starting LoLA
BK_INPUT DNAwalker-PT-09ringLR
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620475128306
--------------------
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: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: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 7 (type CNST) for 6 DNAwalker-PT-09ringLR-ReachabilityCardinality-02
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 13 (type CNST) for 12 DNAwalker-PT-09ringLR-ReachabilityCardinality-04
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 7 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityCardinality-02
lola: result : true
lola: FINISHED task # 13 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityCardinality-04
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH INITIAL
lola: LAUNCH task # 46 (type CNST) for 45 DNAwalker-PT-09ringLR-ReachabilityCardinality-15
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 46 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityCardinality-15
lola: result : false
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 52 (type EXCL) for 3 DNAwalker-PT-09ringLR-ReachabilityCardinality-01
lola: time limit : 225 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 3 DNAwalker-PT-09ringLR-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 3 DNAwalker-PT-09ringLR-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SRCH) for 3 DNAwalker-PT-09ringLR-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
sara: lola: try reading problem file /home/mcc/execution/ReachabilityCardinality-49.sara.
rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: place or transition ordering is non-deterministic
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: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: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: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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF 0 1 4 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 5/200 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 616168 t fired, 59457 attempts, .
49 EF STEQ 5/211 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 sara is running.
51 EF SRCH 5/211 3/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 695468 m, 139093 m/sec, 2174083 t fired, .
52 EF EXCL 5/276 2/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 279795 m, 55959 m/sec, 1186195 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-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF 0 1 4 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 10/195 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 1244860 t fired, 114670 attempts, .
49 EF STEQ 10/206 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 sara is running.
51 EF SRCH 10/206 5/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 1337598 m, 128426 m/sec, 4627009 t fired, .
52 EF EXCL 10/276 3/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 548606 m, 53762 m/sec, 2480107 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-09ringLR-ReachabilityCardinality-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 15/190 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 1869109 t fired, 167520 attempts, .
49 EF STEQ 15/201 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 sara is running.
52 EF EXCL 15/276 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 818343 m, 53947 m/sec, 3780243 t fired, .
Time elapsed: 15 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 104 (type FNDP) for 39 DNAwalker-PT-09ringLR-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 20/196 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 2401739 t fired, 211792 attempts, .
49 EF STEQ 20/196 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 sara is running.
52 EF EXCL 20/276 5/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 1077605 m, 51852 m/sec, 5133671 t fired, .
104 EF FNDP 5/210 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 511000 t fired, 54624 attempts, .
Time elapsed: 20 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 25/191 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 2996334 t fired, 260365 attempts, .
49 EF STEQ 25/191 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 sara is running.
52 EF EXCL 25/276 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 1343229 m, 53124 m/sec, 6393107 t fired, .
104 EF FNDP 10/205 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 1077904 t fired, 112354 attempts, .
Time elapsed: 25 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 30/186 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 3591350 t fired, 308494 attempts, .
49 EF STEQ 30/186 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 sara is running.
52 EF EXCL 30/276 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 1591901 m, 49734 m/sec, 7705808 t fired, .
104 EF FNDP 15/200 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 1644033 t fired, 168771 attempts, .
Time elapsed: 30 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 35/181 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 4184450 t fired, 355977 attempts, .
49 EF STEQ 35/181 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 sara is running.
52 EF EXCL 35/276 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 1842337 m, 50087 m/sec, 9006164 t fired, .
104 EF FNDP 20/195 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 2209422 t fired, 224462 attempts, .
Time elapsed: 35 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 40/176 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 4777815 t fired, 403324 attempts, .
49 EF STEQ 40/176 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 sara is running.
52 EF EXCL 40/276 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-01 2085129 m, 48558 m/sec, 10350512 t fired, .
104 EF FNDP 25/190 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 2774806 t fired, 279494 attempts, .
Time elapsed: 40 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 52 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-01
lola: result : false
lola: markings : 2271123
lola: fired transitions : 11528877
lola: time used : 44.000000
lola: memory pages used : 9
lola: CANCELED task # 48 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityCardinality-01 (obsolete)
lola: CANCELED task # 49 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityCardinality-01 (obsolete)
lola: LAUNCH task # 126 (type EXCL) for 24 DNAwalker-PT-09ringLR-ReachabilityCardinality-08
lola: time limit : 296 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 56 (type FNDP) for 9 DNAwalker-PT-09ringLR-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type EQUN) for 9 DNAwalker-PT-09ringLR-ReachabilityCardinality-03
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: FINISHED task # 49 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityCardinality-01
lola: result : unknown
lola: FINISHED task # 48 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityCardinality-01
lola: result : unknown
lola: fired transitions : 5243490
lola: tried executions : 440181
lola: time used : 44.000000
lola: memory pages used : 0
lola: FINISHED task # 126 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-08
lola: result : false
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 117 (type EXCL) for 0 DNAwalker-PT-09ringLR-ReachabilityCardinality-00
lola: time limit : 323 sec
lola: memory limit: 32 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-57.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 56 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityCardinality-03
lola: result : true
lola: fired transitions : 7
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 57 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityCardinality-03 (obsolete)
lola: LAUNCH task # 63 (type FNDP) for 18 DNAwalker-PT-09ringLR-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 64 (type EQUN) for 18 DNAwalker-PT-09ringLR-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 57 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityCardinality-03
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 63 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityCardinality-06
lola: result : true
lola: fired transitions : 2
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 64 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityCardinality-06 (obsolete)
lola: LAUNCH task # 89 (type FNDP) for 27 DNAwalker-PT-09ringLR-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 91 (type EQUN) for 27 DNAwalker-PT-09ringLR-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-64.sara.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-91.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 91 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityCardinality-09
lola: result : false
lola: CANCELED task # 89 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityCardinality-09 (obsolete)
lola: LAUNCH task # 74 (type FNDP) for 36 DNAwalker-PT-09ringLR-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 77 (type EQUN) for 36 DNAwalker-PT-09ringLR-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 89 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityCardinality-09
lola: result : unknown
lola: fired transitions : 9992
lola: tried executions : 1189
lola: time used : 0.000000
lola: memory pages used : 0
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-77.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 1/323 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 98906 t fired, 12234 attempts, .
77 EF STEQ 1/323 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 30/329 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 3296660 t fired, 329830 attempts, .
117 EF EXCL 1/444 1/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-00 74218 m, 14843 m/sec, 275922 t fired, .
Time elapsed: 45 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 6/322 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 572909 t fired, 66090 attempts, .
77 EF STEQ 6/322 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 35/328 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 3720425 t fired, 370574 attempts, .
117 EF EXCL 6/444 2/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-00 379028 m, 60962 m/sec, 1666464 t fired, .
Time elapsed: 50 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 11/317 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 1117633 t fired, 125390 attempts, .
77 EF STEQ 11/317 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 40/323 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 4072673 t fired, 404362 attempts, .
117 EF EXCL 11/444 3/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-00 666639 m, 57522 m/sec, 3035289 t fired, .
Time elapsed: 55 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 16/312 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 1576939 t fired, 174326 attempts, .
77 EF STEQ 16/312 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 45/318 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 4486895 t fired, 444051 attempts, .
117 EF EXCL 16/444 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-00 962042 m, 59080 m/sec, 4524809 t fired, .
Time elapsed: 60 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 21/307 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 2068896 t fired, 226058 attempts, .
77 EF STEQ 21/307 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 50/313 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 4895316 t fired, 482977 attempts, .
117 EF EXCL 21/444 5/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-00 1247116 m, 57014 m/sec, 5935523 t fired, .
Time elapsed: 65 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 26/302 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 2590535 t fired, 280445 attempts, .
77 EF STEQ 26/302 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 55/308 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 5256580 t fired, 517300 attempts, .
117 EF EXCL 26/444 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-00 1494027 m, 49382 m/sec, 7161986 t fired, .
Time elapsed: 70 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 31/297 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 3052470 t fired, 328174 attempts, .
77 EF STEQ 31/297 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 60/303 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 5669046 t fired, 556435 attempts, .
117 EF EXCL 31/444 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-00 1757457 m, 52686 m/sec, 8523264 t fired, .
Time elapsed: 75 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 36/292 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 3546564 t fired, 378745 attempts, .
77 EF STEQ 36/292 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 65/298 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 6101652 t fired, 597455 attempts, .
117 EF EXCL 36/444 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-00 2014700 m, 51448 m/sec, 9925923 t fired, .
Time elapsed: 80 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 41/287 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 4015278 t fired, 426629 attempts, .
77 EF STEQ 41/287 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 70/293 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 6545663 t fired, 639484 attempts, .
117 EF EXCL 41/444 9/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-00 2267880 m, 50636 m/sec, 11504207 t fired, .
Time elapsed: 85 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 117 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-00
lola: result : false
lola: markings : 2268052
lola: fired transitions : 11505359
lola: time used : 41.000000
lola: memory pages used : 9
lola: LAUNCH task # 83 (type EXCL) for 21 DNAwalker-PT-09ringLR-ReachabilityCardinality-07
lola: time limit : 502 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 46/314 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 4560948 t fired, 482183 attempts, .
77 EF STEQ 46/354 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
83 EF EXCL 5/502 2/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-07 285193 m, 57038 m/sec, 1205884 t fired, .
104 EF FNDP 75/328 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 6907311 t fired, 673722 attempts, .
Time elapsed: 90 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 51/309 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 5059691 t fired, 532533 attempts, .
77 EF STEQ 51/349 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
83 EF EXCL 10/502 3/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-07 559724 m, 54906 m/sec, 2525743 t fired, .
104 EF FNDP 80/323 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 7313481 t fired, 712013 attempts, .
Time elapsed: 95 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 56/304 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 5513479 t fired, 578425 attempts, .
77 EF STEQ 56/344 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
83 EF EXCL 15/502 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-07 837689 m, 55593 m/sec, 3878107 t fired, .
104 EF FNDP 85/318 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 7728212 t fired, 751129 attempts, .
Time elapsed: 100 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 61/299 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 6021151 t fired, 629461 attempts, .
77 EF STEQ 61/339 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
83 EF EXCL 20/502 5/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-07 1086080 m, 49678 m/sec, 5173546 t fired, .
104 EF FNDP 90/313 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 8126774 t fired, 788523 attempts, .
Time elapsed: 105 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 66/294 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 6525366 t fired, 679919 attempts, .
77 EF STEQ 66/334 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
83 EF EXCL 25/502 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-07 1365819 m, 55947 m/sec, 6501652 t fired, .
104 EF FNDP 95/308 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 8527920 t fired, 826238 attempts, .
Time elapsed: 110 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 71/289 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 6990300 t fired, 726321 attempts, .
77 EF STEQ 71/329 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
83 EF EXCL 30/502 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-07 1635199 m, 53876 m/sec, 7908893 t fired, .
104 EF FNDP 100/303 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 8977853 t fired, 868568 attempts, .
Time elapsed: 115 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 76/284 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 7488610 t fired, 776174 attempts, .
77 EF STEQ 76/324 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
83 EF EXCL 35/502 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-07 1897445 m, 52449 m/sec, 9286868 t fired, .
104 EF FNDP 105/298 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 9385635 t fired, 906740 attempts, .
Time elapsed: 120 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 81/279 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 7970324 t fired, 824210 attempts, .
77 EF STEQ 81/319 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
83 EF EXCL 40/502 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-07 2146025 m, 49716 m/sec, 10732670 t fired, .
104 EF FNDP 110/293 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 9806832 t fired, 946316 attempts, .
Time elapsed: 125 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 83 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-07
lola: result : false
lola: markings : 2268052
lola: fired transitions : 11505359
lola: time used : 42.000000
lola: memory pages used : 9
lola: LAUNCH task # 123 (type EXCL) for 15 DNAwalker-PT-09ringLR-ReachabilityCardinality-05
lola: time limit : 578 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 86/361 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 8414705 t fired, 868406 attempts, .
77 EF STEQ 86/361 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 115/336 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 10266516 t fired, 989352 attempts, .
123 EF EXCL 3/578 1/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-05 137986 m, 27597 m/sec, 540970 t fired, .
Time elapsed: 130 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 91/358 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 8913071 t fired, 917851 attempts, .
77 EF STEQ 91/358 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 120/333 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 10675217 t fired, 1027649 attempts, .
123 EF EXCL 8/578 2/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-05 400851 m, 52573 m/sec, 1780635 t fired, .
Time elapsed: 135 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 96/353 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 9360043 t fired, 962143 attempts, .
77 EF STEQ 96/353 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 125/328 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 11096286 t fired, 1067190 attempts, .
123 EF EXCL 13/578 3/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-05 696436 m, 59117 m/sec, 3195004 t fired, .
Time elapsed: 140 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 101/348 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 9856059 t fired, 1011395 attempts, .
77 EF STEQ 101/348 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 130/323 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 11531637 t fired, 1107965 attempts, .
123 EF EXCL 18/578 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-05 972927 m, 55298 m/sec, 4584638 t fired, .
Time elapsed: 145 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 106/343 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 10367394 t fired, 1062192 attempts, .
77 EF STEQ 106/343 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 135/318 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 11935158 t fired, 1145692 attempts, .
123 EF EXCL 23/578 5/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-05 1244308 m, 54276 m/sec, 5923410 t fired, .
Time elapsed: 150 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 111/338 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 10889004 t fired, 1113872 attempts, .
77 EF STEQ 111/338 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 140/313 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 12385828 t fired, 1188075 attempts, .
123 EF EXCL 28/578 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-05 1489766 m, 49091 m/sec, 7140412 t fired, .
Time elapsed: 155 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 116/333 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 11353436 t fired, 1159837 attempts, .
77 EF STEQ 116/333 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 145/308 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 12809514 t fired, 1227726 attempts, .
123 EF EXCL 33/578 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-05 1757088 m, 53464 m/sec, 8521673 t fired, .
Time elapsed: 160 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 121/328 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 11817027 t fired, 1205893 attempts, .
77 EF STEQ 121/328 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 150/303 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 13184405 t fired, 1262786 attempts, .
123 EF EXCL 38/578 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-05 2019564 m, 52495 m/sec, 9949001 t fired, .
Time elapsed: 165 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 123 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-05
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 42.000000
lola: memory pages used : 9
lola: LAUNCH task # 72 (type EXCL) for 30 DNAwalker-PT-09ringLR-ReachabilityCardinality-10
lola: time limit : 686 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF EXCL 1/686 1/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-10 30429 m, 6085 m/sec, 102245 t fired, .
74 EF FNDP 126/383 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 12276477 t fired, 1251473 attempts, .
77 EF STEQ 126/383 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 155/443 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 13601157 t fired, 1301677 attempts, .
Time elapsed: 170 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF EXCL 6/686 2/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-10 359162 m, 65746 m/sec, 1569723 t fired, .
74 EF FNDP 131/382 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 12831071 t fired, 1306279 attempts, .
77 EF STEQ 131/382 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 160/442 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 14005395 t fired, 1339681 attempts, .
Time elapsed: 175 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF EXCL 11/686 3/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-10 634842 m, 55136 m/sec, 2871007 t fired, .
74 EF FNDP 136/377 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 13332116 t fired, 1355775 attempts, .
77 EF STEQ 136/377 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 165/437 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 14400809 t fired, 1376835 attempts, .
Time elapsed: 180 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF EXCL 16/686 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-10 917304 m, 56492 m/sec, 4287790 t fired, .
74 EF FNDP 141/372 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 13826542 t fired, 1404715 attempts, .
77 EF STEQ 141/372 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 170/432 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 14804034 t fired, 1414419 attempts, .
Time elapsed: 185 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF EXCL 21/686 5/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-10 1205157 m, 57570 m/sec, 5726566 t fired, .
74 EF FNDP 146/367 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 14279248 t fired, 1449292 attempts, .
77 EF STEQ 146/367 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 175/427 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 15241518 t fired, 1455212 attempts, .
Time elapsed: 190 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF EXCL 26/686 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-10 1469077 m, 52784 m/sec, 7030775 t fired, .
74 EF FNDP 151/362 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 14780411 t fired, 1498815 attempts, .
77 EF STEQ 151/362 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 180/422 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 15632426 t fired, 1491809 attempts, .
Time elapsed: 195 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF EXCL 31/686 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-10 1714715 m, 49127 m/sec, 8305982 t fired, .
74 EF FNDP 156/357 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 15331416 t fired, 1553174 attempts, .
77 EF STEQ 156/357 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 185/417 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 16067837 t fired, 1532522 attempts, .
Time elapsed: 200 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF EXCL 36/686 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-10 1964017 m, 49860 m/sec, 9645660 t fired, .
74 EF FNDP 161/352 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 15849635 t fired, 1604334 attempts, .
77 EF STEQ 161/352 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 190/412 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 16455168 t fired, 1568653 attempts, .
Time elapsed: 205 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF EXCL 41/686 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-10 2189231 m, 45042 m/sec, 11000654 t fired, .
74 EF FNDP 166/347 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 16379269 t fired, 1656623 attempts, .
77 EF STEQ 166/347 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 195/407 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 16943858 t fired, 1614611 attempts, .
Time elapsed: 210 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 72 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-10
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 42.000000
lola: memory pages used : 9
lola: LAUNCH task # 109 (type EXCL) for 42 DNAwalker-PT-09ringLR-ReachabilityCardinality-14
lola: time limit : 847 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 171/425 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 16865379 t fired, 1704666 attempts, .
77 EF STEQ 171/544 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 200/521 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 17336848 t fired, 1651422 attempts, .
109 EF EXCL 4/847 1/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-14 238706 m, 47741 m/sec, 1037423 t fired, .
Time elapsed: 215 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 176/421 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 17380818 t fired, 1755697 attempts, .
77 EF STEQ 176/540 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 205/517 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 17732077 t fired, 1688337 attempts, .
109 EF EXCL 9/847 3/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-14 528664 m, 57991 m/sec, 2426904 t fired, .
Time elapsed: 220 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 181/416 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 17845461 t fired, 1801537 attempts, .
77 EF STEQ 181/535 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 210/512 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 18150810 t fired, 1727407 attempts, .
109 EF EXCL 14/847 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-14 823025 m, 58872 m/sec, 3830326 t fired, .
Time elapsed: 225 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 186/411 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 18310800 t fired, 1847245 attempts, .
77 EF STEQ 186/530 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 215/507 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 18556726 t fired, 1765274 attempts, .
109 EF EXCL 19/847 5/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-14 1121845 m, 59764 m/sec, 5347585 t fired, .
Time elapsed: 230 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 191/406 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 18773253 t fired, 1893020 attempts, .
77 EF STEQ 191/525 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 220/502 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 18944251 t fired, 1801513 attempts, .
109 EF EXCL 24/847 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-14 1425655 m, 60762 m/sec, 6839562 t fired, .
Time elapsed: 235 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 196/401 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 19205544 t fired, 1935877 attempts, .
77 EF STEQ 196/520 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 225/497 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 19375694 t fired, 1841782 attempts, .
109 EF EXCL 29/847 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-14 1703672 m, 55603 m/sec, 8232393 t fired, .
Time elapsed: 240 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 201/396 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 19654258 t fired, 1980173 attempts, .
77 EF STEQ 201/515 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 230/492 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 19801427 t fired, 1881561 attempts, .
109 EF EXCL 34/847 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-14 1986219 m, 56509 m/sec, 9704179 t fired, .
Time elapsed: 245 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 206/391 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 20102670 t fired, 2024408 attempts, .
77 EF STEQ 206/510 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 235/487 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 20213570 t fired, 1919969 attempts, .
109 EF EXCL 39/847 9/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-14 2256476 m, 54051 m/sec, 11214501 t fired, .
Time elapsed: 250 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 211/386 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 20683728 t fired, 2081601 attempts, .
77 EF STEQ 211/505 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
104 EF FNDP 240/482 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 20591232 t fired, 1955203 attempts, .
109 EF EXCL 44/847 10/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-14 2503943 m, 49493 m/sec, 12781920 t fired, .
Time elapsed: 255 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 109 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-14
lola: result : false
lola: markings : 2526356
lola: fired transitions : 12915794
lola: time used : 44.000000
lola: memory pages used : 10
lola: LAUNCH task # 94 (type EXCL) for 33 DNAwalker-PT-09ringLR-ReachabilityCardinality-11
lola: time limit : 1115 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 216/678 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 21159724 t fired, 2128585 attempts, .
77 EF STEQ 216/678 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 5/1115 2/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 272198 m, 54439 m/sec, 1090293 t fired, .
104 EF FNDP 245/656 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 20976114 t fired, 1991041 attempts, .
Time elapsed: 260 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 221/673 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 21685492 t fired, 2180307 attempts, .
77 EF STEQ 221/673 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 10/1115 3/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 553500 m, 56260 m/sec, 2273651 t fired, .
104 EF FNDP 250/651 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 21383071 t fired, 2029056 attempts, .
Time elapsed: 265 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 226/668 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 22186823 t fired, 2229722 attempts, .
77 EF STEQ 226/668 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 15/1115 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 844292 m, 58158 m/sec, 3527753 t fired, .
104 EF FNDP 255/646 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 21766442 t fired, 2064734 attempts, .
Time elapsed: 270 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 231/663 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 22654948 t fired, 2275903 attempts, .
77 EF STEQ 231/663 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 20/1115 5/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 1133319 m, 57805 m/sec, 4874186 t fired, .
104 EF FNDP 260/641 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 22222395 t fired, 2107376 attempts, .
Time elapsed: 275 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 236/658 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 23141733 t fired, 2323973 attempts, .
77 EF STEQ 236/658 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 25/1115 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 1404710 m, 54278 m/sec, 6145460 t fired, .
104 EF FNDP 265/636 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 22617511 t fired, 2144365 attempts, .
Time elapsed: 280 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 241/653 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 23607216 t fired, 2370069 attempts, .
77 EF STEQ 241/653 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 30/1115 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 1691645 m, 57387 m/sec, 7393193 t fired, .
104 EF FNDP 270/631 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 23031767 t fired, 2183017 attempts, .
Time elapsed: 285 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 246/648 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 24119282 t fired, 2420558 attempts, .
77 EF STEQ 246/648 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 35/1115 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 1943296 m, 50330 m/sec, 8556151 t fired, .
104 EF FNDP 275/626 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 23431677 t fired, 2220416 attempts, .
Time elapsed: 290 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 251/643 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 24561141 t fired, 2464079 attempts, .
77 EF STEQ 251/643 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 40/1115 9/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 2213925 m, 54125 m/sec, 9878641 t fired, .
104 EF FNDP 280/621 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 23876799 t fired, 2261940 attempts, .
Time elapsed: 295 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 256/638 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 25085310 t fired, 2515718 attempts, .
77 EF STEQ 256/638 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 45/1115 10/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 2464451 m, 50105 m/sec, 11102594 t fired, .
104 EF FNDP 285/616 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 24283133 t fired, 2299800 attempts, .
Time elapsed: 300 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 261/633 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 25535947 t fired, 2559980 attempts, .
77 EF STEQ 261/633 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 50/1115 10/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 2734049 m, 53919 m/sec, 12492742 t fired, .
104 EF FNDP 290/611 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 24685543 t fired, 2337499 attempts, .
Time elapsed: 305 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 3 2 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 266/628 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 25989310 t fired, 2604688 attempts, .
77 EF STEQ 266/628 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
94 EF EXCL 55/1115 11/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-11 2950250 m, 43240 m/sec, 13669758 t fired, .
104 EF FNDP 295/606 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 25115365 t fired, 2377716 attempts, .
Time elapsed: 310 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 94 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-11
lola: result : false
lola: markings : 2957645
lola: fired transitions : 13711438
lola: time used : 55.000000
lola: memory pages used : 11
lola: LAUNCH task # 80 (type EXCL) for 36 DNAwalker-PT-09ringLR-ReachabilityCardinality-12
lola: time limit : 1645 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 271/919 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 26447200 t fired, 2649810 attempts, .
77 EF STEQ 271/919 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 5/1645 2/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 268536 m, 53707 m/sec, 1153179 t fired, .
104 EF FNDP 300/1497 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 25513405 t fired, 2414900 attempts, .
Time elapsed: 315 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 276/914 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 26921567 t fired, 2696567 attempts, .
77 EF STEQ 276/914 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 10/1645 3/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 537942 m, 53881 m/sec, 2494020 t fired, .
104 EF FNDP 305/1492 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 25905248 t fired, 2451461 attempts, .
Time elapsed: 320 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 281/909 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 27415354 t fired, 2745329 attempts, .
77 EF STEQ 281/909 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 15/1645 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 793714 m, 51154 m/sec, 3696061 t fired, .
104 EF FNDP 310/1487 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 26314155 t fired, 2489653 attempts, .
Time elapsed: 325 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 286/904 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 27909031 t fired, 2794031 attempts, .
77 EF STEQ 286/904 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 20/1645 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 1014911 m, 44239 m/sec, 4809074 t fired, .
104 EF FNDP 315/1482 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 26763908 t fired, 2531529 attempts, .
Time elapsed: 330 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 291/899 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 28292437 t fired, 2831728 attempts, .
77 EF STEQ 291/899 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 25/1645 5/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 1271528 m, 51323 m/sec, 6112841 t fired, .
104 EF FNDP 320/1477 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 27224734 t fired, 2574579 attempts, .
Time elapsed: 335 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 296/894 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 28813654 t fired, 2883167 attempts, .
77 EF STEQ 296/894 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 30/1645 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 1524756 m, 50645 m/sec, 7341767 t fired, .
104 EF FNDP 325/1472 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 27608043 t fired, 2610351 attempts, .
Time elapsed: 340 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 301/889 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 29391600 t fired, 2940072 attempts, .
77 EF STEQ 301/889 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 35/1645 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 1747999 m, 44648 m/sec, 8559307 t fired, .
104 EF FNDP 330/1467 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 27957471 t fired, 2643009 attempts, .
Time elapsed: 345 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 306/884 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 29834920 t fired, 2983744 attempts, .
77 EF STEQ 306/884 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 40/1645 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 1989025 m, 48205 m/sec, 9749625 t fired, .
104 EF FNDP 335/1462 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 28405152 t fired, 2684763 attempts, .
Time elapsed: 350 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 311/879 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 30222076 t fired, 3021914 attempts, .
77 EF STEQ 311/879 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 45/1645 9/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 2219410 m, 46077 m/sec, 11010722 t fired, .
104 EF FNDP 340/1457 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 28865056 t fired, 2727818 attempts, .
Time elapsed: 355 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG 0 2 3 0 1 0 0 0
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
74 EF FNDP 316/874 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 30695024 t fired, 3068441 attempts, .
77 EF STEQ 316/874 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 sara is running.
80 EF EXCL 50/1645 9/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-12 2439225 m, 43963 m/sec, 12336701 t fired, .
104 EF FNDP 345/1452 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 29247478 t fired, 2763541 attempts, .
Time elapsed: 360 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 80 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-12
lola: result : false
lola: markings : 2526495
lola: fired transitions : 12917905
lola: time used : 52.000000
lola: memory pages used : 10
lola: CANCELED task # 74 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityCardinality-12 (obsolete)
lola: CANCELED task # 77 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityCardinality-12 (obsolete)
lola: LAUNCH task # 131 (type EXCL) for 39 DNAwalker-PT-09ringLR-ReachabilityCardinality-13
lola: time limit : 3238 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 128 (type EQUN) for 39 DNAwalker-PT-09ringLR-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: LAUNCH task # 130 (type SRCH) for 39 DNAwalker-PT-09ringLR-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 74 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityCardinality-12
lola: result : unknown
lola: fired transitions : 30891057
lola: tried executions : 3087692
lola: time used : 318.000000
lola: memory pages used : 0
lola: FINISHED task # 77 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityCardinality-12
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-128.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 350/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 29669971 t fired, 2802985 attempts, .
128 EF STEQ 3/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
130 EF SRCH 3/1619 2/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 323221 m, 64644 m/sec, 924978 t fired, .
131 EF EXCL 3/3238 1/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 147234 m, 29446 m/sec, 562849 t fired, .
Time elapsed: 365 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 355/3235 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 30134777 t fired, 2846407 attempts, .
128 EF STEQ 8/3235 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
130 EF SRCH 8/1616 3/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 837959 m, 102947 m/sec, 2592919 t fired, .
131 EF EXCL 8/3238 2/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 387644 m, 48082 m/sec, 1621742 t fired, .
Time elapsed: 370 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 1 4 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 360/3230 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 30610252 t fired, 2890794 attempts, .
128 EF STEQ 13/3230 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
130 EF SRCH 13/1611 5/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 1326801 m, 97768 m/sec, 4311419 t fired, .
131 EF EXCL 13/3238 3/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 606465 m, 43764 m/sec, 2602616 t fired, .
Time elapsed: 375 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 130 (type SRCH) for DNAwalker-PT-09ringLR-ReachabilityCardinality-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 1 3 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 365/3225 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 31170246 t fired, 2943018 attempts, .
128 EF STEQ 18/3225 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 18/3238 4/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 843504 m, 47407 m/sec, 3827253 t fired, .
Time elapsed: 380 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 132 (type SRCH) for 39 DNAwalker-PT-09ringLR-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 132 (type SRCH) for DNAwalker-PT-09ringLR-ReachabilityCardinality-13
lola: result : unknown
lola: markings : 4
lola: fired transitions : 4
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 370/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 31765231 t fired, 2998578 attempts, .
128 EF STEQ 23/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 23/3238 5/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 1128685 m, 57036 m/sec, 5075368 t fired, .
Time elapsed: 385 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 375/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 32358806 t fired, 3054002 attempts, .
128 EF STEQ 28/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 28/3238 6/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 1399497 m, 54162 m/sec, 6407849 t fired, .
Time elapsed: 390 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 380/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 32952094 t fired, 3109354 attempts, .
128 EF STEQ 33/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 33/3238 7/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 1660493 m, 52199 m/sec, 7768565 t fired, .
Time elapsed: 395 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 385/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 33544568 t fired, 3164692 attempts, .
128 EF STEQ 38/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 38/3238 8/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 1923058 m, 52513 m/sec, 9075726 t fired, .
Time elapsed: 400 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 390/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 34138061 t fired, 3219975 attempts, .
128 EF STEQ 43/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 43/3238 9/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 2194518 m, 54292 m/sec, 10345264 t fired, .
Time elapsed: 405 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 395/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 34732651 t fired, 3275325 attempts, .
128 EF STEQ 48/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 48/3238 10/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 2459588 m, 53014 m/sec, 11582480 t fired, .
Time elapsed: 410 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 400/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 35328904 t fired, 3330942 attempts, .
128 EF STEQ 53/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 53/3238 11/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 2707668 m, 49616 m/sec, 12892945 t fired, .
Time elapsed: 415 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 405/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 35925146 t fired, 3386510 attempts, .
128 EF STEQ 58/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 58/3238 11/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 2966101 m, 51686 m/sec, 14137837 t fired, .
Time elapsed: 420 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 410/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 36520797 t fired, 3442185 attempts, .
128 EF STEQ 63/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 63/3238 12/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 3223575 m, 51494 m/sec, 15451731 t fired, .
Time elapsed: 425 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 415/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 37114488 t fired, 3497543 attempts, .
128 EF STEQ 68/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 68/3238 13/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 3475690 m, 50423 m/sec, 16767491 t fired, .
Time elapsed: 430 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 420/3585 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 37707045 t fired, 3552904 attempts, .
128 EF STEQ 73/3238 0/5 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 sara is running.
131 EF EXCL 73/3238 14/32 DNAwalker-PT-09ringLR-ReachabilityCardinality-13 3715857 m, 48033 m/sec, 18188978 t fired, .
Time elapsed: 435 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 131 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityCardinality-13
lola: result : false
lola: markings : 3862615
lola: fired transitions : 19152667
lola: time used : 76.000000
lola: memory pages used : 15
lola: CANCELED task # 104 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityCardinality-13 (obsolete)
lola: CANCELED task # 128 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityCardinality-13 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-09ringLR-ReachabilityCardinality-00: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-01: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-02: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-03: AG false findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-04: INITIAL true preprocessing
DNAwalker-PT-09ringLR-ReachabilityCardinality-05: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-06: EF true findpath
DNAwalker-PT-09ringLR-ReachabilityCardinality-07: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-08: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-09: AG true state equation
DNAwalker-PT-09ringLR-ReachabilityCardinality-10: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-11: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-12: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-13: AG true tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-14: EF false tandem / relaxed
DNAwalker-PT-09ringLR-ReachabilityCardinality-15: INITIAL false preprocessing
Time elapsed: 438 secs. Pages in use: 15
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-09ringLR"
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-09ringLR, 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-162038393500598"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-09ringLR.tgz
mv DNAwalker-PT-09ringLR 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 ;