About the Execution of LoLa+red for SafeBus-COL-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3933.023 | 426424.00 | 1632195.00 | 480.80 | TFTTFFFFFFTFTTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r359-smll-167891808700238.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is SafeBus-COL-20, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r359-smll-167891808700238
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 7.0K Feb 26 02:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 02:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 02:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 02:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K Jan 29 11:41 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 26 04:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 03:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 03:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K Mar 5 18:23 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 SafeBus-COL-20-ReachabilityCardinality-00
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-01
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-02
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-03
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-04
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-05
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-06
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-07
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-08
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-09
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-10
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-11
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-12
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-13
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-14
FORMULA_NAME SafeBus-COL-20-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1679023389843
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SafeBus-COL-20
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-17 03:23:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2023-03-17 03:23:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 03:23:12] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-17 03:23:12] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-17 03:23:13] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 862 ms
[2023-03-17 03:23:13] [INFO ] Detected 1 constant HL places corresponding to 20 PT places.
[2023-03-17 03:23:13] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 1046 PT places and 179241.0 transition bindings in 28 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 43 ms.
Working with output stream class java.io.PrintStream
[2023-03-17 03:23:13] [INFO ] Built PT skeleton of HLPN with 20 places and 14 transitions 68 arcs in 5 ms.
[2023-03-17 03:23:13] [INFO ] Skeletonized 16 HLPN properties in 2 ms.
Remains 16 properties that can be checked using skeleton over-approximation.
Reduce places removed 3 places and 0 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
[2023-03-17 03:23:13] [INFO ] Flatten gal took : 32 ms
[2023-03-17 03:23:13] [INFO ] Flatten gal took : 6 ms
FORMULA SafeBus-COL-20-ReachabilityCardinality-13 TRUE TECHNIQUES CPN_APPROX
Domain [It(20), It(20)] of place AMC breaks symmetries in sort It
[2023-03-17 03:23:13] [INFO ] Unfolded HLPN to a Petri net with 1046 places and 10501 transitions 76784 arcs in 216 ms.
[2023-03-17 03:23:13] [INFO ] Unfolded 16 HLPN properties in 3 ms.
Deduced a syphon composed of 20 places in 31 ms
Reduce places removed 40 places and 40 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 1348 ms. (steps per millisecond=7 ) properties (out of 15) seen :3
FORMULA SafeBus-COL-20-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SafeBus-COL-20-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA SafeBus-COL-20-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 95 ms. (steps per millisecond=105 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=48 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=54 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 369 ms. (steps per millisecond=27 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 759 ms. (steps per millisecond=13 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 267 ms. (steps per millisecond=37 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 265 ms. (steps per millisecond=37 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=45 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 405 ms. (steps per millisecond=24 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 549 ms. (steps per millisecond=18 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=27 ) properties (out of 12) seen :0
Running SMT prover for 12 properties.
[2023-03-17 03:23:19] [INFO ] Flow matrix only has 2482 transitions (discarded 7979 similar events)
// Phase 1: matrix 2482 rows 1006 cols
[2023-03-17 03:23:19] [INFO ] Computed 85 place invariants in 210 ms
[2023-03-17 03:23:22] [INFO ] [Real]Absence check using 41 positive place invariants in 37 ms returned sat
[2023-03-17 03:23:22] [INFO ] [Real]Absence check using 41 positive and 44 generalized place invariants in 52 ms returned sat
[2023-03-17 03:23:22] [INFO ] After 917ms SMT Verify possible using all constraints in real domain returned unsat :7 sat :0 real:5
[2023-03-17 03:23:23] [INFO ] [Nat]Absence check using 41 positive place invariants in 34 ms returned sat
[2023-03-17 03:23:23] [INFO ] [Nat]Absence check using 41 positive and 44 generalized place invariants in 47 ms returned sat
[2023-03-17 03:23:23] [INFO ] After 650ms SMT Verify possible using all constraints in natural domain returned unsat :12 sat :0
FORMULA SafeBus-COL-20-ReachabilityCardinality-14 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-12 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-09 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-05 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-04 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-03 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-20-ReachabilityCardinality-00 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 12 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 1 ms.
All properties solved without resorting to model-checking.
Total runtime 11267 ms.
starting LoLA
BK_INPUT SafeBus-COL-20
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA SafeBus-COL-20-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SafeBus-COL-20-ReachabilityCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679023816267
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading HL formula in XML format (--xmlformula)
lola: reading formula from /home/mcc/execution/ReachabilityCardinality.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 55 (type SKEL/FNDP) for 33 SafeBus-COL-20-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: TR BINDINGS
lola: LAUNCH task # 57 (type SKEL/EQUN) for 33 SafeBus-COL-20-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 59 (type SKEL/SRCH) for 33 SafeBus-COL-20-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 60 (type SKEL/SRCH) for 33 SafeBus-COL-20-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: TR BINDINGS DONE
lola: Places: 1046, Transitions: 10501
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-57.sara.
lola: @ trans C_free
lola: @ trans C_refuse
lola: FINISHED task # 57 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-11
lola: result : false
lola: CANCELED task # 55 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-11 (obsolete)
lola: CANCELED task # 59 (type SRCH) for SafeBus-COL-20-ReachabilityCardinality-11 (obsolete)
lola: CANCELED task # 60 (type SRCH) for SafeBus-COL-20-ReachabilityCardinality-11 (obsolete)
lola: LAUNCH task # 84 (type SKEL/FNDP) for 15 SafeBus-COL-20-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 105 (type SKEL/FNDP) for 30 SafeBus-COL-20-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 109 (type SKEL/EQUN) for 30 SafeBus-COL-20-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 124 (type SKEL/EQUN) for 15 SafeBus-COL-20-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 105 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-10
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 109 (type EQUN) for SafeBus-COL-20-ReachabilityCardinality-10 (obsolete)
lola: LAUNCH task # 132 (type SKEL/FNDP) for 36 SafeBus-COL-20-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 146 (type SKEL/EQUN) for 36 SafeBus-COL-20-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 55 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-11
lola: result : unknown
lola: fired transitions : 30654
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: @ trans loss_m
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: @ trans loss_a
lola: @ trans I_ask1
lola: @ trans I_rec1
lola: @ trans I_reemit
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-146.sara.
lola: @ trans I_emit
lola: @ trans I_refused
lola: @ trans C_provide
lola: @ trans I_ask2
lola: @ trans I_rec2
lola: @ trans I_free
lola: @ trans Gto
lola: FINISHED task # 146 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-12
lola: result : false
lola: CANCELED task # 132 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-12 (obsolete)
lola: LAUNCH task # 94 (type SKEL/FNDP) for 42 SafeBus-COL-20-ReachabilityCardinality-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 95 (type SKEL/EQUN) for 42 SafeBus-COL-20-ReachabilityCardinality-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 132 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-12
lola: result : unknown
lola: fired transitions : 33081
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-95.sara.
lola: FINISHED task # 95 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-14
lola: result : false
lola: CANCELED task # 94 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-14 (obsolete)
lola: LAUNCH task # 50 (type SKEL/FNDP) for 39 SafeBus-COL-20-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SKEL/EQUN) for 39 SafeBus-COL-20-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 94 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-14
lola: result : unknown
lola: fired transitions : 10388
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-65.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-109.sara.
lola: FINISHED task # 65 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-13
lola: result : false
lola: CANCELED task # 50 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-13 (obsolete)
lola: LAUNCH task # 123 (type SKEL/FNDP) for 12 SafeBus-COL-20-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 141 (type SKEL/EQUN) for 12 SafeBus-COL-20-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 50 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-13
lola: result : unknown
lola: fired transitions : 126225
lola: tried executions : 126226
lola: time used : 1.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-124.sara.
lola: FINISHED task # 124 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-05
lola: result : false
lola: CANCELED task # 84 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-05 (obsolete)
lola: LAUNCH task # 79 (type SKEL/FNDP) for 27 SafeBus-COL-20-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 100 (type SKEL/EQUN) for 27 SafeBus-COL-20-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 84 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-05
lola: result : unknown
lola: fired transitions : 2215868
lola: tried executions : 4
lola: time used : 4.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-04: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-09: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 0 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 1/276 0/5 SafeBus-COL-20-ReachabilityCardinality-09 743423 t fired, 1 attempts, .
100 EF STEQ 1/276 0/5 SafeBus-COL-20-ReachabilityCardinality-09 sara not yet started (preprocessing).
123 EF FNDP 4/296 0/5 SafeBus-COL-20-ReachabilityCardinality-04 2976957 t fired, 3 attempts, .
141 EF STEQ 4/296 0/5 SafeBus-COL-20-ReachabilityCardinality-04 sara not yet started (preprocessing).
Time elapsed: 5 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-04: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-09: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 0 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 6/275 0/5 SafeBus-COL-20-ReachabilityCardinality-09 4787526 t fired, 5 attempts, .
100 EF STEQ 6/275 0/5 SafeBus-COL-20-ReachabilityCardinality-09 sara not yet started (preprocessing).
123 EF FNDP 9/295 0/5 SafeBus-COL-20-ReachabilityCardinality-04 6234674 t fired, 7 attempts, .
141 EF STEQ 9/295 0/5 SafeBus-COL-20-ReachabilityCardinality-04 sara not yet started (preprocessing).
Time elapsed: 10 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-04: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-09: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 0 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 11/270 0/5 SafeBus-COL-20-ReachabilityCardinality-09 8764678 t fired, 9 attempts, .
100 EF STEQ 11/270 0/5 SafeBus-COL-20-ReachabilityCardinality-09 sara not yet started (preprocessing).
123 EF FNDP 14/290 0/5 SafeBus-COL-20-ReachabilityCardinality-04 9291530 t fired, 10 attempts, .
141 EF STEQ 14/290 0/5 SafeBus-COL-20-ReachabilityCardinality-04 sara not yet started (preprocessing).
Time elapsed: 15 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-04: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-09: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 0 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 16/265 0/5 SafeBus-COL-20-ReachabilityCardinality-09 12796879 t fired, 13 attempts, .
100 EF STEQ 16/265 0/5 SafeBus-COL-20-ReachabilityCardinality-09 sara not yet started (preprocessing).
123 EF FNDP 19/285 0/5 SafeBus-COL-20-ReachabilityCardinality-04 12552308 t fired, 13 attempts, .
141 EF STEQ 19/285 0/5 SafeBus-COL-20-ReachabilityCardinality-04 sara not yet started (preprocessing).
Time elapsed: 20 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-04: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-09: EF 0 3 2 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 0 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 21/260 0/5 SafeBus-COL-20-ReachabilityCardinality-09 16786663 t fired, 17 attempts, .
100 EF STEQ 21/260 0/5 SafeBus-COL-20-ReachabilityCardinality-09 sara not yet started (preprocessing).
123 EF FNDP 24/280 0/5 SafeBus-COL-20-ReachabilityCardinality-04 15295218 t fired, 16 attempts, .
141 EF STEQ 24/280 0/5 SafeBus-COL-20-ReachabilityCardinality-04 sara not yet started (preprocessing).
Time elapsed: 25 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-100.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-141.sara.
lola: Rule S: 40 transitions removed,20 places removed
lola: FINISHED task # 100 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-09
lola: result : false
lola: CANCELED task # 79 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-09 (obsolete)
lola: LAUNCH task # 117 (type SKEL/FNDP) for 9 SafeBus-COL-20-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 122 (type SKEL/FNDP) for 24 SafeBus-COL-20-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 79 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-09
lola: result : unknown
lola: fired transitions : 18078241
lola: tried executions : 20
lola: time used : 23.000000
lola: memory pages used : 0
lola: FINISHED task # 141 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-04
lola: result : false
lola: CANCELED task # 123 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-04 (obsolete)
lola: LAUNCH task # 64 (type SKEL/FNDP) for 18 SafeBus-COL-20-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type SKEL/EQUN) for 18 SafeBus-COL-20-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 123 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-04
lola: result : unknown
lola: fired transitions : 16224380
lola: tried executions : 18
lola: time used : 26.000000
lola: memory pages used : 0
lola: FINISHED task # 64 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-06
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 73 (type EQUN) for SafeBus-COL-20-ReachabilityCardinality-06 (obsolete)
lola: LAUNCH task # 108 (type SKEL/FNDP) for 45 SafeBus-COL-20-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 111 (type SKEL/EQUN) for 45 SafeBus-COL-20-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 108 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-15
lola: result : true
lola: fired transitions : 4
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 111 (type EQUN) for SafeBus-COL-20-ReachabilityCardinality-15 (obsolete)
lola: LAUNCH task # 87 (type SKEL/FNDP) for 0 SafeBus-COL-20-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 88 (type SKEL/EQUN) for 0 SafeBus-COL-20-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-73.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-111.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-88.sara.
lola: FINISHED task # 73 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-06
lola: result : true
lola: FINISHED task # 111 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-15
lola: result : true
lola: FINISHED task # 88 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-00
lola: result : false
lola: CANCELED task # 87 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-00 (obsolete)
lola: LAUNCH task # 102 (type SKEL/FNDP) for 6 SafeBus-COL-20-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 104 (type SKEL/FNDP) for 3 SafeBus-COL-20-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 87 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-00
lola: result : unknown
lola: fired transitions : 19683
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: planning for SafeBus-COL-20-ReachabilityCardinality-00 stopped (result already fixed).
lola: planning for SafeBus-COL-20-ReachabilityCardinality-05 stopped (result already fixed).
lola: planning for SafeBus-COL-20-ReachabilityCardinality-14 stopped (result already fixed).
lola: planning for SafeBus-COL-20-ReachabilityCardinality-09 stopped (result already fixed).
lola: planning for SafeBus-COL-20-ReachabilityCardinality-04 stopped (result already fixed).
lola: planning for SafeBus-COL-20-ReachabilityCardinality-12 stopped (result already fixed).
lola: planning for SafeBus-COL-20-ReachabilityCardinality-11 stopped (result already fixed).
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 4 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 4 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 4 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 0 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 4 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 0 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 0 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 3/510 0/5 SafeBus-COL-20-ReachabilityCardinality-02 1078052 t fired, 2 attempts, .
104 EF FNDP 3/595 0/5 SafeBus-COL-20-ReachabilityCardinality-01 1197726 t fired, 2 attempts, .
117 EF FNDP 3/595 0/5 SafeBus-COL-20-ReachabilityCardinality-03 1114104 t fired, 2 attempts, .
122 EF FNDP 3/595 0/5 SafeBus-COL-20-ReachabilityCardinality-08 1038543 t fired, 2 attempts, .
Time elapsed: 30 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 4 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 4 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 4 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 0 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 4 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 0 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 8/443 0/5 SafeBus-COL-20-ReachabilityCardinality-02 2832343 t fired, 3 attempts, .
104 EF FNDP 8/507 0/5 SafeBus-COL-20-ReachabilityCardinality-01 3242558 t fired, 4 attempts, .
117 EF FNDP 8/507 0/5 SafeBus-COL-20-ReachabilityCardinality-03 2621605 t fired, 3 attempts, .
122 EF FNDP 8/507 0/5 SafeBus-COL-20-ReachabilityCardinality-08 2736623 t fired, 3 attempts, .
Time elapsed: 35 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 13/227 0/5 SafeBus-COL-20-ReachabilityCardinality-02 4307430 t fired, 5 attempts, .
104 EF FNDP 13/244 0/5 SafeBus-COL-20-ReachabilityCardinality-01 4478966 t fired, 5 attempts, .
117 EF FNDP 13/244 0/5 SafeBus-COL-20-ReachabilityCardinality-03 3917998 t fired, 4 attempts, .
122 EF FNDP 13/244 0/5 SafeBus-COL-20-ReachabilityCardinality-08 3924860 t fired, 4 attempts, .
Time elapsed: 40 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 18/225 0/5 SafeBus-COL-20-ReachabilityCardinality-02 5538495 t fired, 6 attempts, .
104 EF FNDP 18/242 0/5 SafeBus-COL-20-ReachabilityCardinality-01 5862476 t fired, 6 attempts, .
117 EF FNDP 18/242 0/5 SafeBus-COL-20-ReachabilityCardinality-03 5120785 t fired, 6 attempts, .
122 EF FNDP 18/242 0/5 SafeBus-COL-20-ReachabilityCardinality-08 5058945 t fired, 6 attempts, .
Time elapsed: 45 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 23/220 0/5 SafeBus-COL-20-ReachabilityCardinality-02 6848906 t fired, 7 attempts, .
104 EF FNDP 23/237 0/5 SafeBus-COL-20-ReachabilityCardinality-01 7096483 t fired, 8 attempts, .
117 EF FNDP 23/237 0/5 SafeBus-COL-20-ReachabilityCardinality-03 6279783 t fired, 7 attempts, .
122 EF FNDP 23/237 0/5 SafeBus-COL-20-ReachabilityCardinality-08 6325248 t fired, 7 attempts, .
Time elapsed: 50 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 28/215 0/5 SafeBus-COL-20-ReachabilityCardinality-02 8129837 t fired, 9 attempts, .
104 EF FNDP 28/232 0/5 SafeBus-COL-20-ReachabilityCardinality-01 8489402 t fired, 9 attempts, .
117 EF FNDP 28/232 0/5 SafeBus-COL-20-ReachabilityCardinality-03 7466100 t fired, 8 attempts, .
122 EF FNDP 28/232 0/5 SafeBus-COL-20-ReachabilityCardinality-08 7473053 t fired, 8 attempts, .
Time elapsed: 55 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 33/210 0/5 SafeBus-COL-20-ReachabilityCardinality-02 9438679 t fired, 10 attempts, .
104 EF FNDP 33/227 0/5 SafeBus-COL-20-ReachabilityCardinality-01 9765256 t fired, 10 attempts, .
117 EF FNDP 33/227 0/5 SafeBus-COL-20-ReachabilityCardinality-03 8586308 t fired, 9 attempts, .
122 EF FNDP 33/227 0/5 SafeBus-COL-20-ReachabilityCardinality-08 8618802 t fired, 9 attempts, .
Time elapsed: 60 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 38/205 0/5 SafeBus-COL-20-ReachabilityCardinality-02 10809674 t fired, 11 attempts, .
104 EF FNDP 38/222 0/5 SafeBus-COL-20-ReachabilityCardinality-01 11055013 t fired, 12 attempts, .
117 EF FNDP 38/222 0/5 SafeBus-COL-20-ReachabilityCardinality-03 9554817 t fired, 10 attempts, .
122 EF FNDP 38/222 0/5 SafeBus-COL-20-ReachabilityCardinality-08 9841852 t fired, 10 attempts, .
Time elapsed: 65 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 43/200 0/5 SafeBus-COL-20-ReachabilityCardinality-02 12177643 t fired, 13 attempts, .
104 EF FNDP 43/217 0/5 SafeBus-COL-20-ReachabilityCardinality-01 12311800 t fired, 13 attempts, .
117 EF FNDP 43/217 0/5 SafeBus-COL-20-ReachabilityCardinality-03 10716734 t fired, 11 attempts, .
122 EF FNDP 43/217 0/5 SafeBus-COL-20-ReachabilityCardinality-08 11010539 t fired, 12 attempts, .
Time elapsed: 70 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 48/195 0/5 SafeBus-COL-20-ReachabilityCardinality-02 13451102 t fired, 14 attempts, .
104 EF FNDP 48/212 0/5 SafeBus-COL-20-ReachabilityCardinality-01 13645616 t fired, 14 attempts, .
117 EF FNDP 48/212 0/5 SafeBus-COL-20-ReachabilityCardinality-03 11925855 t fired, 12 attempts, .
122 EF FNDP 48/212 0/5 SafeBus-COL-20-ReachabilityCardinality-08 12096257 t fired, 13 attempts, .
Time elapsed: 75 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 53/190 0/5 SafeBus-COL-20-ReachabilityCardinality-02 14813132 t fired, 15 attempts, .
104 EF FNDP 53/207 0/5 SafeBus-COL-20-ReachabilityCardinality-01 14987205 t fired, 15 attempts, .
117 EF FNDP 53/207 0/5 SafeBus-COL-20-ReachabilityCardinality-03 13075994 t fired, 14 attempts, .
122 EF FNDP 53/207 0/5 SafeBus-COL-20-ReachabilityCardinality-08 13214526 t fired, 14 attempts, .
Time elapsed: 80 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 58/185 0/5 SafeBus-COL-20-ReachabilityCardinality-02 16006582 t fired, 17 attempts, .
104 EF FNDP 58/202 0/5 SafeBus-COL-20-ReachabilityCardinality-01 16387538 t fired, 17 attempts, .
117 EF FNDP 58/202 0/5 SafeBus-COL-20-ReachabilityCardinality-03 14230646 t fired, 15 attempts, .
122 EF FNDP 58/202 0/5 SafeBus-COL-20-ReachabilityCardinality-08 14425379 t fired, 15 attempts, .
Time elapsed: 85 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 63/180 0/5 SafeBus-COL-20-ReachabilityCardinality-02 17366216 t fired, 18 attempts, .
104 EF FNDP 63/197 0/5 SafeBus-COL-20-ReachabilityCardinality-01 17664121 t fired, 18 attempts, .
117 EF FNDP 63/197 0/5 SafeBus-COL-20-ReachabilityCardinality-03 15453501 t fired, 16 attempts, .
122 EF FNDP 63/197 0/5 SafeBus-COL-20-ReachabilityCardinality-08 15516461 t fired, 16 attempts, .
Time elapsed: 90 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 68/175 0/5 SafeBus-COL-20-ReachabilityCardinality-02 18676160 t fired, 19 attempts, .
104 EF FNDP 68/192 0/5 SafeBus-COL-20-ReachabilityCardinality-01 19010845 t fired, 20 attempts, .
117 EF FNDP 68/192 0/5 SafeBus-COL-20-ReachabilityCardinality-03 16604073 t fired, 17 attempts, .
122 EF FNDP 68/192 0/5 SafeBus-COL-20-ReachabilityCardinality-08 16678103 t fired, 17 attempts, .
Time elapsed: 95 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 73/170 0/5 SafeBus-COL-20-ReachabilityCardinality-02 19980695 t fired, 20 attempts, .
104 EF FNDP 73/187 0/5 SafeBus-COL-20-ReachabilityCardinality-01 20384285 t fired, 21 attempts, .
117 EF FNDP 73/187 0/5 SafeBus-COL-20-ReachabilityCardinality-03 17735923 t fired, 18 attempts, .
122 EF FNDP 73/187 0/5 SafeBus-COL-20-ReachabilityCardinality-08 17834475 t fired, 18 attempts, .
Time elapsed: 100 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 78/165 0/5 SafeBus-COL-20-ReachabilityCardinality-02 21408482 t fired, 22 attempts, .
104 EF FNDP 78/182 0/5 SafeBus-COL-20-ReachabilityCardinality-01 21688419 t fired, 22 attempts, .
117 EF FNDP 78/182 0/5 SafeBus-COL-20-ReachabilityCardinality-03 18820738 t fired, 19 attempts, .
122 EF FNDP 78/182 0/5 SafeBus-COL-20-ReachabilityCardinality-08 18969942 t fired, 19 attempts, .
Time elapsed: 105 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 83/160 0/5 SafeBus-COL-20-ReachabilityCardinality-02 22726831 t fired, 23 attempts, .
104 EF FNDP 83/177 0/5 SafeBus-COL-20-ReachabilityCardinality-01 23071291 t fired, 24 attempts, .
117 EF FNDP 83/177 0/5 SafeBus-COL-20-ReachabilityCardinality-03 20026326 t fired, 21 attempts, .
122 EF FNDP 83/177 0/5 SafeBus-COL-20-ReachabilityCardinality-08 20066968 t fired, 21 attempts, .
Time elapsed: 110 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 88/155 0/5 SafeBus-COL-20-ReachabilityCardinality-02 24071126 t fired, 25 attempts, .
104 EF FNDP 88/172 0/5 SafeBus-COL-20-ReachabilityCardinality-01 24363903 t fired, 25 attempts, .
117 EF FNDP 88/172 0/5 SafeBus-COL-20-ReachabilityCardinality-03 21217651 t fired, 22 attempts, .
122 EF FNDP 88/172 0/5 SafeBus-COL-20-ReachabilityCardinality-08 21184613 t fired, 22 attempts, .
Time elapsed: 115 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 93/150 0/5 SafeBus-COL-20-ReachabilityCardinality-02 25379868 t fired, 26 attempts, .
104 EF FNDP 93/167 0/5 SafeBus-COL-20-ReachabilityCardinality-01 25686926 t fired, 26 attempts, .
117 EF FNDP 93/167 0/5 SafeBus-COL-20-ReachabilityCardinality-03 22386360 t fired, 23 attempts, .
122 EF FNDP 93/167 0/5 SafeBus-COL-20-ReachabilityCardinality-08 22325978 t fired, 23 attempts, .
Time elapsed: 120 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 98/145 0/5 SafeBus-COL-20-ReachabilityCardinality-02 26686032 t fired, 27 attempts, .
104 EF FNDP 98/162 0/5 SafeBus-COL-20-ReachabilityCardinality-01 27074656 t fired, 28 attempts, .
117 EF FNDP 98/162 0/5 SafeBus-COL-20-ReachabilityCardinality-03 23492693 t fired, 24 attempts, .
122 EF FNDP 98/162 0/5 SafeBus-COL-20-ReachabilityCardinality-08 23429062 t fired, 24 attempts, .
Time elapsed: 125 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 103/140 0/5 SafeBus-COL-20-ReachabilityCardinality-02 28006067 t fired, 29 attempts, .
104 EF FNDP 103/157 0/5 SafeBus-COL-20-ReachabilityCardinality-01 28428864 t fired, 29 attempts, .
117 EF FNDP 103/157 0/5 SafeBus-COL-20-ReachabilityCardinality-03 24639750 t fired, 25 attempts, .
122 EF FNDP 103/157 0/5 SafeBus-COL-20-ReachabilityCardinality-08 24548683 t fired, 25 attempts, .
Time elapsed: 130 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 108/135 0/5 SafeBus-COL-20-ReachabilityCardinality-02 29254060 t fired, 30 attempts, .
104 EF FNDP 108/152 0/5 SafeBus-COL-20-ReachabilityCardinality-01 29835186 t fired, 30 attempts, .
117 EF FNDP 108/152 0/5 SafeBus-COL-20-ReachabilityCardinality-03 25836658 t fired, 26 attempts, .
122 EF FNDP 108/152 0/5 SafeBus-COL-20-ReachabilityCardinality-08 25616062 t fired, 26 attempts, .
Time elapsed: 135 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 113/130 0/5 SafeBus-COL-20-ReachabilityCardinality-02 30578497 t fired, 31 attempts, .
104 EF FNDP 113/147 0/5 SafeBus-COL-20-ReachabilityCardinality-01 31111466 t fired, 32 attempts, .
117 EF FNDP 113/147 0/5 SafeBus-COL-20-ReachabilityCardinality-03 27068537 t fired, 28 attempts, .
122 EF FNDP 113/147 0/5 SafeBus-COL-20-ReachabilityCardinality-08 26764292 t fired, 27 attempts, .
Time elapsed: 140 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 118/125 0/5 SafeBus-COL-20-ReachabilityCardinality-02 31909957 t fired, 32 attempts, .
104 EF FNDP 118/142 0/5 SafeBus-COL-20-ReachabilityCardinality-01 32472911 t fired, 33 attempts, .
117 EF FNDP 118/142 0/5 SafeBus-COL-20-ReachabilityCardinality-03 28161694 t fired, 29 attempts, .
122 EF FNDP 118/142 0/5 SafeBus-COL-20-ReachabilityCardinality-08 27817008 t fired, 28 attempts, .
Time elapsed: 145 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 102 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-02 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 9 0 0 0 1 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 1 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF FNDP 123/137 0/5 SafeBus-COL-20-ReachabilityCardinality-01 33712808 t fired, 34 attempts, .
117 EF FNDP 123/137 0/5 SafeBus-COL-20-ReachabilityCardinality-03 29330524 t fired, 30 attempts, .
122 EF FNDP 123/137 0/5 SafeBus-COL-20-ReachabilityCardinality-08 28960260 t fired, 29 attempts, .
Time elapsed: 150 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 215 (type EXCL) for 6 SafeBus-COL-20-ReachabilityCardinality-02
lola: time limit : 431 sec
lola: memory limit: 32 pages
lola: FINISHED task # 102 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-02
lola: result : unknown
lola: fired transitions : 33216538
lola: tried executions : 35
lola: time used : 123.000000
lola: memory pages used : 0
lola: CANCELED task # 104 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-01 (local timeout)
lola: CANCELED task # 117 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-03 (local timeout)
lola: CANCELED task # 122 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-08 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 0 1 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 0 1 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 10 0 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 0 1 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
215 EF EXCL 5/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 733 m, 146 m/sec, 746 t fired, .
Time elapsed: 155 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 198 (type FNDP) for 21 SafeBus-COL-20-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 199 (type EQUN) for 21 SafeBus-COL-20-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 201 (type SRCH) for 21 SafeBus-COL-20-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 117 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-03
lola: result : unknown
lola: fired transitions : 31310750
lola: tried executions : 33
lola: time used : 128.000000
lola: memory pages used : 0
lola: FINISHED task # 122 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-08
lola: result : unknown
lola: fired transitions : 30783676
lola: tried executions : 32
lola: time used : 128.000000
lola: memory pages used : 0
lola: FINISHED task # 104 (type SKEL/FNDP) for SafeBus-COL-20-ReachabilityCardinality-01
lola: result : unknown
lola: fired transitions : 35609286
lola: tried executions : 37
lola: time used : 128.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-199.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 5/191 0/5 SafeBus-COL-20-ReachabilityCardinality-07 1262 t fired, 1 attempts, .
199 EF STEQ 5/191 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 5/202 1/5 SafeBus-COL-20-ReachabilityCardinality-07 1201 m, 240 m/sec, 1200 t fired, .
215 EF EXCL 10/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 1379 m, 129 m/sec, 1425 t fired, .
Time elapsed: 160 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 10/186 0/5 SafeBus-COL-20-ReachabilityCardinality-07 2579 t fired, 1 attempts, .
199 EF STEQ 10/186 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 10/197 1/5 SafeBus-COL-20-ReachabilityCardinality-07 2516 m, 263 m/sec, 2522 t fired, .
215 EF EXCL 15/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 2021 m, 128 m/sec, 2092 t fired, .
Time elapsed: 165 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 15/181 0/5 SafeBus-COL-20-ReachabilityCardinality-07 3917 t fired, 1 attempts, .
199 EF STEQ 15/181 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 15/192 1/5 SafeBus-COL-20-ReachabilityCardinality-07 3846 m, 266 m/sec, 3935 t fired, .
215 EF EXCL 20/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 2645 m, 124 m/sec, 2762 t fired, .
Time elapsed: 170 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 20/176 0/5 SafeBus-COL-20-ReachabilityCardinality-07 5185 t fired, 1 attempts, .
199 EF STEQ 20/176 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 20/187 1/5 SafeBus-COL-20-ReachabilityCardinality-07 5194 m, 269 m/sec, 5283 t fired, .
215 EF EXCL 25/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 3210 m, 113 m/sec, 3360 t fired, .
Time elapsed: 175 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 25/171 0/5 SafeBus-COL-20-ReachabilityCardinality-07 6507 t fired, 1 attempts, .
199 EF STEQ 25/171 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 25/182 1/5 SafeBus-COL-20-ReachabilityCardinality-07 6503 m, 261 m/sec, 6630 t fired, .
215 EF EXCL 30/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 3812 m, 120 m/sec, 3985 t fired, .
Time elapsed: 180 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 30/166 0/5 SafeBus-COL-20-ReachabilityCardinality-07 7811 t fired, 1 attempts, .
199 EF STEQ 30/166 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 30/177 1/5 SafeBus-COL-20-ReachabilityCardinality-07 7849 m, 269 m/sec, 8069 t fired, .
215 EF EXCL 35/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 4451 m, 127 m/sec, 4653 t fired, .
Time elapsed: 185 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 35/161 0/5 SafeBus-COL-20-ReachabilityCardinality-07 9149 t fired, 1 attempts, .
199 EF STEQ 35/161 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 35/172 1/5 SafeBus-COL-20-ReachabilityCardinality-07 9121 m, 254 m/sec, 9435 t fired, .
215 EF EXCL 40/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 5078 m, 125 m/sec, 5323 t fired, .
Time elapsed: 190 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 40/156 0/5 SafeBus-COL-20-ReachabilityCardinality-07 10500 t fired, 1 attempts, .
199 EF STEQ 40/156 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 40/167 1/5 SafeBus-COL-20-ReachabilityCardinality-07 10463 m, 268 m/sec, 10901 t fired, .
215 EF EXCL 45/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 5638 m, 112 m/sec, 5910 t fired, .
Time elapsed: 195 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 45/151 0/5 SafeBus-COL-20-ReachabilityCardinality-07 11864 t fired, 1 attempts, .
199 EF STEQ 45/151 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 45/162 1/5 SafeBus-COL-20-ReachabilityCardinality-07 11789 m, 265 m/sec, 12393 t fired, .
215 EF EXCL 50/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 6263 m, 125 m/sec, 6585 t fired, .
Time elapsed: 200 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 50/146 0/5 SafeBus-COL-20-ReachabilityCardinality-07 13183 t fired, 1 attempts, .
199 EF STEQ 50/146 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 50/157 1/5 SafeBus-COL-20-ReachabilityCardinality-07 13081 m, 258 m/sec, 13760 t fired, .
215 EF EXCL 55/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 6878 m, 123 m/sec, 7263 t fired, .
Time elapsed: 205 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 55/141 0/5 SafeBus-COL-20-ReachabilityCardinality-07 14518 t fired, 1 attempts, .
199 EF STEQ 55/141 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 55/152 1/5 SafeBus-COL-20-ReachabilityCardinality-07 14409 m, 265 m/sec, 15193 t fired, .
215 EF EXCL 60/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 7490 m, 122 m/sec, 7951 t fired, .
Time elapsed: 210 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 60/136 0/5 SafeBus-COL-20-ReachabilityCardinality-07 15822 t fired, 1 attempts, .
199 EF STEQ 60/136 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 60/147 1/5 SafeBus-COL-20-ReachabilityCardinality-07 15787 m, 275 m/sec, 16735 t fired, .
215 EF EXCL 65/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 8079 m, 117 m/sec, 8554 t fired, .
Time elapsed: 215 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 65/131 0/5 SafeBus-COL-20-ReachabilityCardinality-07 17108 t fired, 1 attempts, .
199 EF STEQ 65/131 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 65/142 1/5 SafeBus-COL-20-ReachabilityCardinality-07 17098 m, 262 m/sec, 18139 t fired, .
215 EF EXCL 70/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 8688 m, 121 m/sec, 9206 t fired, .
Time elapsed: 220 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 70/126 0/5 SafeBus-COL-20-ReachabilityCardinality-07 18414 t fired, 1 attempts, .
199 EF STEQ 70/126 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 70/137 1/5 SafeBus-COL-20-ReachabilityCardinality-07 18355 m, 251 m/sec, 19477 t fired, .
215 EF EXCL 75/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 9366 m, 135 m/sec, 9957 t fired, .
Time elapsed: 225 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 75/121 0/5 SafeBus-COL-20-ReachabilityCardinality-07 19708 t fired, 1 attempts, .
199 EF STEQ 75/121 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 75/132 1/5 SafeBus-COL-20-ReachabilityCardinality-07 19711 m, 271 m/sec, 21038 t fired, .
215 EF EXCL 80/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 9951 m, 117 m/sec, 10557 t fired, .
Time elapsed: 230 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 80/116 0/5 SafeBus-COL-20-ReachabilityCardinality-07 21075 t fired, 1 attempts, .
199 EF STEQ 80/116 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 80/127 1/5 SafeBus-COL-20-ReachabilityCardinality-07 20966 m, 251 m/sec, 22491 t fired, .
215 EF EXCL 85/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 10598 m, 129 m/sec, 11250 t fired, .
Time elapsed: 235 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 85/111 0/5 SafeBus-COL-20-ReachabilityCardinality-07 22380 t fired, 1 attempts, .
199 EF STEQ 85/111 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 85/122 1/5 SafeBus-COL-20-ReachabilityCardinality-07 22276 m, 262 m/sec, 23958 t fired, .
215 EF EXCL 90/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 11254 m, 131 m/sec, 11973 t fired, .
Time elapsed: 240 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 90/106 0/5 SafeBus-COL-20-ReachabilityCardinality-07 23717 t fired, 1 attempts, .
199 EF STEQ 90/106 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 90/117 1/5 SafeBus-COL-20-ReachabilityCardinality-07 23612 m, 267 m/sec, 25459 t fired, .
215 EF EXCL 95/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 11831 m, 115 m/sec, 12612 t fired, .
Time elapsed: 245 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 3 0 0 0 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
198 EF FNDP 95/101 0/5 SafeBus-COL-20-ReachabilityCardinality-07 25011 t fired, 1 attempts, .
199 EF STEQ 95/101 0/5 SafeBus-COL-20-ReachabilityCardinality-07 sara is running.
201 EF SRCH 95/112 1/5 SafeBus-COL-20-ReachabilityCardinality-07 24940 m, 265 m/sec, 26973 t fired, .
215 EF EXCL 100/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 12479 m, 129 m/sec, 13351 t fired, .
Time elapsed: 250 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 198 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-07 (local timeout)
lola: CANCELED task # 199 (type EQUN) for SafeBus-COL-20-ReachabilityCardinality-07 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 1 0 0 2 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
201 EF SRCH 100/107 1/5 SafeBus-COL-20-ReachabilityCardinality-07 26273 m, 266 m/sec, 28440 t fired, .
215 EF EXCL 105/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 13136 m, 131 m/sec, 14115 t fired, .
Time elapsed: 255 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 204 (type FNDP) for 24 SafeBus-COL-20-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 205 (type EQUN) for 24 SafeBus-COL-20-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 198 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-07
lola: result : unknown
lola: fired transitions : 26316
lola: tried executions : 2
lola: time used : 100.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 199 (type EQUN) for SafeBus-COL-20-ReachabilityCardinality-07
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-205.sara.
lola: CANCELED task # 201 (type SRCH) for SafeBus-COL-20-ReachabilityCardinality-07 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-01: EF 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-03: AG 0 9 0 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 7 0 0 2 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
204 EF FNDP 5/196 0/5 SafeBus-COL-20-ReachabilityCardinality-08 1662 t fired, 1 attempts, .
205 EF STEQ 5/196 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 110/431 1/32 SafeBus-COL-20-ReachabilityCardinality-02 13800 m, 132 m/sec, 14864 t fired, .
Time elapsed: 260 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 125 (type SKEL/EQUN) for 9 SafeBus-COL-20-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-125.sara.
lola: FINISHED task # 125 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-03
lola: result : false
lola: LAUNCH task # 130 (type SKEL/EQUN) for 3 SafeBus-COL-20-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-130.sara.
lola: FINISHED task # 130 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-01
lola: result : false
lola: LAUNCH task # 203 (type SRCH) for 21 SafeBus-COL-20-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 203 (type SRCH) for SafeBus-COL-20-ReachabilityCardinality-07
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 52 (type SKEL/FNDP) for 21 SafeBus-COL-20-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 4/303 0/5 SafeBus-COL-20-ReachabilityCardinality-07 7312545 t fired, 8 attempts, .
204 EF FNDP 10/298 0/5 SafeBus-COL-20-ReachabilityCardinality-08 3363 t fired, 1 attempts, .
205 EF STEQ 10/298 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 115/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 14473 m, 134 m/sec, 15648 t fired, .
Time elapsed: 265 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 9/299 0/5 SafeBus-COL-20-ReachabilityCardinality-07 15676972 t fired, 16 attempts, .
204 EF FNDP 15/294 0/5 SafeBus-COL-20-ReachabilityCardinality-08 5100 t fired, 1 attempts, .
205 EF STEQ 15/294 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 120/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 15084 m, 122 m/sec, 16347 t fired, .
Time elapsed: 270 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 14/294 0/5 SafeBus-COL-20-ReachabilityCardinality-07 23948415 t fired, 24 attempts, .
204 EF FNDP 20/289 0/5 SafeBus-COL-20-ReachabilityCardinality-08 6707 t fired, 1 attempts, .
205 EF STEQ 20/289 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 125/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 15696 m, 122 m/sec, 17002 t fired, .
Time elapsed: 275 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 19/289 0/5 SafeBus-COL-20-ReachabilityCardinality-07 32697633 t fired, 33 attempts, .
204 EF FNDP 25/284 0/5 SafeBus-COL-20-ReachabilityCardinality-08 8451 t fired, 1 attempts, .
205 EF STEQ 25/284 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 130/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 16267 m, 114 m/sec, 17614 t fired, .
Time elapsed: 280 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 24/284 0/5 SafeBus-COL-20-ReachabilityCardinality-07 41457141 t fired, 42 attempts, .
204 EF FNDP 30/279 0/5 SafeBus-COL-20-ReachabilityCardinality-08 10056 t fired, 1 attempts, .
205 EF STEQ 30/279 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 135/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 16890 m, 124 m/sec, 18328 t fired, .
Time elapsed: 285 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 29/279 0/5 SafeBus-COL-20-ReachabilityCardinality-07 50434073 t fired, 51 attempts, .
204 EF FNDP 35/274 0/5 SafeBus-COL-20-ReachabilityCardinality-08 11695 t fired, 1 attempts, .
205 EF STEQ 35/274 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 140/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 17486 m, 119 m/sec, 19020 t fired, .
Time elapsed: 290 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 34/274 0/5 SafeBus-COL-20-ReachabilityCardinality-07 59094471 t fired, 60 attempts, .
204 EF FNDP 40/269 0/5 SafeBus-COL-20-ReachabilityCardinality-08 13483 t fired, 1 attempts, .
205 EF STEQ 40/269 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 145/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 18134 m, 129 m/sec, 19754 t fired, .
Time elapsed: 295 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 39/269 0/5 SafeBus-COL-20-ReachabilityCardinality-07 67429702 t fired, 68 attempts, .
204 EF FNDP 45/264 0/5 SafeBus-COL-20-ReachabilityCardinality-08 15131 t fired, 1 attempts, .
205 EF STEQ 45/264 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 150/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 18759 m, 125 m/sec, 20431 t fired, .
Time elapsed: 300 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 44/264 0/5 SafeBus-COL-20-ReachabilityCardinality-07 76416637 t fired, 77 attempts, .
204 EF FNDP 50/259 0/5 SafeBus-COL-20-ReachabilityCardinality-08 16729 t fired, 1 attempts, .
205 EF STEQ 50/259 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 155/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 19378 m, 123 m/sec, 21120 t fired, .
Time elapsed: 305 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 49/259 0/5 SafeBus-COL-20-ReachabilityCardinality-07 85084947 t fired, 86 attempts, .
204 EF FNDP 55/254 0/5 SafeBus-COL-20-ReachabilityCardinality-08 18358 t fired, 1 attempts, .
205 EF STEQ 55/254 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 160/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 20027 m, 129 m/sec, 21864 t fired, .
Time elapsed: 310 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 54/254 0/5 SafeBus-COL-20-ReachabilityCardinality-07 93881553 t fired, 94 attempts, .
204 EF FNDP 60/249 0/5 SafeBus-COL-20-ReachabilityCardinality-08 19971 t fired, 1 attempts, .
205 EF STEQ 60/249 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 165/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 20672 m, 129 m/sec, 22606 t fired, .
Time elapsed: 315 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 59/249 0/5 SafeBus-COL-20-ReachabilityCardinality-07 102374218 t fired, 103 attempts, .
204 EF FNDP 65/244 0/5 SafeBus-COL-20-ReachabilityCardinality-08 21686 t fired, 1 attempts, .
205 EF STEQ 65/244 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 170/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 21302 m, 126 m/sec, 23300 t fired, .
Time elapsed: 320 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 64/244 0/5 SafeBus-COL-20-ReachabilityCardinality-07 111087504 t fired, 112 attempts, .
204 EF FNDP 70/239 0/5 SafeBus-COL-20-ReachabilityCardinality-08 23383 t fired, 1 attempts, .
205 EF STEQ 70/239 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 175/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 21982 m, 136 m/sec, 24119 t fired, .
Time elapsed: 325 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 69/239 0/5 SafeBus-COL-20-ReachabilityCardinality-07 119523071 t fired, 120 attempts, .
204 EF FNDP 75/234 0/5 SafeBus-COL-20-ReachabilityCardinality-08 25038 t fired, 1 attempts, .
205 EF STEQ 75/234 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 180/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 22636 m, 130 m/sec, 24879 t fired, .
Time elapsed: 330 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 74/234 0/5 SafeBus-COL-20-ReachabilityCardinality-07 127985518 t fired, 128 attempts, .
204 EF FNDP 80/229 0/5 SafeBus-COL-20-ReachabilityCardinality-08 26738 t fired, 1 attempts, .
205 EF STEQ 80/229 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 185/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 23285 m, 129 m/sec, 25628 t fired, .
Time elapsed: 335 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 79/229 0/5 SafeBus-COL-20-ReachabilityCardinality-07 136253907 t fired, 137 attempts, .
204 EF FNDP 85/224 0/5 SafeBus-COL-20-ReachabilityCardinality-08 28461 t fired, 1 attempts, .
205 EF STEQ 85/224 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 190/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 23897 m, 122 m/sec, 26308 t fired, .
Time elapsed: 340 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 84/224 0/5 SafeBus-COL-20-ReachabilityCardinality-07 145030810 t fired, 146 attempts, .
204 EF FNDP 90/219 0/5 SafeBus-COL-20-ReachabilityCardinality-08 30226 t fired, 1 attempts, .
205 EF STEQ 90/219 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 195/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 24589 m, 138 m/sec, 27082 t fired, .
Time elapsed: 345 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 89/219 0/5 SafeBus-COL-20-ReachabilityCardinality-07 153420600 t fired, 154 attempts, .
204 EF FNDP 95/214 0/5 SafeBus-COL-20-ReachabilityCardinality-08 32060 t fired, 1 attempts, .
205 EF STEQ 95/214 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 200/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 25216 m, 125 m/sec, 27793 t fired, .
Time elapsed: 350 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 94/214 0/5 SafeBus-COL-20-ReachabilityCardinality-07 161649307 t fired, 162 attempts, .
204 EF FNDP 100/209 0/5 SafeBus-COL-20-ReachabilityCardinality-08 33801 t fired, 1 attempts, .
205 EF STEQ 100/209 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 205/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 25856 m, 128 m/sec, 28517 t fired, .
Time elapsed: 355 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 99/209 0/5 SafeBus-COL-20-ReachabilityCardinality-07 170246403 t fired, 171 attempts, .
204 EF FNDP 105/204 0/5 SafeBus-COL-20-ReachabilityCardinality-08 35597 t fired, 1 attempts, .
205 EF STEQ 105/204 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 210/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 26496 m, 128 m/sec, 29265 t fired, .
Time elapsed: 360 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 104/204 0/5 SafeBus-COL-20-ReachabilityCardinality-07 178229900 t fired, 179 attempts, .
204 EF FNDP 110/199 0/5 SafeBus-COL-20-ReachabilityCardinality-08 37161 t fired, 1 attempts, .
205 EF STEQ 110/199 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 215/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 27127 m, 126 m/sec, 30016 t fired, .
Time elapsed: 365 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 109/199 0/5 SafeBus-COL-20-ReachabilityCardinality-07 186637252 t fired, 187 attempts, .
204 EF FNDP 115/194 0/5 SafeBus-COL-20-ReachabilityCardinality-08 38891 t fired, 1 attempts, .
205 EF STEQ 115/194 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 220/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 27782 m, 131 m/sec, 30763 t fired, .
Time elapsed: 370 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 114/194 0/5 SafeBus-COL-20-ReachabilityCardinality-07 195438469 t fired, 196 attempts, .
204 EF FNDP 120/189 0/5 SafeBus-COL-20-ReachabilityCardinality-08 40587 t fired, 1 attempts, .
205 EF STEQ 120/189 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 225/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 28378 m, 119 m/sec, 31445 t fired, .
Time elapsed: 375 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 119/189 0/5 SafeBus-COL-20-ReachabilityCardinality-07 203970020 t fired, 204 attempts, .
204 EF FNDP 125/184 0/5 SafeBus-COL-20-ReachabilityCardinality-08 42277 t fired, 1 attempts, .
205 EF STEQ 125/184 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 230/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 29030 m, 130 m/sec, 32191 t fired, .
Time elapsed: 380 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 124/184 0/5 SafeBus-COL-20-ReachabilityCardinality-07 212929811 t fired, 213 attempts, .
204 EF FNDP 130/179 0/5 SafeBus-COL-20-ReachabilityCardinality-08 44034 t fired, 1 attempts, .
205 EF STEQ 130/179 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 235/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 29645 m, 123 m/sec, 32894 t fired, .
Time elapsed: 385 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 129/179 0/5 SafeBus-COL-20-ReachabilityCardinality-07 221358144 t fired, 222 attempts, .
204 EF FNDP 135/174 0/5 SafeBus-COL-20-ReachabilityCardinality-08 45779 t fired, 1 attempts, .
205 EF STEQ 135/174 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 240/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 30267 m, 124 m/sec, 33611 t fired, .
Time elapsed: 390 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 134/174 0/5 SafeBus-COL-20-ReachabilityCardinality-07 230176260 t fired, 231 attempts, .
204 EF FNDP 140/169 0/5 SafeBus-COL-20-ReachabilityCardinality-08 47489 t fired, 1 attempts, .
205 EF STEQ 140/169 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 245/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 30930 m, 132 m/sec, 34397 t fired, .
Time elapsed: 395 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 139/169 0/5 SafeBus-COL-20-ReachabilityCardinality-07 238686125 t fired, 239 attempts, .
204 EF FNDP 145/164 0/5 SafeBus-COL-20-ReachabilityCardinality-08 49279 t fired, 1 attempts, .
205 EF STEQ 145/164 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 250/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 31525 m, 119 m/sec, 35068 t fired, .
Time elapsed: 400 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 2 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 144/164 0/5 SafeBus-COL-20-ReachabilityCardinality-07 247351517 t fired, 248 attempts, .
204 EF FNDP 150/159 0/5 SafeBus-COL-20-ReachabilityCardinality-08 50950 t fired, 1 attempts, .
205 EF STEQ 150/159 0/5 SafeBus-COL-20-ReachabilityCardinality-08 sara is running.
215 EF EXCL 255/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 32181 m, 131 m/sec, 35836 t fired, .
Time elapsed: 405 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 204 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-08 (local timeout)
lola: CANCELED task # 205 (type EQUN) for SafeBus-COL-20-ReachabilityCardinality-08 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-20-ReachabilityCardinality-02: AG 0 8 1 0 1 0 0 0
SafeBus-COL-20-ReachabilityCardinality-06: AG 0 5 0 0 2 0 0 3
SafeBus-COL-20-ReachabilityCardinality-07: EF 0 5 1 0 3 1 0 0
SafeBus-COL-20-ReachabilityCardinality-08: EF 0 7 0 0 1 2 0 0
SafeBus-COL-20-ReachabilityCardinality-10: EF 0 5 0 0 1 0 0 4
SafeBus-COL-20-ReachabilityCardinality-15: EF 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
52 EF FNDP 149/159 0/5 SafeBus-COL-20-ReachabilityCardinality-07 256142209 t fired, 257 attempts, .
215 EF EXCL 260/575 1/32 SafeBus-COL-20-ReachabilityCardinality-02 32822 m, 128 m/sec, 36594 t fired, .
Time elapsed: 410 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 207 (type SRCH) for 24 SafeBus-COL-20-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 209 (type SRCH) for 24 SafeBus-COL-20-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 205 (type EQUN) for SafeBus-COL-20-ReachabilityCardinality-08
lola: result : unknown
lola: FINISHED task # 204 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-08
lola: result : unknown
lola: fired transitions : 52700
lola: tried executions : 2
lola: time used : 155.000000
lola: memory pages used : 0
lola: FINISHED task # 209 (type SRCH) for SafeBus-COL-20-ReachabilityCardinality-08
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 166 (type FNDP) for 30 SafeBus-COL-20-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 166 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-10
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 186 (type FNDP) for 18 SafeBus-COL-20-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 186 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-06
lola: result : true
lola: fired transitions : 14
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 172 (type FNDP) for 45 SafeBus-COL-20-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 172 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-15
lola: result : true
lola: fired transitions : 14
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 112 (type SKEL/EQUN) for 6 SafeBus-COL-20-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-112.sara.
lola: FINISHED task # 112 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-02
lola: result : false
lola: CANCELED task # 215 (type EXCL) for SafeBus-COL-20-ReachabilityCardinality-02 (obsolete)
lola: LAUNCH task # 202 (type EXCL) for 21 SafeBus-COL-20-ReachabilityCardinality-07
lola: time limit : 1594 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 136 (type SKEL/EQUN) for 24 SafeBus-COL-20-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-136.sara.
lola: FINISHED task # 136 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-08
lola: result : false
lola: CANCELED task # 207 (type SRCH) for SafeBus-COL-20-ReachabilityCardinality-08 (obsolete)
lola: LAUNCH task # 53 (type SKEL/EQUN) for 21 SafeBus-COL-20-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 106 (type SKEL/SRCH) for 21 SafeBus-COL-20-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-53.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 53 (type SKEL/EQUN) for SafeBus-COL-20-ReachabilityCardinality-07
lola: result : false
lola: CANCELED task # 52 (type FNDP) for SafeBus-COL-20-ReachabilityCardinality-07 (obsolete)
lola: CANCELED task # 106 (type SRCH) for SafeBus-COL-20-ReachabilityCardinality-07 (obsolete)
lola: CANCELED task # 202 (type EXCL) for SafeBus-COL-20-ReachabilityCardinality-07 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SafeBus-COL-20-ReachabilityCardinality-00: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-01: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-02: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-03: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-04: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-05: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-06: AG false findpath
SafeBus-COL-20-ReachabilityCardinality-07: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-08: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-09: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-10: EF true findpath
SafeBus-COL-20-ReachabilityCardinality-11: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-12: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-13: AG true skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-14: EF false skeleton: state equation
SafeBus-COL-20-ReachabilityCardinality-15: EF true findpath
Time elapsed: 412 secs. Pages in use: 3
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="SafeBus-COL-20"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lolaxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lolaxred"
echo " Input is SafeBus-COL-20, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r359-smll-167891808700238"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-20.tgz
mv SafeBus-COL-20 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;