About the Execution of LoLA for ASLink-PT-09a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2990.247 | 564603.00 | 565436.00 | 1297.40 | F?TFFFT?TT???TTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r004-tall-162037985600139.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is ASLink-PT-09a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r004-tall-162037985600139
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.8K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 81K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 01:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 22 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 839K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-09a-CTLCardinality-00
FORMULA_NAME ASLink-PT-09a-CTLCardinality-01
FORMULA_NAME ASLink-PT-09a-CTLCardinality-02
FORMULA_NAME ASLink-PT-09a-CTLCardinality-03
FORMULA_NAME ASLink-PT-09a-CTLCardinality-04
FORMULA_NAME ASLink-PT-09a-CTLCardinality-05
FORMULA_NAME ASLink-PT-09a-CTLCardinality-06
FORMULA_NAME ASLink-PT-09a-CTLCardinality-07
FORMULA_NAME ASLink-PT-09a-CTLCardinality-08
FORMULA_NAME ASLink-PT-09a-CTLCardinality-09
FORMULA_NAME ASLink-PT-09a-CTLCardinality-10
FORMULA_NAME ASLink-PT-09a-CTLCardinality-11
FORMULA_NAME ASLink-PT-09a-CTLCardinality-12
FORMULA_NAME ASLink-PT-09a-CTLCardinality-13
FORMULA_NAME ASLink-PT-09a-CTLCardinality-14
FORMULA_NAME ASLink-PT-09a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1620722102762
starting LoLA
BK_INPUT ASLink-PT-09a
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
FORMULA ASLink-PT-09a-CTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09a-CTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620722667365
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/CTLCardinality.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:391
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:388
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:478
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:550
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:469
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:340
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:388
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:547
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: LAUNCH task # 15 (type EXCL) for 6 ASLink-PT-09a-CTLCardinality-02
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: FINISHED task # 15 (type EXCL) for ASLink-PT-09a-CTLCardinality-02
lola: result : true
lola: markings : 399
lola: fired transitions : 400
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 4 (type EXCL) for 3 ASLink-PT-09a-CTLCardinality-01
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:754
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:814
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 1/199 1/32 ASLink-PT-09a-CTLCardinality-01 35407 m, 7081 m/sec, 153857 t fired, .
Time elapsed: 10 secs. Pages in use: 1
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 6/199 3/32 ASLink-PT-09a-CTLCardinality-01 338405 m, 60599 m/sec, 1296504 t fired, .
Time elapsed: 15 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 11/199 5/32 ASLink-PT-09a-CTLCardinality-01 641736 m, 60666 m/sec, 2443614 t fired, .
Time elapsed: 20 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 16/199 7/32 ASLink-PT-09a-CTLCardinality-01 938754 m, 59403 m/sec, 3600526 t fired, .
Time elapsed: 25 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 21/199 9/32 ASLink-PT-09a-CTLCardinality-01 1195017 m, 51252 m/sec, 4812566 t fired, .
Time elapsed: 30 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 26/199 11/32 ASLink-PT-09a-CTLCardinality-01 1449212 m, 50839 m/sec, 6023641 t fired, .
Time elapsed: 35 secs. Pages in use: 11
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 31/199 12/32 ASLink-PT-09a-CTLCardinality-01 1704313 m, 51020 m/sec, 7222830 t fired, .
Time elapsed: 40 secs. Pages in use: 12
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 36/199 14/32 ASLink-PT-09a-CTLCardinality-01 1964280 m, 51993 m/sec, 8421042 t fired, .
Time elapsed: 45 secs. Pages in use: 14
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 41/199 16/32 ASLink-PT-09a-CTLCardinality-01 2243077 m, 55759 m/sec, 9594241 t fired, .
Time elapsed: 50 secs. Pages in use: 16
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 46/199 18/32 ASLink-PT-09a-CTLCardinality-01 2519577 m, 55300 m/sec, 10760709 t fired, .
Time elapsed: 55 secs. Pages in use: 18
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 51/199 20/32 ASLink-PT-09a-CTLCardinality-01 2805518 m, 57188 m/sec, 11903351 t fired, .
Time elapsed: 60 secs. Pages in use: 20
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 56/199 22/32 ASLink-PT-09a-CTLCardinality-01 3083040 m, 55504 m/sec, 13067474 t fired, .
Time elapsed: 65 secs. Pages in use: 22
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 61/199 23/32 ASLink-PT-09a-CTLCardinality-01 3340714 m, 51534 m/sec, 14251363 t fired, .
Time elapsed: 70 secs. Pages in use: 23
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 66/199 25/32 ASLink-PT-09a-CTLCardinality-01 3604471 m, 52751 m/sec, 15418749 t fired, .
Time elapsed: 75 secs. Pages in use: 25
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 71/199 27/32 ASLink-PT-09a-CTLCardinality-01 3860932 m, 51292 m/sec, 16595950 t fired, .
Time elapsed: 80 secs. Pages in use: 27
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 76/199 29/32 ASLink-PT-09a-CTLCardinality-01 4123802 m, 52574 m/sec, 17754349 t fired, .
Time elapsed: 85 secs. Pages in use: 29
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 81/199 30/32 ASLink-PT-09a-CTLCardinality-01 4389627 m, 53165 m/sec, 18916305 t fired, .
Time elapsed: 90 secs. Pages in use: 30
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 CTL EXCL 86/199 32/32 ASLink-PT-09a-CTLCardinality-01 4653591 m, 52792 m/sec, 20098894 t fired, .
Time elapsed: 95 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 4 (type EXCL) for ASLink-PT-09a-CTLCardinality-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-04: AXAF 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-13: DISJ 0 2 0 0 2 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-15: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 100 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 60 (type EXCL) for 20 ASLink-PT-09a-CTLCardinality-04
lola: time limit : 205 sec
lola: memory limit: 32 pages
lola: FINISHED task # 60 (type EXCL) for ASLink-PT-09a-CTLCardinality-04
lola: result : true
lola: markings : 39
lola: fired transitions : 38
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 58 (type EXCL) for 57 ASLink-PT-09a-CTLCardinality-15
lola: time limit : 218 sec
lola: memory limit: 32 pages
lola: FINISHED task # 58 (type EXCL) for ASLink-PT-09a-CTLCardinality-15
lola: result : false
lola: markings : 303
lola: fired transitions : 302
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 50 (type EXCL) for 47 ASLink-PT-09a-CTLCardinality-13
lola: time limit : 233 sec
lola: memory limit: 32 pages
lola: FINISHED task # 50 (type EXCL) for ASLink-PT-09a-CTLCardinality-13
lola: result : true
lola: markings : 303
lola: fired transitions : 302
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 45 (type EXCL) for 44 ASLink-PT-09a-CTLCardinality-12
lola: time limit : 269 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 5/269 3/32 ASLink-PT-09a-CTLCardinality-12 287191 m, 57438 m/sec, 950445 t fired, .
Time elapsed: 105 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 10/269 5/32 ASLink-PT-09a-CTLCardinality-12 584305 m, 59422 m/sec, 1857886 t fired, .
Time elapsed: 110 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 15/269 8/32 ASLink-PT-09a-CTLCardinality-12 885477 m, 60234 m/sec, 2755052 t fired, .
Time elapsed: 115 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 20/269 10/32 ASLink-PT-09a-CTLCardinality-12 1179203 m, 58745 m/sec, 3670176 t fired, .
Time elapsed: 120 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 25/269 12/32 ASLink-PT-09a-CTLCardinality-12 1443639 m, 52887 m/sec, 4594980 t fired, .
Time elapsed: 125 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 30/269 15/32 ASLink-PT-09a-CTLCardinality-12 1707259 m, 52724 m/sec, 5519654 t fired, .
Time elapsed: 130 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 35/269 17/32 ASLink-PT-09a-CTLCardinality-12 1968689 m, 52286 m/sec, 6464943 t fired, .
Time elapsed: 135 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 40/269 19/32 ASLink-PT-09a-CTLCardinality-12 2221005 m, 50463 m/sec, 7400087 t fired, .
Time elapsed: 140 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 45/269 21/32 ASLink-PT-09a-CTLCardinality-12 2490418 m, 53882 m/sec, 8324021 t fired, .
Time elapsed: 145 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 50/269 23/32 ASLink-PT-09a-CTLCardinality-12 2743046 m, 50525 m/sec, 9263809 t fired, .
Time elapsed: 150 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 55/269 25/32 ASLink-PT-09a-CTLCardinality-12 2994605 m, 50311 m/sec, 10208897 t fired, .
Time elapsed: 155 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 60/269 27/32 ASLink-PT-09a-CTLCardinality-12 3254939 m, 52066 m/sec, 11139199 t fired, .
Time elapsed: 160 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 65/269 29/32 ASLink-PT-09a-CTLCardinality-12 3516876 m, 52387 m/sec, 12065346 t fired, .
Time elapsed: 165 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
45 CTL EXCL 70/269 31/32 ASLink-PT-09a-CTLCardinality-12 3764796 m, 49584 m/sec, 13005928 t fired, .
Time elapsed: 170 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 45 (type EXCL) for ASLink-PT-09a-CTLCardinality-12 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 175 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 42 (type EXCL) for 41 ASLink-PT-09a-CTLCardinality-11
lola: time limit : 285 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 5/285 4/32 ASLink-PT-09a-CTLCardinality-11 378117 m, 75623 m/sec, 864359 t fired, .
Time elapsed: 180 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 10/285 7/32 ASLink-PT-09a-CTLCardinality-11 768104 m, 77997 m/sec, 1703201 t fired, .
Time elapsed: 185 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 15/285 10/32 ASLink-PT-09a-CTLCardinality-11 1139131 m, 74205 m/sec, 2561649 t fired, .
Time elapsed: 190 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 20/285 12/32 ASLink-PT-09a-CTLCardinality-11 1432692 m, 58712 m/sec, 3483348 t fired, .
Time elapsed: 195 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 25/285 15/32 ASLink-PT-09a-CTLCardinality-11 1807313 m, 74924 m/sec, 4319247 t fired, .
Time elapsed: 200 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 30/285 18/32 ASLink-PT-09a-CTLCardinality-11 2151543 m, 68846 m/sec, 5186683 t fired, .
Time elapsed: 205 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 35/285 20/32 ASLink-PT-09a-CTLCardinality-11 2437429 m, 57177 m/sec, 6108865 t fired, .
Time elapsed: 210 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 40/285 23/32 ASLink-PT-09a-CTLCardinality-11 2833098 m, 79133 m/sec, 6924653 t fired, .
Time elapsed: 215 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 45/285 26/32 ASLink-PT-09a-CTLCardinality-11 3160932 m, 65566 m/sec, 7807303 t fired, .
Time elapsed: 220 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 50/285 28/32 ASLink-PT-09a-CTLCardinality-11 3455487 m, 58911 m/sec, 8716214 t fired, .
Time elapsed: 225 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
42 CTL EXCL 55/285 31/32 ASLink-PT-09a-CTLCardinality-11 3795909 m, 68084 m/sec, 9612831 t fired, .
Time elapsed: 230 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 42 (type EXCL) for ASLink-PT-09a-CTLCardinality-11 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 235 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 39 (type EXCL) for 38 ASLink-PT-09a-CTLCardinality-10
lola: time limit : 305 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 5/305 2/32 ASLink-PT-09a-CTLCardinality-10 162031 m, 32406 m/sec, 990084 t fired, .
Time elapsed: 240 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 10/305 2/32 ASLink-PT-09a-CTLCardinality-10 300294 m, 27652 m/sec, 2001159 t fired, .
Time elapsed: 245 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 15/305 3/32 ASLink-PT-09a-CTLCardinality-10 436697 m, 27280 m/sec, 3011499 t fired, .
Time elapsed: 250 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 20/305 4/32 ASLink-PT-09a-CTLCardinality-10 560746 m, 24809 m/sec, 4028052 t fired, .
Time elapsed: 255 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 25/305 5/32 ASLink-PT-09a-CTLCardinality-10 706191 m, 29089 m/sec, 5022809 t fired, .
Time elapsed: 260 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 30/305 6/32 ASLink-PT-09a-CTLCardinality-10 868773 m, 32516 m/sec, 5998746 t fired, .
Time elapsed: 265 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 35/305 7/32 ASLink-PT-09a-CTLCardinality-10 1020882 m, 30421 m/sec, 6980420 t fired, .
Time elapsed: 270 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 40/305 8/32 ASLink-PT-09a-CTLCardinality-10 1167259 m, 29275 m/sec, 7969125 t fired, .
Time elapsed: 275 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 45/305 8/32 ASLink-PT-09a-CTLCardinality-10 1299316 m, 26411 m/sec, 8966107 t fired, .
Time elapsed: 280 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 50/305 9/32 ASLink-PT-09a-CTLCardinality-10 1446378 m, 29412 m/sec, 9953339 t fired, .
Time elapsed: 285 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 55/305 10/32 ASLink-PT-09a-CTLCardinality-10 1585265 m, 27777 m/sec, 10945961 t fired, .
Time elapsed: 290 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 60/305 11/32 ASLink-PT-09a-CTLCardinality-10 1717095 m, 26366 m/sec, 11940716 t fired, .
Time elapsed: 295 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 65/305 11/32 ASLink-PT-09a-CTLCardinality-10 1850061 m, 26593 m/sec, 12941350 t fired, .
Time elapsed: 300 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 70/305 12/32 ASLink-PT-09a-CTLCardinality-10 1970672 m, 24122 m/sec, 13947877 t fired, .
Time elapsed: 305 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 75/305 13/32 ASLink-PT-09a-CTLCardinality-10 2099936 m, 25852 m/sec, 14944218 t fired, .
Time elapsed: 310 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 80/305 14/32 ASLink-PT-09a-CTLCardinality-10 2231290 m, 26270 m/sec, 15951430 t fired, .
Time elapsed: 315 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 85/305 14/32 ASLink-PT-09a-CTLCardinality-10 2353766 m, 24495 m/sec, 16966338 t fired, .
Time elapsed: 320 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 90/305 15/32 ASLink-PT-09a-CTLCardinality-10 2474650 m, 24176 m/sec, 17979132 t fired, .
Time elapsed: 325 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 95/305 16/32 ASLink-PT-09a-CTLCardinality-10 2586543 m, 22378 m/sec, 18997519 t fired, .
Time elapsed: 330 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 100/305 16/32 ASLink-PT-09a-CTLCardinality-10 2701239 m, 22939 m/sec, 20011878 t fired, .
Time elapsed: 335 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 105/305 17/32 ASLink-PT-09a-CTLCardinality-10 2848977 m, 29547 m/sec, 20997468 t fired, .
Time elapsed: 340 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 110/305 18/32 ASLink-PT-09a-CTLCardinality-10 2983628 m, 26930 m/sec, 21990315 t fired, .
Time elapsed: 345 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 115/305 19/32 ASLink-PT-09a-CTLCardinality-10 3113792 m, 26032 m/sec, 22987099 t fired, .
Time elapsed: 350 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 120/305 20/32 ASLink-PT-09a-CTLCardinality-10 3242949 m, 25831 m/sec, 23983697 t fired, .
Time elapsed: 355 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 125/305 20/32 ASLink-PT-09a-CTLCardinality-10 3358843 m, 23178 m/sec, 24988838 t fired, .
Time elapsed: 360 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 130/305 21/32 ASLink-PT-09a-CTLCardinality-10 3486583 m, 25548 m/sec, 25990531 t fired, .
Time elapsed: 365 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 135/305 22/32 ASLink-PT-09a-CTLCardinality-10 3615838 m, 25851 m/sec, 26988824 t fired, .
Time elapsed: 370 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 140/305 22/32 ASLink-PT-09a-CTLCardinality-10 3730589 m, 22950 m/sec, 27995249 t fired, .
Time elapsed: 375 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 145/305 23/32 ASLink-PT-09a-CTLCardinality-10 3849726 m, 23827 m/sec, 29003640 t fired, .
Time elapsed: 380 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 150/305 24/32 ASLink-PT-09a-CTLCardinality-10 3964414 m, 22937 m/sec, 30010661 t fired, .
Time elapsed: 385 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 155/305 24/32 ASLink-PT-09a-CTLCardinality-10 4069500 m, 21017 m/sec, 31020441 t fired, .
Time elapsed: 390 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 160/305 25/32 ASLink-PT-09a-CTLCardinality-10 4207338 m, 27567 m/sec, 32007636 t fired, .
Time elapsed: 395 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 165/305 26/32 ASLink-PT-09a-CTLCardinality-10 4353341 m, 29200 m/sec, 32997656 t fired, .
Time elapsed: 400 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 170/305 27/32 ASLink-PT-09a-CTLCardinality-10 4489948 m, 27321 m/sec, 33995054 t fired, .
Time elapsed: 405 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 175/305 28/32 ASLink-PT-09a-CTLCardinality-10 4625076 m, 27025 m/sec, 34991772 t fired, .
Time elapsed: 410 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 180/305 28/32 ASLink-PT-09a-CTLCardinality-10 4752399 m, 25464 m/sec, 35994667 t fired, .
Time elapsed: 415 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 185/305 29/32 ASLink-PT-09a-CTLCardinality-10 4873832 m, 24286 m/sec, 37003130 t fired, .
Time elapsed: 420 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 190/305 30/32 ASLink-PT-09a-CTLCardinality-10 5000032 m, 25240 m/sec, 38003134 t fired, .
Time elapsed: 425 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 195/305 31/32 ASLink-PT-09a-CTLCardinality-10 5128255 m, 25644 m/sec, 39002265 t fired, .
Time elapsed: 430 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 200/305 31/32 ASLink-PT-09a-CTLCardinality-10 5253670 m, 25083 m/sec, 40006901 t fired, .
Time elapsed: 435 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
39 CTL EXCL 205/305 32/32 ASLink-PT-09a-CTLCardinality-10 5369460 m, 23158 m/sec, 41015185 t fired, .
Time elapsed: 440 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 39 (type EXCL) for ASLink-PT-09a-CTLCardinality-10 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-02: DISJ 0 2 0 0 4 0 0 0
ASLink-PT-09a-CTLCardinality-03: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-05: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 445 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 36 (type EXCL) for 35 ASLink-PT-09a-CTLCardinality-09
lola: time limit : 315 sec
lola: memory limit: 32 pages
lola: FINISHED task # 36 (type EXCL) for ASLink-PT-09a-CTLCardinality-09
lola: result : true
lola: markings : 471
lola: fired transitions : 472
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 27 (type EXCL) for 26 ASLink-PT-09a-CTLCardinality-06
lola: time limit : 350 sec
lola: memory limit: 32 pages
lola: FINISHED task # 27 (type EXCL) for ASLink-PT-09a-CTLCardinality-06
lola: result : true
lola: markings : 3023
lola: fired transitions : 3325
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 24 (type EXCL) for 23 ASLink-PT-09a-CTLCardinality-05
lola: time limit : 394 sec
lola: memory limit: 32 pages
lola: FINISHED task # 24 (type EXCL) for ASLink-PT-09a-CTLCardinality-05
lola: result : false
lola: markings : 471
lola: fired transitions : 1885
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 18 (type EXCL) for 17 ASLink-PT-09a-CTLCardinality-03
lola: time limit : 450 sec
lola: memory limit: 32 pages
lola: FINISHED task # 18 (type EXCL) for ASLink-PT-09a-CTLCardinality-03
lola: result : false
lola: markings : 303
lola: fired transitions : 906
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 13 (type EXCL) for 6 ASLink-PT-09a-CTLCardinality-02
lola: time limit : 525 sec
lola: memory limit: 32 pages
lola: FINISHED task # 13 (type EXCL) for ASLink-PT-09a-CTLCardinality-02
lola: result : false
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 1 (type EXCL) for 0 ASLink-PT-09a-CTLCardinality-00
lola: time limit : 631 sec
lola: memory limit: 32 pages
lola: FINISHED task # 1 (type EXCL) for ASLink-PT-09a-CTLCardinality-00
lola: result : false
lola: markings : 481
lola: fired transitions : 1888
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 9 (type EXCL) for 6 ASLink-PT-09a-CTLCardinality-02
lola: time limit : 788 sec
lola: memory limit: 32 pages
lola: FINISHED task # 9 (type EXCL) for ASLink-PT-09a-CTLCardinality-02
lola: result : true
lola: markings : 12
lola: fired transitions : 11
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 30 (type EXCL) for 29 ASLink-PT-09a-CTLCardinality-07
lola: time limit : 1051 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 5/1051 2/32 ASLink-PT-09a-CTLCardinality-07 230147 m, 46029 m/sec, 1055538 t fired, .
Time elapsed: 450 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 10/1051 4/32 ASLink-PT-09a-CTLCardinality-07 459468 m, 45864 m/sec, 2128760 t fired, .
Time elapsed: 455 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 15/1051 5/32 ASLink-PT-09a-CTLCardinality-07 683157 m, 44737 m/sec, 3240385 t fired, .
Time elapsed: 460 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 20/1051 6/32 ASLink-PT-09a-CTLCardinality-07 890415 m, 41451 m/sec, 4412646 t fired, .
Time elapsed: 465 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 25/1051 8/32 ASLink-PT-09a-CTLCardinality-07 1098028 m, 41522 m/sec, 5576196 t fired, .
Time elapsed: 470 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 30/1051 9/32 ASLink-PT-09a-CTLCardinality-07 1310261 m, 42446 m/sec, 6705525 t fired, .
Time elapsed: 475 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 35/1051 10/32 ASLink-PT-09a-CTLCardinality-07 1531794 m, 44306 m/sec, 7816200 t fired, .
Time elapsed: 480 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 40/1051 12/32 ASLink-PT-09a-CTLCardinality-07 1753090 m, 44259 m/sec, 8921013 t fired, .
Time elapsed: 485 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 45/1051 13/32 ASLink-PT-09a-CTLCardinality-07 1975861 m, 44554 m/sec, 10012707 t fired, .
Time elapsed: 490 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 50/1051 15/32 ASLink-PT-09a-CTLCardinality-07 2195968 m, 44021 m/sec, 11109809 t fired, .
Time elapsed: 495 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 55/1051 16/32 ASLink-PT-09a-CTLCardinality-07 2413240 m, 43454 m/sec, 12204909 t fired, .
Time elapsed: 500 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 60/1051 17/32 ASLink-PT-09a-CTLCardinality-07 2627131 m, 42778 m/sec, 13320396 t fired, .
Time elapsed: 505 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 65/1051 19/32 ASLink-PT-09a-CTLCardinality-07 2836833 m, 41940 m/sec, 14433802 t fired, .
Time elapsed: 510 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 70/1051 20/32 ASLink-PT-09a-CTLCardinality-07 3049615 m, 42556 m/sec, 15533894 t fired, .
Time elapsed: 515 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 75/1051 22/32 ASLink-PT-09a-CTLCardinality-07 3260921 m, 42261 m/sec, 16653375 t fired, .
Time elapsed: 520 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 80/1051 23/32 ASLink-PT-09a-CTLCardinality-07 3465924 m, 41000 m/sec, 17774625 t fired, .
Time elapsed: 525 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 85/1051 24/32 ASLink-PT-09a-CTLCardinality-07 3673062 m, 41427 m/sec, 18903435 t fired, .
Time elapsed: 530 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 90/1051 25/32 ASLink-PT-09a-CTLCardinality-07 3880650 m, 41517 m/sec, 20016360 t fired, .
Time elapsed: 535 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 95/1051 27/32 ASLink-PT-09a-CTLCardinality-07 4086861 m, 41242 m/sec, 21144463 t fired, .
Time elapsed: 540 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 100/1051 28/32 ASLink-PT-09a-CTLCardinality-07 4281274 m, 38882 m/sec, 22292730 t fired, .
Time elapsed: 545 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 105/1051 29/32 ASLink-PT-09a-CTLCardinality-07 4485417 m, 40828 m/sec, 23419344 t fired, .
Time elapsed: 550 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 110/1051 31/32 ASLink-PT-09a-CTLCardinality-07 4695360 m, 41988 m/sec, 24531680 t fired, .
Time elapsed: 555 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 1 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
30 CTL EXCL 115/1051 32/32 ASLink-PT-09a-CTLCardinality-07 4900873 m, 41102 m/sec, 25653284 t fired, .
Time elapsed: 560 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 30 (type EXCL) for ASLink-PT-09a-CTLCardinality-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-09a-CTLCardinality-01: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-07: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
ASLink-PT-09a-CTLCardinality-10: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-11: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-12: CTL 0 0 0 0 1 0 1 0
ASLink-PT-09a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 565 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 55 (type EXCL) for 54 ASLink-PT-09a-CTLCardinality-14
lola: time limit : 1517 sec
lola: memory limit: 32 pages
lola: FINISHED task # 55 (type EXCL) for ASLink-PT-09a-CTLCardinality-14
lola: result : true
lola: markings : 3637
lola: fired transitions : 14631
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 33 (type EXCL) for 32 ASLink-PT-09a-CTLCardinality-08
lola: time limit : 3035 sec
lola: memory limit: 32 pages
lola: FINISHED task # 33 (type EXCL) for ASLink-PT-09a-CTLCardinality-08
lola: result : true
lola: markings : 421
lola: fired transitions : 1264
lola: time used : 0.000000
lola: memory pages used : 1
lola: Portfolio finished: no open tasks 16
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-09a-CTLCardinality-00: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-01: CTL unknown AGGR
ASLink-PT-09a-CTLCardinality-02: DISJ true state space / EG
ASLink-PT-09a-CTLCardinality-03: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-04: AXAF false state space /EXEG
ASLink-PT-09a-CTLCardinality-05: CTL false CTL model checker
ASLink-PT-09a-CTLCardinality-06: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-07: CTL unknown AGGR
ASLink-PT-09a-CTLCardinality-08: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-09: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-10: CTL unknown AGGR
ASLink-PT-09a-CTLCardinality-11: CTL unknown AGGR
ASLink-PT-09a-CTLCardinality-12: CTL unknown AGGR
ASLink-PT-09a-CTLCardinality-13: DISJ true CTL model checker
ASLink-PT-09a-CTLCardinality-14: CTL true CTL model checker
ASLink-PT-09a-CTLCardinality-15: CTL false CTL model checker
Time elapsed: 565 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="ASLink-PT-09a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is ASLink-PT-09a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r004-tall-162037985600139"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-09a.tgz
mv ASLink-PT-09a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;