About the Execution of LoLa+red for Medical-PT-14
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4693.596 | 459582.00 | 1819143.00 | 320.90 | TFTTTFFTTTTFFTTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r231-tall-167856416400702.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is Medical-PT-14, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r231-tall-167856416400702
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 14:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 14:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 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 Medical-PT-14-ReachabilityCardinality-00
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-01
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-02
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-03
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-04
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-05
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-06
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-07
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-08
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-09
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-10
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-11
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-12
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-13
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-14
FORMULA_NAME Medical-PT-14-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1679477758007
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Medical-PT-14
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-22 09:35:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2023-03-22 09:35:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 09:35:59] [INFO ] Load time of PNML (sax parser for PT used): 250 ms
[2023-03-22 09:35:59] [INFO ] Transformed 312 places.
[2023-03-22 09:35:59] [INFO ] Transformed 5431 transitions.
[2023-03-22 09:35:59] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 434 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 15 ms.
Working with output stream class java.io.PrintStream
Deduced a syphon composed of 242 places in 25 ms
Reduce places removed 242 places and 5204 transitions.
Reduce places removed 1 places and 0 transitions.
FORMULA Medical-PT-14-ReachabilityCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Medical-PT-14-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Medical-PT-14-ReachabilityCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Medical-PT-14-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Medical-PT-14-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Medical-PT-14-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Medical-PT-14-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Medical-PT-14-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Medical-PT-14-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Medical-PT-14-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 29 resets, run finished after 296 ms. (steps per millisecond=33 ) properties (out of 6) seen :1
FORMULA Medical-PT-14-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 52 ms. (steps per millisecond=192 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 13 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 9 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 11 resets, run finished after 40 ms. (steps per millisecond=250 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=232 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
[2023-03-22 09:36:00] [INFO ] Flow matrix only has 182 transitions (discarded 45 similar events)
// Phase 1: matrix 182 rows 69 cols
[2023-03-22 09:36:00] [INFO ] Computed 10 place invariants in 15 ms
[2023-03-22 09:36:00] [INFO ] [Real]Absence check using 10 positive place invariants in 4 ms returned sat
[2023-03-22 09:36:00] [INFO ] After 170ms SMT Verify possible using all constraints in real domain returned unsat :5 sat :0
FORMULA Medical-PT-14-ReachabilityCardinality-13 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA Medical-PT-14-ReachabilityCardinality-12 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA Medical-PT-14-ReachabilityCardinality-09 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA Medical-PT-14-ReachabilityCardinality-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA Medical-PT-14-ReachabilityCardinality-00 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 5 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 0 ms.
All properties solved without resorting to model-checking.
Total runtime 1331 ms.
starting LoLA
BK_INPUT Medical-PT-14
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA Medical-PT-14-ReachabilityCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-14-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679478217589
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityCardinality.xml
lola: 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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k: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: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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: Created skeleton in 1.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: 5204 transitions removed,242 places removed
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH INITIAL
lola: LAUNCH task # 43 (type CNST) for 42 Medical-PT-14-ReachabilityCardinality-14
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH INITIAL
lola: LAUNCH task # 25 (type CNST) for 24 Medical-PT-14-ReachabilityCardinality-08
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH task # 57 (type EXCL) for 3 Medical-PT-14-ReachabilityCardinality-01
lola: time limit : 171 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 53 (type FNDP) for 3 Medical-PT-14-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 13 (type CNST) for 12 Medical-PT-14-ReachabilityCardinality-04
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 16 (type CNST) for 15 Medical-PT-14-ReachabilityCardinality-05
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 43 (type CNST) for Medical-PT-14-ReachabilityCardinality-14
lola: result : true
lola: FINISHED task # 16 (type CNST) for Medical-PT-14-ReachabilityCardinality-05
lola: result : false
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: FINISHED task # 25 (type CNST) for Medical-PT-14-ReachabilityCardinality-08
lola: result : true
lola: LAUNCH INITIAL
lola: LAUNCH task # 31 (type CNST) for 30 Medical-PT-14-ReachabilityCardinality-10
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 7 (type CNST) for 6 Medical-PT-14-ReachabilityCardinality-02
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 10 (type CNST) for 9 Medical-PT-14-ReachabilityCardinality-03
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 19 (type CNST) for 18 Medical-PT-14-ReachabilityCardinality-06
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 22 (type CNST) for 21 Medical-PT-14-ReachabilityCardinality-07
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 46 (type CNST) for 45 Medical-PT-14-ReachabilityCardinality-15
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 7 (type CNST) for Medical-PT-14-ReachabilityCardinality-02
lola: result : true
lola: FINISHED task # 31 (type CNST) for Medical-PT-14-ReachabilityCardinality-10
lola: result : true
lola: FINISHED task # 19 (type CNST) for Medical-PT-14-ReachabilityCardinality-06
lola: result : false
lola: FINISHED task # 10 (type CNST) for Medical-PT-14-ReachabilityCardinality-03
lola: result : true
lola: FINISHED task # 22 (type CNST) for Medical-PT-14-ReachabilityCardinality-07
lola: result : true
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 46 (type CNST) for Medical-PT-14-ReachabilityCardinality-15
lola: result : true
lola: FINISHED task # 13 (type CNST) for Medical-PT-14-ReachabilityCardinality-04
lola: result : true
lola: LAUNCH task # 60 (type FNDP) for 0 Medical-PT-14-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 61 (type EQUN) for 0 Medical-PT-14-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-61.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 61 (type EQUN) for Medical-PT-14-ReachabilityCardinality-00
lola: result : false
lola: CANCELED task # 60 (type FNDP) for Medical-PT-14-ReachabilityCardinality-00 (obsolete)
lola: LAUNCH task # 82 (type FNDP) for 33 Medical-PT-14-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 83 (type EQUN) for 33 Medical-PT-14-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 60 (type FNDP) for Medical-PT-14-ReachabilityCardinality-00
lola: result : unknown
lola: fired transitions : 8845
lola: tried executions : 2
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
lola: FINISHED task # 82 (type FNDP) for Medical-PT-14-ReachabilityCardinality-11
lola: result : true
lola: fired transitions : 12
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 83 (type EQUN) for Medical-PT-14-ReachabilityCardinality-11 (obsolete)
lola: LAUNCH task # 49 (type FNDP) for 27 Medical-PT-14-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 66 (type FNDP) for 36 Medical-PT-14-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-83.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 2 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 4/599 0/5 Medical-PT-14-ReachabilityCardinality-09 624848 t fired, 9494 attempts, .
53 EF FNDP 4/719 0/5 Medical-PT-14-ReachabilityCardinality-01 611773 t fired, 8261 attempts, .
57 EF EXCL 4/899 13/32 Medical-PT-14-ReachabilityCardinality-01 2659711 m, 531942 m/sec, 2659722 t fired, .
66 EF FNDP 4/719 0/5 Medical-PT-14-ReachabilityCardinality-12 630459 t fired, 8482 attempts, .
Time elapsed: 6 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 3517)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 2 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 9/595 0/5 Medical-PT-14-ReachabilityCardinality-09 1491873 t fired, 21184 attempts, .
53 EF FNDP 9/715 0/5 Medical-PT-14-ReachabilityCardinality-01 1368208 t fired, 17816 attempts, .
57 EF EXCL 9/899 27/32 Medical-PT-14-ReachabilityCardinality-01 5764468 m, 620951 m/sec, 5764479 t fired, .
66 EF FNDP 9/715 0/5 Medical-PT-14-ReachabilityCardinality-12 1475822 t fired, 19298 attempts, .
Time elapsed: 11 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 57 (type EXCL) for Medical-PT-14-ReachabilityCardinality-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 14/590 0/5 Medical-PT-14-ReachabilityCardinality-09 2392359 t fired, 32842 attempts, .
53 EF FNDP 14/710 0/5 Medical-PT-14-ReachabilityCardinality-01 2258646 t fired, 28537 attempts, .
66 EF FNDP 14/710 0/5 Medical-PT-14-ReachabilityCardinality-12 2367314 t fired, 30248 attempts, .
Time elapsed: 16 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 76 (type EXCL) for 39 Medical-PT-14-ReachabilityCardinality-13
lola: time limit : 1194 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 19/585 0/5 Medical-PT-14-ReachabilityCardinality-09 3184013 t fired, 42792 attempts, .
53 EF FNDP 19/705 0/5 Medical-PT-14-ReachabilityCardinality-01 3008650 t fired, 37415 attempts, .
66 EF FNDP 19/705 0/5 Medical-PT-14-ReachabilityCardinality-12 3207314 t fired, 40350 attempts, .
76 EF EXCL 5/1194 17/32 Medical-PT-14-ReachabilityCardinality-13 3508202 m, 701640 m/sec, 3508213 t fired, .
Time elapsed: 21 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 24/580 0/5 Medical-PT-14-ReachabilityCardinality-09 4052466 t fired, 53461 attempts, .
53 EF FNDP 24/700 0/5 Medical-PT-14-ReachabilityCardinality-01 3778960 t fired, 46392 attempts, .
66 EF FNDP 24/700 0/5 Medical-PT-14-ReachabilityCardinality-12 3992598 t fired, 49774 attempts, .
76 EF EXCL 10/1194 30/32 Medical-PT-14-ReachabilityCardinality-13 6408829 m, 580125 m/sec, 6408840 t fired, .
Time elapsed: 26 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 76 (type EXCL) for Medical-PT-14-ReachabilityCardinality-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 29/575 0/5 Medical-PT-14-ReachabilityCardinality-09 5079534 t fired, 66014 attempts, .
53 EF FNDP 29/695 0/5 Medical-PT-14-ReachabilityCardinality-01 4737035 t fired, 57388 attempts, .
66 EF FNDP 29/695 0/5 Medical-PT-14-ReachabilityCardinality-12 5015538 t fired, 61934 attempts, .
Time elapsed: 31 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 78 (type EXCL) for 27 Medical-PT-14-ReachabilityCardinality-09
lola: time limit : 1784 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 2 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 34/570 0/5 Medical-PT-14-ReachabilityCardinality-09 5937398 t fired, 76328 attempts, .
53 EF FNDP 34/690 0/5 Medical-PT-14-ReachabilityCardinality-01 5476055 t fired, 65872 attempts, .
66 EF FNDP 34/690 0/5 Medical-PT-14-ReachabilityCardinality-12 5870446 t fired, 71915 attempts, .
78 EF EXCL 5/1784 15/32 Medical-PT-14-ReachabilityCardinality-09 3171916 m, 634383 m/sec, 3171927 t fired, .
Time elapsed: 36 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 2 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 39/565 0/5 Medical-PT-14-ReachabilityCardinality-09 6764054 t fired, 86242 attempts, .
53 EF FNDP 39/685 0/5 Medical-PT-14-ReachabilityCardinality-01 6273754 t fired, 74836 attempts, .
66 EF FNDP 39/685 0/5 Medical-PT-14-ReachabilityCardinality-12 6658495 t fired, 81137 attempts, .
78 EF EXCL 10/1784 29/32 Medical-PT-14-ReachabilityCardinality-09 6235614 m, 612739 m/sec, 6235625 t fired, .
Time elapsed: 41 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 78 (type EXCL) for Medical-PT-14-ReachabilityCardinality-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 44/560 0/5 Medical-PT-14-ReachabilityCardinality-09 7775875 t fired, 98209 attempts, .
53 EF FNDP 44/680 0/5 Medical-PT-14-ReachabilityCardinality-01 7142319 t fired, 84464 attempts, .
66 EF FNDP 44/680 0/5 Medical-PT-14-ReachabilityCardinality-12 7544418 t fired, 91406 attempts, .
Time elapsed: 46 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 70 (type EXCL) for 36 Medical-PT-14-ReachabilityCardinality-12
lola: time limit : 3554 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 2 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 49/555 0/5 Medical-PT-14-ReachabilityCardinality-09 8653769 t fired, 108479 attempts, .
53 EF FNDP 49/675 0/5 Medical-PT-14-ReachabilityCardinality-01 7884705 t fired, 92694 attempts, .
66 EF FNDP 49/675 0/5 Medical-PT-14-ReachabilityCardinality-12 8349484 t fired, 100688 attempts, .
70 EF EXCL 5/3554 16/32 Medical-PT-14-ReachabilityCardinality-12 3358476 m, 671695 m/sec, 3358486 t fired, .
Time elapsed: 51 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 2 0 1 0 0 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 54/550 0/5 Medical-PT-14-ReachabilityCardinality-09 9506609 t fired, 118315 attempts, .
53 EF FNDP 54/670 0/5 Medical-PT-14-ReachabilityCardinality-01 8672372 t fired, 101430 attempts, .
66 EF FNDP 54/670 0/5 Medical-PT-14-ReachabilityCardinality-12 9132555 t fired, 109525 attempts, .
70 EF EXCL 10/3554 29/32 Medical-PT-14-ReachabilityCardinality-12 6198319 m, 567968 m/sec, 6198330 t fired, .
Time elapsed: 56 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 70 (type EXCL) for Medical-PT-14-ReachabilityCardinality-12 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 59/545 0/5 Medical-PT-14-ReachabilityCardinality-09 10442762 t fired, 129249 attempts, .
53 EF FNDP 59/665 0/5 Medical-PT-14-ReachabilityCardinality-01 9512422 t fired, 110650 attempts, .
66 EF FNDP 59/665 0/5 Medical-PT-14-ReachabilityCardinality-12 10040242 t fired, 119913 attempts, .
Time elapsed: 61 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 51 (type FNDP) for 39 Medical-PT-14-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 64/840 0/5 Medical-PT-14-ReachabilityCardinality-09 11245937 t fired, 138628 attempts, .
51 EF FNDP 5/884 0/5 Medical-PT-14-ReachabilityCardinality-13 850708 t fired, 10848 attempts, .
53 EF FNDP 64/840 0/5 Medical-PT-14-ReachabilityCardinality-01 10208920 t fired, 118323 attempts, .
66 EF FNDP 64/840 0/5 Medical-PT-14-ReachabilityCardinality-12 10787250 t fired, 128407 attempts, .
Time elapsed: 66 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 69/835 0/5 Medical-PT-14-ReachabilityCardinality-09 11966624 t fired, 146891 attempts, .
51 EF FNDP 10/879 0/5 Medical-PT-14-ReachabilityCardinality-13 1742428 t fired, 21391 attempts, .
53 EF FNDP 69/835 0/5 Medical-PT-14-ReachabilityCardinality-01 10856750 t fired, 125421 attempts, .
66 EF FNDP 69/835 0/5 Medical-PT-14-ReachabilityCardinality-12 11530810 t fired, 136876 attempts, .
Time elapsed: 71 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 74/830 0/5 Medical-PT-14-ReachabilityCardinality-09 12714646 t fired, 155534 attempts, .
51 EF FNDP 15/874 0/5 Medical-PT-14-ReachabilityCardinality-13 2540397 t fired, 30567 attempts, .
53 EF FNDP 74/830 0/5 Medical-PT-14-ReachabilityCardinality-01 11565130 t fired, 133192 attempts, .
66 EF FNDP 74/830 0/5 Medical-PT-14-ReachabilityCardinality-12 12235611 t fired, 144834 attempts, .
Time elapsed: 76 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 79/825 0/5 Medical-PT-14-ReachabilityCardinality-09 13406884 t fired, 163538 attempts, .
51 EF FNDP 20/869 0/5 Medical-PT-14-ReachabilityCardinality-13 3306896 t fired, 39226 attempts, .
53 EF FNDP 79/825 0/5 Medical-PT-14-ReachabilityCardinality-01 12268873 t fired, 140899 attempts, .
66 EF FNDP 79/825 0/5 Medical-PT-14-ReachabilityCardinality-12 13016035 t fired, 153624 attempts, .
Time elapsed: 81 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 84/820 0/5 Medical-PT-14-ReachabilityCardinality-09 14204167 t fired, 172613 attempts, .
51 EF FNDP 25/864 0/5 Medical-PT-14-ReachabilityCardinality-13 4044187 t fired, 47421 attempts, .
53 EF FNDP 84/820 0/5 Medical-PT-14-ReachabilityCardinality-01 12935586 t fired, 148132 attempts, .
66 EF FNDP 84/820 0/5 Medical-PT-14-ReachabilityCardinality-12 13733195 t fired, 161629 attempts, .
Time elapsed: 86 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 89/815 0/5 Medical-PT-14-ReachabilityCardinality-09 14888261 t fired, 180447 attempts, .
51 EF FNDP 30/859 0/5 Medical-PT-14-ReachabilityCardinality-13 4837464 t fired, 56153 attempts, .
53 EF FNDP 89/815 0/5 Medical-PT-14-ReachabilityCardinality-01 13619412 t fired, 155620 attempts, .
66 EF FNDP 89/815 0/5 Medical-PT-14-ReachabilityCardinality-12 14467540 t fired, 169930 attempts, .
Time elapsed: 91 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 94/810 0/5 Medical-PT-14-ReachabilityCardinality-09 15641960 t fired, 189038 attempts, .
51 EF FNDP 35/854 0/5 Medical-PT-14-ReachabilityCardinality-13 5637272 t fired, 64834 attempts, .
53 EF FNDP 94/810 0/5 Medical-PT-14-ReachabilityCardinality-01 14306459 t fired, 162972 attempts, .
66 EF FNDP 94/810 0/5 Medical-PT-14-ReachabilityCardinality-12 15208601 t fired, 178244 attempts, .
Time elapsed: 96 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 99/805 0/5 Medical-PT-14-ReachabilityCardinality-09 16354121 t fired, 197135 attempts, .
51 EF FNDP 40/849 0/5 Medical-PT-14-ReachabilityCardinality-13 6408367 t fired, 73271 attempts, .
53 EF FNDP 99/805 0/5 Medical-PT-14-ReachabilityCardinality-01 15010115 t fired, 170621 attempts, .
66 EF FNDP 99/805 0/5 Medical-PT-14-ReachabilityCardinality-12 15921588 t fired, 186221 attempts, .
Time elapsed: 101 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 104/800 0/5 Medical-PT-14-ReachabilityCardinality-09 17083803 t fired, 205393 attempts, .
51 EF FNDP 45/844 0/5 Medical-PT-14-ReachabilityCardinality-13 7197924 t fired, 81925 attempts, .
53 EF FNDP 104/800 0/5 Medical-PT-14-ReachabilityCardinality-01 15642445 t fired, 177517 attempts, .
66 EF FNDP 104/800 0/5 Medical-PT-14-ReachabilityCardinality-12 16637030 t fired, 194285 attempts, .
Time elapsed: 106 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 109/795 0/5 Medical-PT-14-ReachabilityCardinality-09 17862058 t fired, 214326 attempts, .
51 EF FNDP 50/839 0/5 Medical-PT-14-ReachabilityCardinality-13 8021946 t fired, 90833 attempts, .
53 EF FNDP 109/795 0/5 Medical-PT-14-ReachabilityCardinality-01 16272579 t fired, 184262 attempts, .
66 EF FNDP 109/795 0/5 Medical-PT-14-ReachabilityCardinality-12 17351150 t fired, 202303 attempts, .
Time elapsed: 111 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 114/790 0/5 Medical-PT-14-ReachabilityCardinality-09 18602698 t fired, 222773 attempts, .
51 EF FNDP 55/834 0/5 Medical-PT-14-ReachabilityCardinality-13 8797444 t fired, 99205 attempts, .
53 EF FNDP 114/790 0/5 Medical-PT-14-ReachabilityCardinality-01 16971055 t fired, 191813 attempts, .
66 EF FNDP 114/790 0/5 Medical-PT-14-ReachabilityCardinality-12 18094677 t fired, 210574 attempts, .
Time elapsed: 116 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 119/785 0/5 Medical-PT-14-ReachabilityCardinality-09 19377982 t fired, 231574 attempts, .
51 EF FNDP 60/829 0/5 Medical-PT-14-ReachabilityCardinality-13 9592431 t fired, 107756 attempts, .
53 EF FNDP 119/785 0/5 Medical-PT-14-ReachabilityCardinality-01 17692822 t fired, 199583 attempts, .
66 EF FNDP 119/785 0/5 Medical-PT-14-ReachabilityCardinality-12 18781639 t fired, 218325 attempts, .
Time elapsed: 121 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 124/780 0/5 Medical-PT-14-ReachabilityCardinality-09 20042338 t fired, 239100 attempts, .
51 EF FNDP 65/824 0/5 Medical-PT-14-ReachabilityCardinality-13 10389329 t fired, 116408 attempts, .
53 EF FNDP 124/780 0/5 Medical-PT-14-ReachabilityCardinality-01 18437984 t fired, 207489 attempts, .
66 EF FNDP 124/780 0/5 Medical-PT-14-ReachabilityCardinality-12 19531209 t fired, 226626 attempts, .
Time elapsed: 126 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 129/775 0/5 Medical-PT-14-ReachabilityCardinality-09 20779059 t fired, 247351 attempts, .
51 EF FNDP 70/819 0/5 Medical-PT-14-ReachabilityCardinality-13 11247184 t fired, 125577 attempts, .
53 EF FNDP 129/775 0/5 Medical-PT-14-ReachabilityCardinality-01 19187398 t fired, 215481 attempts, .
66 EF FNDP 129/775 0/5 Medical-PT-14-ReachabilityCardinality-12 20280146 t fired, 234992 attempts, .
Time elapsed: 131 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 134/770 0/5 Medical-PT-14-ReachabilityCardinality-09 21575592 t fired, 256365 attempts, .
51 EF FNDP 75/814 0/5 Medical-PT-14-ReachabilityCardinality-13 12014913 t fired, 133876 attempts, .
53 EF FNDP 134/770 0/5 Medical-PT-14-ReachabilityCardinality-01 19876739 t fired, 222826 attempts, .
66 EF FNDP 134/770 0/5 Medical-PT-14-ReachabilityCardinality-12 20942963 t fired, 242394 attempts, .
Time elapsed: 136 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 139/765 0/5 Medical-PT-14-ReachabilityCardinality-09 22343410 t fired, 265008 attempts, .
51 EF FNDP 80/809 0/5 Medical-PT-14-ReachabilityCardinality-13 12780412 t fired, 142108 attempts, .
53 EF FNDP 139/765 0/5 Medical-PT-14-ReachabilityCardinality-01 20552104 t fired, 230113 attempts, .
66 EF FNDP 139/765 0/5 Medical-PT-14-ReachabilityCardinality-12 21627829 t fired, 250037 attempts, .
Time elapsed: 141 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 144/760 0/5 Medical-PT-14-ReachabilityCardinality-09 23010516 t fired, 272501 attempts, .
51 EF FNDP 85/804 0/5 Medical-PT-14-ReachabilityCardinality-13 13523366 t fired, 150086 attempts, .
53 EF FNDP 144/760 0/5 Medical-PT-14-ReachabilityCardinality-01 21207117 t fired, 237086 attempts, .
66 EF FNDP 144/760 0/5 Medical-PT-14-ReachabilityCardinality-12 22398702 t fired, 258482 attempts, .
Time elapsed: 146 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 149/755 0/5 Medical-PT-14-ReachabilityCardinality-09 23729292 t fired, 280632 attempts, .
51 EF FNDP 90/799 0/5 Medical-PT-14-ReachabilityCardinality-13 14335413 t fired, 158639 attempts, .
53 EF FNDP 149/755 0/5 Medical-PT-14-ReachabilityCardinality-01 21914819 t fired, 244680 attempts, .
66 EF FNDP 149/755 0/5 Medical-PT-14-ReachabilityCardinality-12 23075231 t fired, 265990 attempts, .
Time elapsed: 151 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 154/750 0/5 Medical-PT-14-ReachabilityCardinality-09 24436527 t fired, 288505 attempts, .
51 EF FNDP 95/794 0/5 Medical-PT-14-ReachabilityCardinality-13 15124235 t fired, 167033 attempts, .
53 EF FNDP 154/750 0/5 Medical-PT-14-ReachabilityCardinality-01 22592548 t fired, 251928 attempts, .
66 EF FNDP 154/750 0/5 Medical-PT-14-ReachabilityCardinality-12 23755097 t fired, 273506 attempts, .
Time elapsed: 156 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 159/745 0/5 Medical-PT-14-ReachabilityCardinality-09 25153312 t fired, 296593 attempts, .
51 EF FNDP 100/789 0/5 Medical-PT-14-ReachabilityCardinality-13 15871504 t fired, 174913 attempts, .
53 EF FNDP 159/745 0/5 Medical-PT-14-ReachabilityCardinality-01 23267673 t fired, 259192 attempts, .
66 EF FNDP 159/745 0/5 Medical-PT-14-ReachabilityCardinality-12 24456576 t fired, 281286 attempts, .
Time elapsed: 161 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 164/740 0/5 Medical-PT-14-ReachabilityCardinality-09 25883706 t fired, 304808 attempts, .
51 EF FNDP 105/784 0/5 Medical-PT-14-ReachabilityCardinality-13 16678790 t fired, 183565 attempts, .
53 EF FNDP 164/740 0/5 Medical-PT-14-ReachabilityCardinality-01 23934182 t fired, 266326 attempts, .
66 EF FNDP 164/740 0/5 Medical-PT-14-ReachabilityCardinality-12 25127221 t fired, 288668 attempts, .
Time elapsed: 166 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 169/735 0/5 Medical-PT-14-ReachabilityCardinality-09 26664735 t fired, 313547 attempts, .
51 EF FNDP 110/779 0/5 Medical-PT-14-ReachabilityCardinality-13 17469119 t fired, 191889 attempts, .
53 EF FNDP 169/735 0/5 Medical-PT-14-ReachabilityCardinality-01 24591419 t fired, 273278 attempts, .
66 EF FNDP 169/735 0/5 Medical-PT-14-ReachabilityCardinality-12 25877859 t fired, 296944 attempts, .
Time elapsed: 171 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 174/730 0/5 Medical-PT-14-ReachabilityCardinality-09 27400066 t fired, 321770 attempts, .
51 EF FNDP 115/774 0/5 Medical-PT-14-ReachabilityCardinality-13 18225201 t fired, 199809 attempts, .
53 EF FNDP 174/730 0/5 Medical-PT-14-ReachabilityCardinality-01 25254775 t fired, 280271 attempts, .
66 EF FNDP 174/730 0/5 Medical-PT-14-ReachabilityCardinality-12 26582761 t fired, 304779 attempts, .
Time elapsed: 176 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 179/725 0/5 Medical-PT-14-ReachabilityCardinality-09 28173993 t fired, 330326 attempts, .
51 EF FNDP 120/769 0/5 Medical-PT-14-ReachabilityCardinality-13 18929460 t fired, 207233 attempts, .
53 EF FNDP 179/725 0/5 Medical-PT-14-ReachabilityCardinality-01 25984483 t fired, 288004 attempts, .
66 EF FNDP 179/725 0/5 Medical-PT-14-ReachabilityCardinality-12 27245501 t fired, 312121 attempts, .
Time elapsed: 181 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 184/720 0/5 Medical-PT-14-ReachabilityCardinality-09 28920000 t fired, 338578 attempts, .
51 EF FNDP 125/764 0/5 Medical-PT-14-ReachabilityCardinality-13 19694547 t fired, 215275 attempts, .
53 EF FNDP 184/720 0/5 Medical-PT-14-ReachabilityCardinality-01 26617889 t fired, 294746 attempts, .
66 EF FNDP 184/720 0/5 Medical-PT-14-ReachabilityCardinality-12 27956448 t fired, 319968 attempts, .
Time elapsed: 186 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 189/715 0/5 Medical-PT-14-ReachabilityCardinality-09 29671894 t fired, 346881 attempts, .
51 EF FNDP 130/759 0/5 Medical-PT-14-ReachabilityCardinality-13 20449433 t fired, 223322 attempts, .
53 EF FNDP 189/715 0/5 Medical-PT-14-ReachabilityCardinality-01 27258082 t fired, 301626 attempts, .
66 EF FNDP 189/715 0/5 Medical-PT-14-ReachabilityCardinality-12 28668950 t fired, 327768 attempts, .
Time elapsed: 191 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 194/710 0/5 Medical-PT-14-ReachabilityCardinality-09 30402353 t fired, 355075 attempts, .
51 EF FNDP 135/754 0/5 Medical-PT-14-ReachabilityCardinality-13 21209331 t fired, 231251 attempts, .
53 EF FNDP 194/710 0/5 Medical-PT-14-ReachabilityCardinality-01 27977272 t fired, 309325 attempts, .
66 EF FNDP 194/710 0/5 Medical-PT-14-ReachabilityCardinality-12 29371429 t fired, 335577 attempts, .
Time elapsed: 196 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 199/705 0/5 Medical-PT-14-ReachabilityCardinality-09 31111851 t fired, 362993 attempts, .
51 EF FNDP 140/749 0/5 Medical-PT-14-ReachabilityCardinality-13 22009202 t fired, 239577 attempts, .
53 EF FNDP 199/705 0/5 Medical-PT-14-ReachabilityCardinality-01 28639682 t fired, 316395 attempts, .
66 EF FNDP 199/705 0/5 Medical-PT-14-ReachabilityCardinality-12 30091819 t fired, 343547 attempts, .
Time elapsed: 201 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 204/700 0/5 Medical-PT-14-ReachabilityCardinality-09 31853950 t fired, 371228 attempts, .
51 EF FNDP 145/744 0/5 Medical-PT-14-ReachabilityCardinality-13 22754543 t fired, 247495 attempts, .
53 EF FNDP 204/700 0/5 Medical-PT-14-ReachabilityCardinality-01 29342310 t fired, 323938 attempts, .
66 EF FNDP 204/700 0/5 Medical-PT-14-ReachabilityCardinality-12 30788632 t fired, 351165 attempts, .
Time elapsed: 206 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 209/695 0/5 Medical-PT-14-ReachabilityCardinality-09 32589317 t fired, 379453 attempts, .
51 EF FNDP 150/739 0/5 Medical-PT-14-ReachabilityCardinality-13 23519977 t fired, 255526 attempts, .
53 EF FNDP 209/695 0/5 Medical-PT-14-ReachabilityCardinality-01 30023323 t fired, 331168 attempts, .
66 EF FNDP 209/695 0/5 Medical-PT-14-ReachabilityCardinality-12 31456183 t fired, 358557 attempts, .
Time elapsed: 211 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 214/690 0/5 Medical-PT-14-ReachabilityCardinality-09 33307114 t fired, 387459 attempts, .
51 EF FNDP 155/734 0/5 Medical-PT-14-ReachabilityCardinality-13 24308239 t fired, 263862 attempts, .
53 EF FNDP 214/690 0/5 Medical-PT-14-ReachabilityCardinality-01 30719051 t fired, 338639 attempts, .
66 EF FNDP 214/690 0/5 Medical-PT-14-ReachabilityCardinality-12 32154089 t fired, 366203 attempts, .
Time elapsed: 216 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 219/685 0/5 Medical-PT-14-ReachabilityCardinality-09 34047632 t fired, 395622 attempts, .
51 EF FNDP 160/729 0/5 Medical-PT-14-ReachabilityCardinality-13 25053107 t fired, 271645 attempts, .
53 EF FNDP 219/685 0/5 Medical-PT-14-ReachabilityCardinality-01 31415833 t fired, 345965 attempts, .
66 EF FNDP 219/685 0/5 Medical-PT-14-ReachabilityCardinality-12 32828524 t fired, 373549 attempts, .
Time elapsed: 221 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 224/680 0/5 Medical-PT-14-ReachabilityCardinality-09 34758039 t fired, 403429 attempts, .
51 EF FNDP 165/724 0/5 Medical-PT-14-ReachabilityCardinality-13 25787939 t fired, 279409 attempts, .
53 EF FNDP 224/680 0/5 Medical-PT-14-ReachabilityCardinality-01 32149613 t fired, 353779 attempts, .
66 EF FNDP 224/680 0/5 Medical-PT-14-ReachabilityCardinality-12 33536441 t fired, 381351 attempts, .
Time elapsed: 226 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 229/675 0/5 Medical-PT-14-ReachabilityCardinality-09 35460558 t fired, 411269 attempts, .
51 EF FNDP 170/719 0/5 Medical-PT-14-ReachabilityCardinality-13 26539282 t fired, 287271 attempts, .
53 EF FNDP 229/675 0/5 Medical-PT-14-ReachabilityCardinality-01 32844603 t fired, 361131 attempts, .
66 EF FNDP 229/675 0/5 Medical-PT-14-ReachabilityCardinality-12 34317467 t fired, 389933 attempts, .
Time elapsed: 231 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 234/670 0/5 Medical-PT-14-ReachabilityCardinality-09 36154662 t fired, 418896 attempts, .
51 EF FNDP 175/714 0/5 Medical-PT-14-ReachabilityCardinality-13 27342561 t fired, 295729 attempts, .
53 EF FNDP 234/670 0/5 Medical-PT-14-ReachabilityCardinality-01 33550326 t fired, 368549 attempts, .
66 EF FNDP 234/670 0/5 Medical-PT-14-ReachabilityCardinality-12 34999143 t fired, 397448 attempts, .
Time elapsed: 236 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 239/665 0/5 Medical-PT-14-ReachabilityCardinality-09 36834705 t fired, 426413 attempts, .
51 EF FNDP 180/709 0/5 Medical-PT-14-ReachabilityCardinality-13 28160894 t fired, 304385 attempts, .
53 EF FNDP 239/665 0/5 Medical-PT-14-ReachabilityCardinality-01 34259298 t fired, 376116 attempts, .
66 EF FNDP 239/665 0/5 Medical-PT-14-ReachabilityCardinality-12 35711046 t fired, 405283 attempts, .
Time elapsed: 241 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 244/660 0/5 Medical-PT-14-ReachabilityCardinality-09 37618657 t fired, 435101 attempts, .
51 EF FNDP 185/704 0/5 Medical-PT-14-ReachabilityCardinality-13 28915278 t fired, 312304 attempts, .
53 EF FNDP 244/660 0/5 Medical-PT-14-ReachabilityCardinality-01 34944542 t fired, 383289 attempts, .
66 EF FNDP 244/660 0/5 Medical-PT-14-ReachabilityCardinality-12 36465236 t fired, 413573 attempts, .
Time elapsed: 246 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 249/655 0/5 Medical-PT-14-ReachabilityCardinality-09 38364874 t fired, 443408 attempts, .
51 EF FNDP 190/699 0/5 Medical-PT-14-ReachabilityCardinality-13 29669822 t fired, 320171 attempts, .
53 EF FNDP 249/655 0/5 Medical-PT-14-ReachabilityCardinality-01 35608149 t fired, 390238 attempts, .
66 EF FNDP 249/655 0/5 Medical-PT-14-ReachabilityCardinality-12 37146291 t fired, 420990 attempts, .
Time elapsed: 251 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 254/650 0/5 Medical-PT-14-ReachabilityCardinality-09 39126344 t fired, 451799 attempts, .
51 EF FNDP 195/694 0/5 Medical-PT-14-ReachabilityCardinality-13 30407499 t fired, 327854 attempts, .
53 EF FNDP 254/650 0/5 Medical-PT-14-ReachabilityCardinality-01 36273606 t fired, 397226 attempts, .
66 EF FNDP 254/650 0/5 Medical-PT-14-ReachabilityCardinality-12 37819012 t fired, 428405 attempts, .
Time elapsed: 256 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 259/645 0/5 Medical-PT-14-ReachabilityCardinality-09 39885246 t fired, 460139 attempts, .
51 EF FNDP 200/689 0/5 Medical-PT-14-ReachabilityCardinality-13 31151113 t fired, 335664 attempts, .
53 EF FNDP 259/645 0/5 Medical-PT-14-ReachabilityCardinality-01 36940589 t fired, 404284 attempts, .
66 EF FNDP 259/645 0/5 Medical-PT-14-ReachabilityCardinality-12 38519528 t fired, 436000 attempts, .
Time elapsed: 261 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 264/640 0/5 Medical-PT-14-ReachabilityCardinality-09 40613129 t fired, 468242 attempts, .
51 EF FNDP 205/684 0/5 Medical-PT-14-ReachabilityCardinality-13 31992945 t fired, 344468 attempts, .
53 EF FNDP 264/640 0/5 Medical-PT-14-ReachabilityCardinality-01 37611526 t fired, 411370 attempts, .
66 EF FNDP 264/640 0/5 Medical-PT-14-ReachabilityCardinality-12 39225476 t fired, 443730 attempts, .
Time elapsed: 266 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 269/635 0/5 Medical-PT-14-ReachabilityCardinality-09 41405045 t fired, 476977 attempts, .
51 EF FNDP 210/679 0/5 Medical-PT-14-ReachabilityCardinality-13 32707754 t fired, 351961 attempts, .
53 EF FNDP 269/635 0/5 Medical-PT-14-ReachabilityCardinality-01 38371288 t fired, 419424 attempts, .
66 EF FNDP 269/635 0/5 Medical-PT-14-ReachabilityCardinality-12 39950746 t fired, 451733 attempts, .
Time elapsed: 271 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 274/630 0/5 Medical-PT-14-ReachabilityCardinality-09 42146671 t fired, 485157 attempts, .
51 EF FNDP 215/674 0/5 Medical-PT-14-ReachabilityCardinality-13 33472176 t fired, 359980 attempts, .
53 EF FNDP 274/630 0/5 Medical-PT-14-ReachabilityCardinality-01 39068134 t fired, 426633 attempts, .
66 EF FNDP 274/630 0/5 Medical-PT-14-ReachabilityCardinality-12 40688528 t fired, 459775 attempts, .
Time elapsed: 276 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 279/625 0/5 Medical-PT-14-ReachabilityCardinality-09 42913398 t fired, 493627 attempts, .
51 EF FNDP 220/669 0/5 Medical-PT-14-ReachabilityCardinality-13 34202517 t fired, 367515 attempts, .
53 EF FNDP 279/625 0/5 Medical-PT-14-ReachabilityCardinality-01 39742740 t fired, 433723 attempts, .
66 EF FNDP 279/625 0/5 Medical-PT-14-ReachabilityCardinality-12 41417215 t fired, 467710 attempts, .
Time elapsed: 281 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 284/620 0/5 Medical-PT-14-ReachabilityCardinality-09 43712391 t fired, 502495 attempts, .
51 EF FNDP 225/664 0/5 Medical-PT-14-ReachabilityCardinality-13 35000638 t fired, 375793 attempts, .
53 EF FNDP 284/620 0/5 Medical-PT-14-ReachabilityCardinality-01 40439743 t fired, 441065 attempts, .
66 EF FNDP 284/620 0/5 Medical-PT-14-ReachabilityCardinality-12 42151239 t fired, 475712 attempts, .
Time elapsed: 286 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 289/615 0/5 Medical-PT-14-ReachabilityCardinality-09 44502715 t fired, 511173 attempts, .
51 EF FNDP 230/659 0/5 Medical-PT-14-ReachabilityCardinality-13 35798105 t fired, 384072 attempts, .
53 EF FNDP 289/615 0/5 Medical-PT-14-ReachabilityCardinality-01 41107359 t fired, 448078 attempts, .
66 EF FNDP 289/615 0/5 Medical-PT-14-ReachabilityCardinality-12 42861804 t fired, 483515 attempts, .
Time elapsed: 291 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 294/610 0/5 Medical-PT-14-ReachabilityCardinality-09 45231116 t fired, 519250 attempts, .
51 EF FNDP 235/654 0/5 Medical-PT-14-ReachabilityCardinality-13 36540503 t fired, 391760 attempts, .
53 EF FNDP 294/610 0/5 Medical-PT-14-ReachabilityCardinality-01 41790639 t fired, 455245 attempts, .
66 EF FNDP 294/610 0/5 Medical-PT-14-ReachabilityCardinality-12 43588762 t fired, 491470 attempts, .
Time elapsed: 296 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 299/605 0/5 Medical-PT-14-ReachabilityCardinality-09 45982715 t fired, 527458 attempts, .
51 EF FNDP 240/649 0/5 Medical-PT-14-ReachabilityCardinality-13 37273809 t fired, 399474 attempts, .
53 EF FNDP 299/605 0/5 Medical-PT-14-ReachabilityCardinality-01 42497118 t fired, 462618 attempts, .
66 EF FNDP 299/605 0/5 Medical-PT-14-ReachabilityCardinality-12 44322087 t fired, 499453 attempts, .
Time elapsed: 301 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 304/600 0/5 Medical-PT-14-ReachabilityCardinality-09 46749565 t fired, 535854 attempts, .
51 EF FNDP 245/644 0/5 Medical-PT-14-ReachabilityCardinality-13 38008739 t fired, 407174 attempts, .
53 EF FNDP 304/600 0/5 Medical-PT-14-ReachabilityCardinality-01 43186469 t fired, 469846 attempts, .
66 EF FNDP 304/600 0/5 Medical-PT-14-ReachabilityCardinality-12 45013276 t fired, 506951 attempts, .
Time elapsed: 306 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 309/595 0/5 Medical-PT-14-ReachabilityCardinality-09 47516673 t fired, 544282 attempts, .
51 EF FNDP 250/639 0/5 Medical-PT-14-ReachabilityCardinality-13 38826745 t fired, 415656 attempts, .
53 EF FNDP 309/595 0/5 Medical-PT-14-ReachabilityCardinality-01 43843924 t fired, 476770 attempts, .
66 EF FNDP 309/595 0/5 Medical-PT-14-ReachabilityCardinality-12 45699800 t fired, 514440 attempts, .
Time elapsed: 311 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 314/590 0/5 Medical-PT-14-ReachabilityCardinality-09 48227399 t fired, 552186 attempts, .
51 EF FNDP 255/634 0/5 Medical-PT-14-ReachabilityCardinality-13 39643273 t fired, 424007 attempts, .
53 EF FNDP 314/590 0/5 Medical-PT-14-ReachabilityCardinality-01 44515724 t fired, 483873 attempts, .
66 EF FNDP 314/590 0/5 Medical-PT-14-ReachabilityCardinality-12 46436560 t fired, 522458 attempts, .
Time elapsed: 316 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 319/585 0/5 Medical-PT-14-ReachabilityCardinality-09 48970498 t fired, 560285 attempts, .
51 EF FNDP 260/629 0/5 Medical-PT-14-ReachabilityCardinality-13 40412183 t fired, 431962 attempts, .
53 EF FNDP 319/585 0/5 Medical-PT-14-ReachabilityCardinality-01 45187867 t fired, 490890 attempts, .
66 EF FNDP 319/585 0/5 Medical-PT-14-ReachabilityCardinality-12 47152769 t fired, 530230 attempts, .
Time elapsed: 321 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 324/580 0/5 Medical-PT-14-ReachabilityCardinality-09 49666857 t fired, 567884 attempts, .
51 EF FNDP 265/624 0/5 Medical-PT-14-ReachabilityCardinality-13 41206318 t fired, 440299 attempts, .
53 EF FNDP 324/580 0/5 Medical-PT-14-ReachabilityCardinality-01 45847457 t fired, 497821 attempts, .
66 EF FNDP 324/580 0/5 Medical-PT-14-ReachabilityCardinality-12 47834817 t fired, 537598 attempts, .
Time elapsed: 326 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 329/575 0/5 Medical-PT-14-ReachabilityCardinality-09 50396985 t fired, 575990 attempts, .
51 EF FNDP 270/619 0/5 Medical-PT-14-ReachabilityCardinality-13 41911934 t fired, 447608 attempts, .
53 EF FNDP 329/575 0/5 Medical-PT-14-ReachabilityCardinality-01 46545612 t fired, 505042 attempts, .
66 EF FNDP 329/575 0/5 Medical-PT-14-ReachabilityCardinality-12 48546061 t fired, 545234 attempts, .
Time elapsed: 331 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 334/570 0/5 Medical-PT-14-ReachabilityCardinality-09 51124944 t fired, 583954 attempts, .
51 EF FNDP 275/614 0/5 Medical-PT-14-ReachabilityCardinality-13 42709397 t fired, 455943 attempts, .
53 EF FNDP 334/570 0/5 Medical-PT-14-ReachabilityCardinality-01 47249083 t fired, 512444 attempts, .
66 EF FNDP 334/570 0/5 Medical-PT-14-ReachabilityCardinality-12 49226699 t fired, 552657 attempts, .
Time elapsed: 336 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 339/565 0/5 Medical-PT-14-ReachabilityCardinality-09 51879825 t fired, 592274 attempts, .
51 EF FNDP 280/609 0/5 Medical-PT-14-ReachabilityCardinality-13 43454786 t fired, 463679 attempts, .
53 EF FNDP 339/565 0/5 Medical-PT-14-ReachabilityCardinality-01 47932227 t fired, 519573 attempts, .
66 EF FNDP 339/565 0/5 Medical-PT-14-ReachabilityCardinality-12 49991845 t fired, 560882 attempts, .
Time elapsed: 341 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 344/560 0/5 Medical-PT-14-ReachabilityCardinality-09 52599478 t fired, 600157 attempts, .
51 EF FNDP 285/604 0/5 Medical-PT-14-ReachabilityCardinality-13 44242959 t fired, 471916 attempts, .
53 EF FNDP 344/560 0/5 Medical-PT-14-ReachabilityCardinality-01 48667098 t fired, 527336 attempts, .
66 EF FNDP 344/560 0/5 Medical-PT-14-ReachabilityCardinality-12 50644546 t fired, 568002 attempts, .
Time elapsed: 346 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 349/555 0/5 Medical-PT-14-ReachabilityCardinality-09 53342646 t fired, 608218 attempts, .
51 EF FNDP 290/599 0/5 Medical-PT-14-ReachabilityCardinality-13 45002954 t fired, 479820 attempts, .
53 EF FNDP 349/555 0/5 Medical-PT-14-ReachabilityCardinality-01 49357365 t fired, 534547 attempts, .
66 EF FNDP 349/555 0/5 Medical-PT-14-ReachabilityCardinality-12 51333580 t fired, 575459 attempts, .
Time elapsed: 351 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 354/550 0/5 Medical-PT-14-ReachabilityCardinality-09 54011752 t fired, 615534 attempts, .
51 EF FNDP 295/594 0/5 Medical-PT-14-ReachabilityCardinality-13 45789939 t fired, 487944 attempts, .
53 EF FNDP 354/550 0/5 Medical-PT-14-ReachabilityCardinality-01 50049315 t fired, 541828 attempts, .
66 EF FNDP 354/550 0/5 Medical-PT-14-ReachabilityCardinality-12 52058888 t fired, 583378 attempts, .
Time elapsed: 356 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 359/545 0/5 Medical-PT-14-ReachabilityCardinality-09 54711267 t fired, 623229 attempts, .
51 EF FNDP 300/589 0/5 Medical-PT-14-ReachabilityCardinality-13 46568913 t fired, 495973 attempts, .
53 EF FNDP 359/545 0/5 Medical-PT-14-ReachabilityCardinality-01 50762106 t fired, 549306 attempts, .
66 EF FNDP 359/545 0/5 Medical-PT-14-ReachabilityCardinality-12 52704329 t fired, 590425 attempts, .
Time elapsed: 361 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 364/540 0/5 Medical-PT-14-ReachabilityCardinality-09 55483915 t fired, 631727 attempts, .
51 EF FNDP 305/584 0/5 Medical-PT-14-ReachabilityCardinality-13 47364191 t fired, 504238 attempts, .
53 EF FNDP 364/540 0/5 Medical-PT-14-ReachabilityCardinality-01 51470598 t fired, 556792 attempts, .
66 EF FNDP 364/540 0/5 Medical-PT-14-ReachabilityCardinality-12 53454758 t fired, 598584 attempts, .
Time elapsed: 366 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 369/535 0/5 Medical-PT-14-ReachabilityCardinality-09 56186732 t fired, 639437 attempts, .
51 EF FNDP 310/579 0/5 Medical-PT-14-ReachabilityCardinality-13 48066574 t fired, 511479 attempts, .
53 EF FNDP 369/535 0/5 Medical-PT-14-ReachabilityCardinality-01 52133525 t fired, 563792 attempts, .
66 EF FNDP 369/535 0/5 Medical-PT-14-ReachabilityCardinality-12 54220442 t fired, 606938 attempts, .
Time elapsed: 371 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 374/530 0/5 Medical-PT-14-ReachabilityCardinality-09 56866457 t fired, 646966 attempts, .
51 EF FNDP 315/574 0/5 Medical-PT-14-ReachabilityCardinality-13 48838186 t fired, 519523 attempts, .
53 EF FNDP 374/530 0/5 Medical-PT-14-ReachabilityCardinality-01 52790591 t fired, 570722 attempts, .
66 EF FNDP 374/530 0/5 Medical-PT-14-ReachabilityCardinality-12 54943144 t fired, 614770 attempts, .
Time elapsed: 376 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 379/525 0/5 Medical-PT-14-ReachabilityCardinality-09 57594199 t fired, 654913 attempts, .
51 EF FNDP 320/569 0/5 Medical-PT-14-ReachabilityCardinality-13 49607086 t fired, 527438 attempts, .
53 EF FNDP 379/525 0/5 Medical-PT-14-ReachabilityCardinality-01 53478513 t fired, 577931 attempts, .
66 EF FNDP 379/525 0/5 Medical-PT-14-ReachabilityCardinality-12 55632674 t fired, 622119 attempts, .
Time elapsed: 381 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 384/520 0/5 Medical-PT-14-ReachabilityCardinality-09 58319657 t fired, 662930 attempts, .
51 EF FNDP 325/564 0/5 Medical-PT-14-ReachabilityCardinality-13 50345277 t fired, 535074 attempts, .
53 EF FNDP 384/520 0/5 Medical-PT-14-ReachabilityCardinality-01 54128669 t fired, 584776 attempts, .
66 EF FNDP 384/520 0/5 Medical-PT-14-ReachabilityCardinality-12 56376817 t fired, 630210 attempts, .
Time elapsed: 386 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 389/515 0/5 Medical-PT-14-ReachabilityCardinality-09 59063193 t fired, 671143 attempts, .
51 EF FNDP 330/559 0/5 Medical-PT-14-ReachabilityCardinality-13 51087840 t fired, 542787 attempts, .
53 EF FNDP 389/515 0/5 Medical-PT-14-ReachabilityCardinality-01 54812146 t fired, 591889 attempts, .
66 EF FNDP 389/515 0/5 Medical-PT-14-ReachabilityCardinality-12 57105724 t fired, 638134 attempts, .
Time elapsed: 391 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 394/510 0/5 Medical-PT-14-ReachabilityCardinality-09 59821084 t fired, 679397 attempts, .
51 EF FNDP 335/554 0/5 Medical-PT-14-ReachabilityCardinality-13 51906462 t fired, 551302 attempts, .
53 EF FNDP 394/510 0/5 Medical-PT-14-ReachabilityCardinality-01 55470983 t fired, 598770 attempts, .
66 EF FNDP 394/510 0/5 Medical-PT-14-ReachabilityCardinality-12 57860579 t fired, 646293 attempts, .
Time elapsed: 396 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 399/505 0/5 Medical-PT-14-ReachabilityCardinality-09 60551599 t fired, 687385 attempts, .
51 EF FNDP 340/549 0/5 Medical-PT-14-ReachabilityCardinality-13 52689173 t fired, 559350 attempts, .
53 EF FNDP 399/505 0/5 Medical-PT-14-ReachabilityCardinality-01 56120432 t fired, 605643 attempts, .
66 EF FNDP 399/505 0/5 Medical-PT-14-ReachabilityCardinality-12 58555290 t fired, 653829 attempts, .
Time elapsed: 401 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 404/500 0/5 Medical-PT-14-ReachabilityCardinality-09 61297674 t fired, 695530 attempts, .
51 EF FNDP 345/544 0/5 Medical-PT-14-ReachabilityCardinality-13 53511359 t fired, 567793 attempts, .
53 EF FNDP 404/500 0/5 Medical-PT-14-ReachabilityCardinality-01 56788505 t fired, 612634 attempts, .
66 EF FNDP 404/500 0/5 Medical-PT-14-ReachabilityCardinality-12 59278991 t fired, 661719 attempts, .
Time elapsed: 406 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 409/495 0/5 Medical-PT-14-ReachabilityCardinality-09 62108589 t fired, 704344 attempts, .
51 EF FNDP 350/539 0/5 Medical-PT-14-ReachabilityCardinality-13 54268607 t fired, 575509 attempts, .
53 EF FNDP 409/495 0/5 Medical-PT-14-ReachabilityCardinality-01 57477344 t fired, 619890 attempts, .
66 EF FNDP 409/495 0/5 Medical-PT-14-ReachabilityCardinality-12 59997610 t fired, 669634 attempts, .
Time elapsed: 411 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 414/490 0/5 Medical-PT-14-ReachabilityCardinality-09 62813001 t fired, 711999 attempts, .
51 EF FNDP 355/534 0/5 Medical-PT-14-ReachabilityCardinality-13 55037263 t fired, 583355 attempts, .
53 EF FNDP 414/490 0/5 Medical-PT-14-ReachabilityCardinality-01 58154779 t fired, 626997 attempts, .
66 EF FNDP 414/490 0/5 Medical-PT-14-ReachabilityCardinality-12 60710656 t fired, 677402 attempts, .
Time elapsed: 416 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 419/485 0/5 Medical-PT-14-ReachabilityCardinality-09 63525610 t fired, 719791 attempts, .
51 EF FNDP 360/529 0/5 Medical-PT-14-ReachabilityCardinality-13 55862311 t fired, 591909 attempts, .
53 EF FNDP 419/485 0/5 Medical-PT-14-ReachabilityCardinality-01 58783290 t fired, 633503 attempts, .
66 EF FNDP 419/485 0/5 Medical-PT-14-ReachabilityCardinality-12 61473398 t fired, 685638 attempts, .
Time elapsed: 421 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 424/480 0/5 Medical-PT-14-ReachabilityCardinality-09 64256174 t fired, 727806 attempts, .
51 EF FNDP 365/524 0/5 Medical-PT-14-ReachabilityCardinality-13 56669809 t fired, 600188 attempts, .
53 EF FNDP 424/480 0/5 Medical-PT-14-ReachabilityCardinality-01 59458276 t fired, 640513 attempts, .
66 EF FNDP 424/480 0/5 Medical-PT-14-ReachabilityCardinality-12 62166417 t fired, 693128 attempts, .
Time elapsed: 426 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 429/475 0/5 Medical-PT-14-ReachabilityCardinality-09 64928153 t fired, 735136 attempts, .
51 EF FNDP 370/519 0/5 Medical-PT-14-ReachabilityCardinality-13 57477839 t fired, 608558 attempts, .
53 EF FNDP 429/475 0/5 Medical-PT-14-ReachabilityCardinality-01 60128366 t fired, 647537 attempts, .
66 EF FNDP 429/475 0/5 Medical-PT-14-ReachabilityCardinality-12 62897080 t fired, 700979 attempts, .
Time elapsed: 431 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 434/470 0/5 Medical-PT-14-ReachabilityCardinality-09 65641385 t fired, 742938 attempts, .
51 EF FNDP 375/514 0/5 Medical-PT-14-ReachabilityCardinality-13 58206191 t fired, 616110 attempts, .
53 EF FNDP 434/470 0/5 Medical-PT-14-ReachabilityCardinality-01 60813243 t fired, 654782 attempts, .
66 EF FNDP 434/470 0/5 Medical-PT-14-ReachabilityCardinality-12 63648759 t fired, 709101 attempts, .
Time elapsed: 436 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 439/465 0/5 Medical-PT-14-ReachabilityCardinality-09 66287827 t fired, 750008 attempts, .
51 EF FNDP 380/509 0/5 Medical-PT-14-ReachabilityCardinality-13 58954380 t fired, 623879 attempts, .
53 EF FNDP 439/465 0/5 Medical-PT-14-ReachabilityCardinality-01 61528826 t fired, 662359 attempts, .
66 EF FNDP 439/465 0/5 Medical-PT-14-ReachabilityCardinality-12 64393187 t fired, 717117 attempts, .
Time elapsed: 441 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 444/460 0/5 Medical-PT-14-ReachabilityCardinality-09 67049941 t fired, 758247 attempts, .
51 EF FNDP 385/504 0/5 Medical-PT-14-ReachabilityCardinality-13 59743073 t fired, 632011 attempts, .
53 EF FNDP 444/460 0/5 Medical-PT-14-ReachabilityCardinality-01 62218578 t fired, 669613 attempts, .
66 EF FNDP 444/460 0/5 Medical-PT-14-ReachabilityCardinality-12 65119553 t fired, 724960 attempts, .
Time elapsed: 446 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 1 0 1 0 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 449/455 0/5 Medical-PT-14-ReachabilityCardinality-09 67777724 t fired, 766242 attempts, .
51 EF FNDP 390/499 0/5 Medical-PT-14-ReachabilityCardinality-13 60560752 t fired, 640405 attempts, .
53 EF FNDP 449/455 0/5 Medical-PT-14-ReachabilityCardinality-01 62862731 t fired, 676342 attempts, .
66 EF FNDP 449/455 0/5 Medical-PT-14-ReachabilityCardinality-12 65846782 t fired, 732828 attempts, .
Time elapsed: 451 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 49 (type FNDP) for Medical-PT-14-ReachabilityCardinality-09 (local timeout)
lola: CANCELED task # 53 (type FNDP) for Medical-PT-14-ReachabilityCardinality-01 (local timeout)
lola: CANCELED task # 66 (type FNDP) for Medical-PT-14-ReachabilityCardinality-12 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-14-ReachabilityCardinality-01: EF 0 3 0 0 1 1 1 0
Medical-PT-14-ReachabilityCardinality-09: AG 0 3 0 0 1 1 1 0
Medical-PT-14-ReachabilityCardinality-12: EF 0 3 0 0 1 1 1 0
Medical-PT-14-ReachabilityCardinality-13: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 395/494 0/5 Medical-PT-14-ReachabilityCardinality-13 61374348 t fired, 648677 attempts, .
Time elapsed: 456 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 66 (type FNDP) for Medical-PT-14-ReachabilityCardinality-12
lola: result : unknown
lola: fired transitions : 66585655
lola: tried executions : 740834
lola: time used : 454.000000
lola: memory pages used : 0
lola: FINISHED task # 53 (type FNDP) for Medical-PT-14-ReachabilityCardinality-01
lola: result : unknown
lola: fired transitions : 63569011
lola: tried executions : 683716
lola: time used : 454.000000
lola: memory pages used : 0
lola: FINISHED task # 49 (type FNDP) for Medical-PT-14-ReachabilityCardinality-09
lola: result : unknown
lola: fired transitions : 68512743
lola: tried executions : 774275
lola: time used : 454.000000
lola: memory pages used : 0
lola: LAUNCH task # 54 (type EQUN) for 3 Medical-PT-14-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 56 (type SRCH) for 3 Medical-PT-14-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SRCH) for 3 Medical-PT-14-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-54.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 54 (type EQUN) for Medical-PT-14-ReachabilityCardinality-01
lola: result : false
lola: CANCELED task # 56 (type SRCH) for Medical-PT-14-ReachabilityCardinality-01 (obsolete)
lola: CANCELED task # 58 (type SRCH) for Medical-PT-14-ReachabilityCardinality-01 (obsolete)
lola: LAUNCH task # 67 (type EQUN) for 36 Medical-PT-14-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: memory limit: 5 pages
lola: LAUNCH task # 69 (type SRCH) for 36 Medical-PT-14-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 71 (type SRCH) for 36 Medical-PT-14-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-67.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 67 (type EQUN) for Medical-PT-14-ReachabilityCardinality-12
lola: result : false
lola: CANCELED task # 69 (type SRCH) for Medical-PT-14-ReachabilityCardinality-12 (obsolete)
lola: CANCELED task # 71 (type SRCH) for Medical-PT-14-ReachabilityCardinality-12 (obsolete)
lola: LAUNCH task # 72 (type EQUN) for 27 Medical-PT-14-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: LAUNCH task # 77 (type SRCH) for 27 Medical-PT-14-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 79 (type SRCH) for 27 Medical-PT-14-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-72.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 72 (type EQUN) for Medical-PT-14-ReachabilityCardinality-09
lola: result : false
lola: CANCELED task # 77 (type SRCH) for Medical-PT-14-ReachabilityCardinality-09 (obsolete)
lola: CANCELED task # 79 (type SRCH) for Medical-PT-14-ReachabilityCardinality-09 (obsolete)
lola: LAUNCH task # 52 (type EQUN) for 39 Medical-PT-14-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 75 (type SRCH) for 39 Medical-PT-14-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 80 (type SRCH) for 39 Medical-PT-14-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-52.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 52 (type EQUN) for Medical-PT-14-ReachabilityCardinality-13
lola: result : false
lola: CANCELED task # 51 (type FNDP) for Medical-PT-14-ReachabilityCardinality-13 (obsolete)
lola: CANCELED task # 75 (type SRCH) for Medical-PT-14-ReachabilityCardinality-13 (obsolete)
lola: CANCELED task # 80 (type SRCH) for Medical-PT-14-ReachabilityCardinality-13 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-14-ReachabilityCardinality-00: AG true state equation
Medical-PT-14-ReachabilityCardinality-01: EF false state equation
Medical-PT-14-ReachabilityCardinality-02: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-03: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-04: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-05: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-06: INITIAL false preprocessing
Medical-PT-14-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-08: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-09: AG true state equation
Medical-PT-14-ReachabilityCardinality-10: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-11: AG false findpath
Medical-PT-14-ReachabilityCardinality-12: EF false state equation
Medical-PT-14-ReachabilityCardinality-13: AG true state equation
Medical-PT-14-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-14-ReachabilityCardinality-15: INITIAL true preprocessing
Time elapsed: 456 secs. Pages in use: 32
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Medical-PT-14"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lolaxred"
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-5348"
echo " Executing tool lolaxred"
echo " Input is Medical-PT-14, 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 r231-tall-167856416400702"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Medical-PT-14.tgz
mv Medical-PT-14 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 ;