About the Execution of LoLa+red for SafeBus-COL-80
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16208.191 | 3122613.00 | 4822727.00 | 16113.20 | FTTFFTTTTF?TFTFT | 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-167891808700254.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-80, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r359-smll-167891808700254
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 9.3K Feb 26 01:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 01:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 01:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 01:29 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 4.0K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 01:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 01:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 01:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:50 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 45K 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-80-ReachabilityCardinality-00
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-01
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-02
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-03
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-04
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-05
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-06
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-07
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-08
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-09
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-10
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-11
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-12
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-13
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-14
FORMULA_NAME SafeBus-COL-80-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1679043829504
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-80
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-17 09:03:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2023-03-17 09:03:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 09:03:52] [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 09:03:53] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-17 09:03:53] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1038 ms
[2023-03-17 09:03:53] [INFO ] Detected 1 constant HL places corresponding to 80 PT places.
[2023-03-17 09:03:53] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 13766 PT places and 4.2035361E7 transition bindings in 35 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 33 ms.
Working with output stream class java.io.PrintStream
[2023-03-17 09:03:53] [INFO ] Built PT skeleton of HLPN with 20 places and 14 transitions 68 arcs in 6 ms.
[2023-03-17 09:03:53] [INFO ] Skeletonized 16 HLPN properties in 3 ms.
Remains 16 properties that can be checked using skeleton over-approximation.
Initial state reduction rules removed 9 formulas.
FORMULA SafeBus-COL-80-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-80-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-80-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-80-ReachabilityCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-80-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-80-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-80-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-80-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-80-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Reduce places removed 3 places and 0 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
[2023-03-17 09:03:53] [INFO ] Flatten gal took : 20 ms
[2023-03-17 09:03:53] [INFO ] Flatten gal took : 5 ms
Domain [It(80), It(80)] of place AMC breaks symmetries in sort It
[2023-03-17 09:03:57] [INFO ] Unfolded HLPN to a Petri net with 13766 places and 550801 transitions 4295924 arcs in 3406 ms.
[2023-03-17 09:03:57] [INFO ] Unfolded 7 HLPN properties in 15 ms.
Deduced a syphon composed of 80 places in 1045 ms
Reduce places removed 160 places and 160 transitions.
Interrupted random walk after 9739 steps, including 2 resets, run timeout after 30011 ms. (steps per millisecond=0 ) properties seen 1
FORMULA SafeBus-COL-80-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1649 ms. (steps per millisecond=6 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 1668 ms. (steps per millisecond=5 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 3470 ms. (steps per millisecond=2 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=56 ) properties (out of 6) seen :0
Interrupted Best-First random walk after 7519 steps, including 2 resets, run timeout after 5020 ms. (steps per millisecond=1 ) properties seen 0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=67 ) properties (out of 6) seen :0
Running SMT prover for 6 properties.
[2023-03-17 09:04:45] [INFO ] Flow matrix only has 38722 transitions (discarded 511919 similar events)
// Phase 1: matrix 38722 rows 13606 cols
[2023-03-17 09:04:54] [INFO ] Computed 325 place invariants in 9149 ms
[2023-03-17 09:05:00] [INFO ] [Real]Absence check using 161 positive place invariants in 376 ms returned sat
[2023-03-17 09:05:03] [INFO ] [Real]Absence check using 161 positive and 164 generalized place invariants in 3114 ms returned sat
[2023-03-17 09:05:04] [INFO ] After 9637ms SMT Verify possible using all constraints in real domain returned unsat :2 sat :0 real:4
[2023-03-17 09:05:08] [INFO ] [Nat]Absence check using 161 positive place invariants in 408 ms returned sat
[2023-03-17 09:05:09] [INFO ] [Nat]Absence check using 161 positive and 164 generalized place invariants in 1163 ms returned sat
[2023-03-17 09:05:29] [INFO ] After 17775ms SMT Verify possible using state equation in natural domain returned unsat :5 sat :0
[2023-03-17 09:05:39] [INFO ] State equation strengthened by 6481 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:642)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:902)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-17 09:05:39] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-17 09:05:39] [INFO ] After 34746ms SMT Verify possible using all constraints in natural domain returned unsat :2 sat :0 real:4
FORMULA SafeBus-COL-80-ReachabilityCardinality-12 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-80-ReachabilityCardinality-09 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-80-ReachabilityCardinality-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-80-ReachabilityCardinality-01 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA SafeBus-COL-80-ReachabilityCardinality-00 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 6 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 13365 out of 13606 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 13606/13606 places, 550641/550641 transitions.
Applied a total of 0 rules in 6045 ms. Remains 13606 /13606 variables (removed 0) and now considering 550641/550641 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6087 ms. Remains : 13606/13606 places, 550641/550641 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 26088 ms. (steps per millisecond=0 ) properties (out of 1) seen :0
Interrupted Best-First random walk after 7669 steps, including 2 resets, run timeout after 5064 ms. (steps per millisecond=1 ) properties seen 0
Interrupted probabilistic random walk after 46868 steps, run timeout after 93013 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 46868 steps, saw 41251 distinct states, run finished after 93020 ms. (steps per millisecond=0 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-17 09:07:51] [INFO ] Flow matrix only has 38722 transitions (discarded 511919 similar events)
[2023-03-17 09:07:51] [INFO ] Invariant cache hit.
[2023-03-17 09:07:53] [INFO ] After 2751ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-17 09:07:56] [INFO ] [Nat]Absence check using 161 positive place invariants in 264 ms returned sat
[2023-03-17 09:07:58] [INFO ] [Nat]Absence check using 161 positive and 164 generalized place invariants in 1400 ms returned sat
[2023-03-17 09:08:18] [INFO ] After 25021ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Parikh walk visited 0 properties in 0 ms.
Support contains 13365 out of 13606 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 13606/13606 places, 550641/550641 transitions.
Applied a total of 0 rules in 5932 ms. Remains 13606 /13606 variables (removed 0) and now considering 550641/550641 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5933 ms. Remains : 13606/13606 places, 550641/550641 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 13606/13606 places, 550641/550641 transitions.
Applied a total of 0 rules in 5424 ms. Remains 13606 /13606 variables (removed 0) and now considering 550641/550641 (removed 0) transitions.
[2023-03-17 09:08:30] [INFO ] Flow matrix only has 38722 transitions (discarded 511919 similar events)
[2023-03-17 09:08:30] [INFO ] Invariant cache hit.
[2023-03-17 09:08:32] [INFO ] Implicit Places using invariants in 2303 ms returned []
Implicit Place search using SMT only with invariants took 2305 ms to find 0 implicit places.
[2023-03-17 09:08:32] [INFO ] Flow matrix only has 38722 transitions (discarded 511919 similar events)
[2023-03-17 09:08:32] [INFO ] Invariant cache hit.
[2023-03-17 09:08:34] [INFO ] Dead Transitions using invariants and state equation in 2112 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9929 ms. Remains : 13606/13606 places, 550641/550641 transitions.
Ensure Unique test removed 511919 transitions
Reduce isomorphic transitions removed 511919 transitions.
Iterating post reduction 0 with 511919 rules applied. Total rules applied 511919 place count 13606 transition count 38722
Applied a total of 511919 rules in 23817 ms. Remains 13606 /13606 variables (removed 0) and now considering 38722/550641 (removed 511919) transitions.
Running SMT prover for 1 properties.
[2023-03-17 09:09:00] [INFO ] Invariant cache hit.
[2023-03-17 09:09:03] [INFO ] After 2541ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-17 09:09:06] [INFO ] [Nat]Absence check using 161 positive place invariants in 304 ms returned sat
[2023-03-17 09:09:08] [INFO ] [Nat]Absence check using 161 positive and 164 generalized place invariants in 2103 ms returned sat
[2023-03-17 09:10:09] [INFO ] After 59699ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-17 09:10:13] [INFO ] After 63521ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 1543 ms.
[2023-03-17 09:10:15] [INFO ] After 71934ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2023-03-17 09:10:16] [INFO ] Export to MCC of 1 properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 22 ms.
[2023-03-17 09:10:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 13606 places, 550641 transitions and 4295204 arcs took 1966 ms.
[2023-03-17 09:10:46] [INFO ] Flatten gal took : 26259 ms
Total runtime 414498 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT SafeBus-COL-80
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/374
ReachabilityCardinality
BK_STOP 1679046952117
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 16251836 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16250504 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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/374/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/374/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/374/ReachabilityCardinality.xml
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 2257 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 2262 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 2267 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 2272 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 2277 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 2282 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 2287 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 2292 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 2297 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 1
lola: Created skeleton in 5.000000 secs.
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: LAUNCH task # 4 (type SKEL/FNDP) for 0 SafeBus-COL-80-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 5 (type SKEL/EQUN) for 0 SafeBus-COL-80-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 7 (type SKEL/SRCH) for 0 SafeBus-COL-80-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 8 (type SKEL/SRCH) for 0 SafeBus-COL-80-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 0/649 0/5 SafeBus-COL-80-ReachabilityCardinality-10 2934 t fired, 1 attempts, .
5 EF STEQ 0/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 0/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1654 m, 330 m/sec, 1688 t fired, .
8 EF SRCH 0/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 175 m, 35 m/sec, 175 t fired, .
Time elapsed: 2302 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
sara: try reading problem file /home/mcc/execution/374/ReachabilityCardinality-5.sara.
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 195)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 5/649 0/5 SafeBus-COL-80-ReachabilityCardinality-10 346012 t fired, 1 attempts, .
5 EF STEQ 5/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 5/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 235979 m, 46865 m/sec, 352011 t fired, .
8 EF SRCH 5/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 34980 m, 6961 m/sec, 34979 t fired, .
Time elapsed: 2307 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 10/644 0/5 SafeBus-COL-80-ReachabilityCardinality-10 743308 t fired, 1 attempts, .
5 EF STEQ 10/1293 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 10/1293 1/5 SafeBus-COL-80-ReachabilityCardinality-10 511521 m, 55108 m/sec, 812298 t fired, .
8 EF SRCH 10/1293 1/5 SafeBus-COL-80-ReachabilityCardinality-10 73579 m, 7719 m/sec, 76266 t fired, .
Time elapsed: 2312 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 15/639 0/5 SafeBus-COL-80-ReachabilityCardinality-10 1111790 t fired, 2 attempts, .
5 EF STEQ 15/1288 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 15/1288 1/5 SafeBus-COL-80-ReachabilityCardinality-10 789484 m, 55592 m/sec, 1281352 t fired, .
8 EF SRCH 15/1288 1/5 SafeBus-COL-80-ReachabilityCardinality-10 109807 m, 7245 m/sec, 118972 t fired, .
Time elapsed: 2317 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 20/634 0/5 SafeBus-COL-80-ReachabilityCardinality-10 1480099 t fired, 2 attempts, .
5 EF STEQ 20/1283 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 20/1283 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1088969 m, 59897 m/sec, 1790448 t fired, .
8 EF SRCH 20/1283 1/5 SafeBus-COL-80-ReachabilityCardinality-10 144501 m, 6938 m/sec, 161814 t fired, .
Time elapsed: 2322 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 25/629 0/5 SafeBus-COL-80-ReachabilityCardinality-10 1899836 t fired, 2 attempts, .
5 EF STEQ 25/1278 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 25/1278 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1390842 m, 60374 m/sec, 2307031 t fired, .
8 EF SRCH 25/1278 1/5 SafeBus-COL-80-ReachabilityCardinality-10 178024 m, 6704 m/sec, 203314 t fired, .
Time elapsed: 2327 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 30/624 0/5 SafeBus-COL-80-ReachabilityCardinality-10 2317121 t fired, 3 attempts, .
5 EF STEQ 30/1273 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 30/1273 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1682126 m, 58256 m/sec, 2803260 t fired, .
8 EF SRCH 30/1273 1/5 SafeBus-COL-80-ReachabilityCardinality-10 214060 m, 7207 m/sec, 248314 t fired, .
Time elapsed: 2332 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 35/619 0/5 SafeBus-COL-80-ReachabilityCardinality-10 2767968 t fired, 3 attempts, .
5 EF STEQ 35/1268 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 35/1268 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1954237 m, 54422 m/sec, 3268794 t fired, .
8 EF SRCH 35/1268 1/5 SafeBus-COL-80-ReachabilityCardinality-10 250124 m, 7212 m/sec, 292834 t fired, .
Time elapsed: 2337 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 40/614 0/5 SafeBus-COL-80-ReachabilityCardinality-10 3243662 t fired, 4 attempts, .
5 EF STEQ 40/1263 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 40/1263 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2214418 m, 52036 m/sec, 3716550 t fired, .
8 EF SRCH 40/1263 1/5 SafeBus-COL-80-ReachabilityCardinality-10 286294 m, 7234 m/sec, 337533 t fired, .
Time elapsed: 2342 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 45/609 0/5 SafeBus-COL-80-ReachabilityCardinality-10 3717003 t fired, 4 attempts, .
5 EF STEQ 45/1258 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 45/1258 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2487941 m, 54704 m/sec, 4186897 t fired, .
8 EF SRCH 45/1258 1/5 SafeBus-COL-80-ReachabilityCardinality-10 323214 m, 7384 m/sec, 383440 t fired, .
Time elapsed: 2347 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 50/604 0/5 SafeBus-COL-80-ReachabilityCardinality-10 4189893 t fired, 5 attempts, .
5 EF STEQ 50/1253 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 50/1253 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2749590 m, 52329 m/sec, 4635038 t fired, .
8 EF SRCH 50/1253 1/5 SafeBus-COL-80-ReachabilityCardinality-10 358498 m, 7056 m/sec, 429150 t fired, .
Time elapsed: 2352 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 55/599 0/5 SafeBus-COL-80-ReachabilityCardinality-10 4655980 t fired, 5 attempts, .
5 EF STEQ 55/1248 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 55/1248 1/5 SafeBus-COL-80-ReachabilityCardinality-10 3016257 m, 53333 m/sec, 5093428 t fired, .
8 EF SRCH 55/1248 1/5 SafeBus-COL-80-ReachabilityCardinality-10 393446 m, 6989 m/sec, 475348 t fired, .
Time elapsed: 2357 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 60/594 0/5 SafeBus-COL-80-ReachabilityCardinality-10 5131535 t fired, 6 attempts, .
5 EF STEQ 60/1243 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 60/1243 1/5 SafeBus-COL-80-ReachabilityCardinality-10 3291817 m, 55112 m/sec, 5568981 t fired, .
8 EF SRCH 60/1243 1/5 SafeBus-COL-80-ReachabilityCardinality-10 428635 m, 7037 m/sec, 523654 t fired, .
Time elapsed: 2362 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 65/589 0/5 SafeBus-COL-80-ReachabilityCardinality-10 5621687 t fired, 6 attempts, .
5 EF STEQ 65/1238 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 65/1238 1/5 SafeBus-COL-80-ReachabilityCardinality-10 3567469 m, 55130 m/sec, 6042962 t fired, .
8 EF SRCH 65/1238 1/5 SafeBus-COL-80-ReachabilityCardinality-10 463722 m, 7017 m/sec, 571371 t fired, .
Time elapsed: 2367 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 70/584 0/5 SafeBus-COL-80-ReachabilityCardinality-10 6088435 t fired, 7 attempts, .
5 EF STEQ 70/1233 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 70/1233 1/5 SafeBus-COL-80-ReachabilityCardinality-10 3845580 m, 55622 m/sec, 6524059 t fired, .
8 EF SRCH 70/1233 1/5 SafeBus-COL-80-ReachabilityCardinality-10 497734 m, 6802 m/sec, 618709 t fired, .
Time elapsed: 2372 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 75/579 0/5 SafeBus-COL-80-ReachabilityCardinality-10 6571614 t fired, 7 attempts, .
5 EF STEQ 75/1228 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 75/1228 1/5 SafeBus-COL-80-ReachabilityCardinality-10 4099335 m, 50751 m/sec, 6965020 t fired, .
8 EF SRCH 75/1228 1/5 SafeBus-COL-80-ReachabilityCardinality-10 534548 m, 7362 m/sec, 669638 t fired, .
Time elapsed: 2377 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 80/574 0/5 SafeBus-COL-80-ReachabilityCardinality-10 7049190 t fired, 8 attempts, .
5 EF STEQ 80/1223 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 80/1223 1/5 SafeBus-COL-80-ReachabilityCardinality-10 4379478 m, 56028 m/sec, 7448575 t fired, .
8 EF SRCH 80/1223 1/5 SafeBus-COL-80-ReachabilityCardinality-10 569654 m, 7021 m/sec, 718930 t fired, .
Time elapsed: 2382 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 85/569 0/5 SafeBus-COL-80-ReachabilityCardinality-10 7547301 t fired, 8 attempts, .
5 EF STEQ 85/1218 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 85/1218 1/5 SafeBus-COL-80-ReachabilityCardinality-10 4640940 m, 52292 m/sec, 7901164 t fired, .
8 EF SRCH 85/1218 1/5 SafeBus-COL-80-ReachabilityCardinality-10 603224 m, 6714 m/sec, 766545 t fired, .
Time elapsed: 2387 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 90/564 0/5 SafeBus-COL-80-ReachabilityCardinality-10 8011760 t fired, 9 attempts, .
5 EF STEQ 90/1213 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 90/1213 1/5 SafeBus-COL-80-ReachabilityCardinality-10 4895791 m, 50970 m/sec, 8341052 t fired, .
8 EF SRCH 90/1213 1/5 SafeBus-COL-80-ReachabilityCardinality-10 638725 m, 7100 m/sec, 816548 t fired, .
Time elapsed: 2392 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 95/559 0/5 SafeBus-COL-80-ReachabilityCardinality-10 8495747 t fired, 9 attempts, .
5 EF STEQ 95/1208 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 95/1208 1/5 SafeBus-COL-80-ReachabilityCardinality-10 5178947 m, 56631 m/sec, 8830376 t fired, .
8 EF SRCH 95/1208 1/5 SafeBus-COL-80-ReachabilityCardinality-10 671110 m, 6477 m/sec, 862585 t fired, .
Time elapsed: 2397 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 100/554 0/5 SafeBus-COL-80-ReachabilityCardinality-10 8975044 t fired, 9 attempts, .
5 EF STEQ 100/1203 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 100/1203 1/5 SafeBus-COL-80-ReachabilityCardinality-10 5452069 m, 54624 m/sec, 9302804 t fired, .
8 EF SRCH 100/1203 1/5 SafeBus-COL-80-ReachabilityCardinality-10 706039 m, 6985 m/sec, 911823 t fired, .
Time elapsed: 2402 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 105/549 0/5 SafeBus-COL-80-ReachabilityCardinality-10 9476604 t fired, 10 attempts, .
5 EF STEQ 105/1198 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 105/1198 1/5 SafeBus-COL-80-ReachabilityCardinality-10 5714464 m, 52479 m/sec, 9758969 t fired, .
8 EF SRCH 105/1198 1/5 SafeBus-COL-80-ReachabilityCardinality-10 738855 m, 6563 m/sec, 958094 t fired, .
Time elapsed: 2407 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 110/544 0/5 SafeBus-COL-80-ReachabilityCardinality-10 9959117 t fired, 10 attempts, .
5 EF STEQ 110/1193 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 110/1193 1/5 SafeBus-COL-80-ReachabilityCardinality-10 5989897 m, 55086 m/sec, 10236493 t fired, .
8 EF SRCH 110/1193 1/5 SafeBus-COL-80-ReachabilityCardinality-10 772010 m, 6631 m/sec, 1005316 t fired, .
Time elapsed: 2412 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 115/539 0/5 SafeBus-COL-80-ReachabilityCardinality-10 10449027 t fired, 11 attempts, .
5 EF STEQ 115/1188 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 115/1188 1/5 SafeBus-COL-80-ReachabilityCardinality-10 6269740 m, 55968 m/sec, 10720617 t fired, .
8 EF SRCH 115/1188 1/5 SafeBus-COL-80-ReachabilityCardinality-10 806920 m, 6982 m/sec, 1054853 t fired, .
Time elapsed: 2417 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 120/534 0/5 SafeBus-COL-80-ReachabilityCardinality-10 10933975 t fired, 11 attempts, .
5 EF STEQ 120/1183 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 120/1183 1/5 SafeBus-COL-80-ReachabilityCardinality-10 6522778 m, 50607 m/sec, 11157738 t fired, .
8 EF SRCH 120/1183 1/5 SafeBus-COL-80-ReachabilityCardinality-10 841857 m, 6987 m/sec, 1104567 t fired, .
Time elapsed: 2422 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 125/529 0/5 SafeBus-COL-80-ReachabilityCardinality-10 11420135 t fired, 12 attempts, .
5 EF STEQ 125/1178 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 125/1178 1/5 SafeBus-COL-80-ReachabilityCardinality-10 6789421 m, 53328 m/sec, 11618712 t fired, .
8 EF SRCH 125/1178 1/5 SafeBus-COL-80-ReachabilityCardinality-10 874934 m, 6615 m/sec, 1151550 t fired, .
Time elapsed: 2427 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 130/524 0/5 SafeBus-COL-80-ReachabilityCardinality-10 11873485 t fired, 12 attempts, .
5 EF STEQ 130/1173 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 130/1173 1/5 SafeBus-COL-80-ReachabilityCardinality-10 7062870 m, 54689 m/sec, 12093880 t fired, .
8 EF SRCH 130/1173 1/5 SafeBus-COL-80-ReachabilityCardinality-10 908798 m, 6772 m/sec, 1200662 t fired, .
Time elapsed: 2432 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 135/519 0/5 SafeBus-COL-80-ReachabilityCardinality-10 12328774 t fired, 13 attempts, .
5 EF STEQ 135/1168 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 135/1168 1/5 SafeBus-COL-80-ReachabilityCardinality-10 7317998 m, 51025 m/sec, 12537269 t fired, .
8 EF SRCH 135/1168 1/5 SafeBus-COL-80-ReachabilityCardinality-10 942217 m, 6683 m/sec, 1248817 t fired, .
Time elapsed: 2437 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 140/514 0/5 SafeBus-COL-80-ReachabilityCardinality-10 12792653 t fired, 13 attempts, .
5 EF STEQ 140/1163 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 140/1163 1/5 SafeBus-COL-80-ReachabilityCardinality-10 7587433 m, 53887 m/sec, 13009084 t fired, .
8 EF SRCH 140/1163 1/5 SafeBus-COL-80-ReachabilityCardinality-10 975105 m, 6577 m/sec, 1296191 t fired, .
Time elapsed: 2442 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 145/509 0/5 SafeBus-COL-80-ReachabilityCardinality-10 13274495 t fired, 14 attempts, .
5 EF STEQ 145/1158 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 145/1158 1/5 SafeBus-COL-80-ReachabilityCardinality-10 7863626 m, 55238 m/sec, 13491449 t fired, .
8 EF SRCH 145/1158 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1008168 m, 6612 m/sec, 1344136 t fired, .
Time elapsed: 2447 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 150/504 0/5 SafeBus-COL-80-ReachabilityCardinality-10 13774944 t fired, 14 attempts, .
5 EF STEQ 150/1153 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 150/1153 1/5 SafeBus-COL-80-ReachabilityCardinality-10 8131344 m, 53543 m/sec, 13957300 t fired, .
8 EF SRCH 150/1153 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1041276 m, 6621 m/sec, 1392331 t fired, .
Time elapsed: 2452 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 155/499 0/5 SafeBus-COL-80-ReachabilityCardinality-10 14290307 t fired, 15 attempts, .
5 EF STEQ 155/1148 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 155/1148 1/5 SafeBus-COL-80-ReachabilityCardinality-10 8393080 m, 52347 m/sec, 14412027 t fired, .
8 EF SRCH 155/1148 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1074434 m, 6631 m/sec, 1440166 t fired, .
Time elapsed: 2457 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 160/494 0/5 SafeBus-COL-80-ReachabilityCardinality-10 14767492 t fired, 15 attempts, .
5 EF STEQ 160/1143 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 160/1143 1/5 SafeBus-COL-80-ReachabilityCardinality-10 8659218 m, 53227 m/sec, 14876409 t fired, .
8 EF SRCH 160/1143 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1108232 m, 6759 m/sec, 1488866 t fired, .
Time elapsed: 2462 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 165/489 0/5 SafeBus-COL-80-ReachabilityCardinality-10 15242343 t fired, 16 attempts, .
5 EF STEQ 165/1138 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 165/1138 1/5 SafeBus-COL-80-ReachabilityCardinality-10 8935258 m, 55208 m/sec, 15355156 t fired, .
8 EF SRCH 165/1138 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1141725 m, 6698 m/sec, 1536842 t fired, .
Time elapsed: 2467 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 170/484 0/5 SafeBus-COL-80-ReachabilityCardinality-10 15701547 t fired, 16 attempts, .
5 EF STEQ 170/1133 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 170/1133 1/5 SafeBus-COL-80-ReachabilityCardinality-10 9196912 m, 52330 m/sec, 15808270 t fired, .
8 EF SRCH 170/1133 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1178920 m, 7439 m/sec, 1591254 t fired, .
Time elapsed: 2472 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 175/479 0/5 SafeBus-COL-80-ReachabilityCardinality-10 16184536 t fired, 17 attempts, .
5 EF STEQ 175/1128 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 175/1128 1/5 SafeBus-COL-80-ReachabilityCardinality-10 9468568 m, 54331 m/sec, 16281156 t fired, .
8 EF SRCH 175/1128 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1211302 m, 6476 m/sec, 1638756 t fired, .
Time elapsed: 2477 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 180/474 0/5 SafeBus-COL-80-ReachabilityCardinality-10 16655260 t fired, 17 attempts, .
5 EF STEQ 180/1123 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 180/1123 1/5 SafeBus-COL-80-ReachabilityCardinality-10 9740698 m, 54426 m/sec, 16755109 t fired, .
8 EF SRCH 180/1123 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1245632 m, 6866 m/sec, 1689142 t fired, .
Time elapsed: 2482 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 185/469 0/5 SafeBus-COL-80-ReachabilityCardinality-10 17145836 t fired, 18 attempts, .
5 EF STEQ 185/1118 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 185/1118 1/5 SafeBus-COL-80-ReachabilityCardinality-10 9982037 m, 48267 m/sec, 17177040 t fired, .
8 EF SRCH 185/1118 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1279348 m, 6743 m/sec, 1737556 t fired, .
Time elapsed: 2487 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 190/464 0/5 SafeBus-COL-80-ReachabilityCardinality-10 17627751 t fired, 18 attempts, .
5 EF STEQ 190/1113 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 190/1113 1/5 SafeBus-COL-80-ReachabilityCardinality-10 10236507 m, 50894 m/sec, 17620348 t fired, .
8 EF SRCH 190/1113 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1313072 m, 6744 m/sec, 1787083 t fired, .
Time elapsed: 2492 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 195/459 0/5 SafeBus-COL-80-ReachabilityCardinality-10 18114260 t fired, 19 attempts, .
5 EF STEQ 195/1108 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 195/1108 1/5 SafeBus-COL-80-ReachabilityCardinality-10 10501095 m, 52917 m/sec, 18081945 t fired, .
8 EF SRCH 195/1108 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1345786 m, 6542 m/sec, 1834910 t fired, .
Time elapsed: 2497 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 200/454 0/5 SafeBus-COL-80-ReachabilityCardinality-10 18613434 t fired, 19 attempts, .
5 EF STEQ 200/1103 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 200/1103 1/5 SafeBus-COL-80-ReachabilityCardinality-10 10771358 m, 54052 m/sec, 18552110 t fired, .
8 EF SRCH 200/1103 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1378298 m, 6502 m/sec, 1882339 t fired, .
Time elapsed: 2502 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 205/449 0/5 SafeBus-COL-80-ReachabilityCardinality-10 19089897 t fired, 20 attempts, .
5 EF STEQ 205/1098 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 205/1098 1/5 SafeBus-COL-80-ReachabilityCardinality-10 11047539 m, 55236 m/sec, 19032507 t fired, .
8 EF SRCH 205/1098 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1410538 m, 6448 m/sec, 1929244 t fired, .
Time elapsed: 2507 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 210/444 0/5 SafeBus-COL-80-ReachabilityCardinality-10 19592032 t fired, 20 attempts, .
5 EF STEQ 210/1093 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 210/1093 2/5 SafeBus-COL-80-ReachabilityCardinality-10 11312032 m, 52898 m/sec, 19493581 t fired, .
8 EF SRCH 210/1093 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1443520 m, 6596 m/sec, 1977061 t fired, .
Time elapsed: 2512 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 215/439 0/5 SafeBus-COL-80-ReachabilityCardinality-10 20060483 t fired, 21 attempts, .
5 EF STEQ 215/1088 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 215/1088 2/5 SafeBus-COL-80-ReachabilityCardinality-10 11576788 m, 52951 m/sec, 19953153 t fired, .
8 EF SRCH 215/1088 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1477717 m, 6839 m/sec, 2026982 t fired, .
Time elapsed: 2517 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 220/434 0/5 SafeBus-COL-80-ReachabilityCardinality-10 20522026 t fired, 21 attempts, .
5 EF STEQ 220/1083 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 220/1083 2/5 SafeBus-COL-80-ReachabilityCardinality-10 11846544 m, 53951 m/sec, 20423062 t fired, .
8 EF SRCH 220/1083 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1510458 m, 6548 m/sec, 2075330 t fired, .
Time elapsed: 2522 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 225/429 0/5 SafeBus-COL-80-ReachabilityCardinality-10 21010845 t fired, 22 attempts, .
5 EF STEQ 225/1078 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 225/1078 2/5 SafeBus-COL-80-ReachabilityCardinality-10 12099520 m, 50595 m/sec, 20863185 t fired, .
8 EF SRCH 225/1078 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1546181 m, 7144 m/sec, 2128139 t fired, .
Time elapsed: 2527 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 230/424 0/5 SafeBus-COL-80-ReachabilityCardinality-10 21485016 t fired, 22 attempts, .
5 EF STEQ 230/1073 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 230/1073 2/5 SafeBus-COL-80-ReachabilityCardinality-10 12384978 m, 57091 m/sec, 21358809 t fired, .
8 EF SRCH 230/1073 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1578904 m, 6544 m/sec, 2175677 t fired, .
Time elapsed: 2532 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 235/419 0/5 SafeBus-COL-80-ReachabilityCardinality-10 21959637 t fired, 22 attempts, .
5 EF STEQ 235/1068 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 235/1068 2/5 SafeBus-COL-80-ReachabilityCardinality-10 12657558 m, 54516 m/sec, 21833061 t fired, .
8 EF SRCH 235/1068 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1612605 m, 6740 m/sec, 2224755 t fired, .
Time elapsed: 2537 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 240/414 0/5 SafeBus-COL-80-ReachabilityCardinality-10 22428736 t fired, 23 attempts, .
5 EF STEQ 240/1063 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 240/1063 2/5 SafeBus-COL-80-ReachabilityCardinality-10 12913577 m, 51203 m/sec, 22277793 t fired, .
8 EF SRCH 240/1063 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1646934 m, 6865 m/sec, 2275214 t fired, .
Time elapsed: 2542 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 245/409 0/5 SafeBus-COL-80-ReachabilityCardinality-10 22915166 t fired, 23 attempts, .
5 EF STEQ 245/1058 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 245/1058 2/5 SafeBus-COL-80-ReachabilityCardinality-10 13174253 m, 52135 m/sec, 22729547 t fired, .
8 EF SRCH 245/1058 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1680036 m, 6620 m/sec, 2323981 t fired, .
Time elapsed: 2547 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 250/404 0/5 SafeBus-COL-80-ReachabilityCardinality-10 23383279 t fired, 24 attempts, .
5 EF STEQ 250/1053 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 250/1053 2/5 SafeBus-COL-80-ReachabilityCardinality-10 13442070 m, 53563 m/sec, 23197059 t fired, .
8 EF SRCH 250/1053 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1712651 m, 6523 m/sec, 2371648 t fired, .
Time elapsed: 2552 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 255/399 0/5 SafeBus-COL-80-ReachabilityCardinality-10 23871836 t fired, 24 attempts, .
5 EF STEQ 255/1048 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 255/1048 2/5 SafeBus-COL-80-ReachabilityCardinality-10 13701664 m, 51918 m/sec, 23652074 t fired, .
8 EF SRCH 255/1048 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1745437 m, 6557 m/sec, 2419723 t fired, .
Time elapsed: 2557 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 260/394 0/5 SafeBus-COL-80-ReachabilityCardinality-10 24337171 t fired, 25 attempts, .
5 EF STEQ 260/1043 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 260/1043 2/5 SafeBus-COL-80-ReachabilityCardinality-10 13967621 m, 53191 m/sec, 24112843 t fired, .
8 EF SRCH 260/1043 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1779196 m, 6751 m/sec, 2468995 t fired, .
Time elapsed: 2562 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 265/389 0/5 SafeBus-COL-80-ReachabilityCardinality-10 24821655 t fired, 25 attempts, .
5 EF STEQ 265/1038 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 265/1038 2/5 SafeBus-COL-80-ReachabilityCardinality-10 14227069 m, 51889 m/sec, 24563366 t fired, .
8 EF SRCH 265/1038 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1812725 m, 6705 m/sec, 2518066 t fired, .
Time elapsed: 2567 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 270/384 0/5 SafeBus-COL-80-ReachabilityCardinality-10 25281517 t fired, 26 attempts, .
5 EF STEQ 270/1033 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 270/1033 2/5 SafeBus-COL-80-ReachabilityCardinality-10 14494631 m, 53512 m/sec, 25030288 t fired, .
8 EF SRCH 270/1033 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1846723 m, 6799 m/sec, 2568615 t fired, .
Time elapsed: 2572 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 275/379 0/5 SafeBus-COL-80-ReachabilityCardinality-10 25780219 t fired, 26 attempts, .
5 EF STEQ 275/1028 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 275/1028 2/5 SafeBus-COL-80-ReachabilityCardinality-10 14766426 m, 54359 m/sec, 25501991 t fired, .
8 EF SRCH 275/1028 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1879002 m, 6455 m/sec, 2616248 t fired, .
Time elapsed: 2577 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 280/374 0/5 SafeBus-COL-80-ReachabilityCardinality-10 26253468 t fired, 27 attempts, .
5 EF STEQ 280/1023 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 280/1023 2/5 SafeBus-COL-80-ReachabilityCardinality-10 15038915 m, 54497 m/sec, 25976481 t fired, .
8 EF SRCH 280/1023 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1913147 m, 6829 m/sec, 2666907 t fired, .
Time elapsed: 2582 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 285/369 0/5 SafeBus-COL-80-ReachabilityCardinality-10 26737405 t fired, 27 attempts, .
5 EF STEQ 285/1018 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 285/1018 2/5 SafeBus-COL-80-ReachabilityCardinality-10 15291831 m, 50583 m/sec, 26414318 t fired, .
8 EF SRCH 285/1018 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1946257 m, 6622 m/sec, 2715249 t fired, .
Time elapsed: 2587 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 290/364 0/5 SafeBus-COL-80-ReachabilityCardinality-10 27217820 t fired, 28 attempts, .
5 EF STEQ 290/1013 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 290/1013 2/5 SafeBus-COL-80-ReachabilityCardinality-10 15568985 m, 55430 m/sec, 26895760 t fired, .
8 EF SRCH 290/1013 1/5 SafeBus-COL-80-ReachabilityCardinality-10 1978895 m, 6527 m/sec, 2763129 t fired, .
Time elapsed: 2592 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 295/359 0/5 SafeBus-COL-80-ReachabilityCardinality-10 27719974 t fired, 28 attempts, .
5 EF STEQ 295/1008 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 295/1008 2/5 SafeBus-COL-80-ReachabilityCardinality-10 15822038 m, 50610 m/sec, 27337539 t fired, .
8 EF SRCH 295/1008 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2011587 m, 6538 m/sec, 2811228 t fired, .
Time elapsed: 2597 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 300/354 0/5 SafeBus-COL-80-ReachabilityCardinality-10 28196595 t fired, 29 attempts, .
5 EF STEQ 300/1003 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 300/1003 2/5 SafeBus-COL-80-ReachabilityCardinality-10 16077944 m, 51181 m/sec, 27787535 t fired, .
8 EF SRCH 300/1003 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2044024 m, 6487 m/sec, 2858538 t fired, .
Time elapsed: 2602 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 305/349 0/5 SafeBus-COL-80-ReachabilityCardinality-10 28685585 t fired, 29 attempts, .
5 EF STEQ 305/998 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 305/998 2/5 SafeBus-COL-80-ReachabilityCardinality-10 16333594 m, 51130 m/sec, 28234921 t fired, .
8 EF SRCH 305/998 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2077018 m, 6598 m/sec, 2907263 t fired, .
Time elapsed: 2607 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 310/344 0/5 SafeBus-COL-80-ReachabilityCardinality-10 29165892 t fired, 30 attempts, .
5 EF STEQ 310/993 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 310/993 2/5 SafeBus-COL-80-ReachabilityCardinality-10 16593259 m, 51933 m/sec, 28684706 t fired, .
8 EF SRCH 310/993 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2110834 m, 6763 m/sec, 2957320 t fired, .
Time elapsed: 2612 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 315/339 0/5 SafeBus-COL-80-ReachabilityCardinality-10 29659756 t fired, 30 attempts, .
5 EF STEQ 315/988 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 315/988 2/5 SafeBus-COL-80-ReachabilityCardinality-10 16857652 m, 52878 m/sec, 29143660 t fired, .
8 EF SRCH 315/988 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2142796 m, 6392 m/sec, 3003800 t fired, .
Time elapsed: 2617 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 320/334 0/5 SafeBus-COL-80-ReachabilityCardinality-10 30126339 t fired, 31 attempts, .
5 EF STEQ 320/983 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 320/983 2/5 SafeBus-COL-80-ReachabilityCardinality-10 17128172 m, 54104 m/sec, 29615608 t fired, .
8 EF SRCH 320/983 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2175138 m, 6468 m/sec, 3051208 t fired, .
Time elapsed: 2622 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 4 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
4 EF FNDP 325/329 0/5 SafeBus-COL-80-ReachabilityCardinality-10 30583364 t fired, 31 attempts, .
5 EF STEQ 325/978 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 325/978 2/5 SafeBus-COL-80-ReachabilityCardinality-10 17403459 m, 55057 m/sec, 30093049 t fired, .
8 EF SRCH 325/978 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2208735 m, 6719 m/sec, 3100480 t fired, .
Time elapsed: 2627 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
lola: CANCELED task # 4 (type FNDP) for SafeBus-COL-80-ReachabilityCardinality-10 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 1 3 0 0 1 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 330/973 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 330/973 2/5 SafeBus-COL-80-ReachabilityCardinality-10 17669162 m, 53140 m/sec, 30555201 t fired, .
8 EF SRCH 330/973 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2243225 m, 6898 m/sec, 3151327 t fired, .
Time elapsed: 2632 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 1
lola: LAUNCH task # 9 (type SKEL/SRCH) for 0 SafeBus-COL-80-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 9 (type SKEL/SRCH) for SafeBus-COL-80-ReachabilityCardinality-10
lola: result : unknown
lola: markings : 6
lola: fired transitions : 5
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 4 (type SKEL/FNDP) for 0 SafeBus-COL-80-ReachabilityCardinality-10
lola: time limit : 968 sec
lola: memory limit: 32 pages
lola: FINISHED task # 4 (type SKEL/FNDP) for SafeBus-COL-80-ReachabilityCardinality-10
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 335/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 335/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 17945214 m, 55210 m/sec, 31035881 t fired, .
8 EF SRCH 335/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2274074 m, 6169 m/sec, 3197226 t fired, .
Time elapsed: 2637 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 340/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 340/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 18208617 m, 52680 m/sec, 31496305 t fired, .
8 EF SRCH 340/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2307014 m, 6588 m/sec, 3245206 t fired, .
Time elapsed: 2642 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 345/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 345/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 18434845 m, 45245 m/sec, 31888804 t fired, .
8 EF SRCH 345/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2339578 m, 6512 m/sec, 3293156 t fired, .
Time elapsed: 2647 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 350/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 350/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 18656231 m, 44277 m/sec, 32271692 t fired, .
8 EF SRCH 350/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2369691 m, 6022 m/sec, 3337379 t fired, .
Time elapsed: 2652 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 355/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 355/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 18801626 m, 29079 m/sec, 32524392 t fired, .
8 EF SRCH 355/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2387703 m, 3602 m/sec, 3364225 t fired, .
Time elapsed: 2657 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 360/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 360/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 18830064 m, 5687 m/sec, 32573894 t fired, .
8 EF SRCH 360/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2390702 m, 599 m/sec, 3368693 t fired, .
Time elapsed: 2662 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 365/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 365/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 18899090 m, 13805 m/sec, 32693783 t fired, .
8 EF SRCH 365/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2403654 m, 2590 m/sec, 3387305 t fired, .
Time elapsed: 2667 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 370/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 370/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 18969640 m, 14110 m/sec, 32816748 t fired, .
8 EF SRCH 370/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2413578 m, 1984 m/sec, 3402113 t fired, .
Time elapsed: 2672 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 375/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 375/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 19055508 m, 17173 m/sec, 32966897 t fired, .
8 EF SRCH 375/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2426403 m, 2565 m/sec, 3421266 t fired, .
Time elapsed: 2677 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 380/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 380/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 19110413 m, 10981 m/sec, 33067327 t fired, .
8 EF SRCH 380/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2434850 m, 1689 m/sec, 3433541 t fired, .
Time elapsed: 2682 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 385/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 385/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 19281323 m, 34182 m/sec, 33364472 t fired, .
8 EF SRCH 385/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2459065 m, 4843 m/sec, 3469010 t fired, .
Time elapsed: 2687 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 390/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 390/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 19393379 m, 22411 m/sec, 33559586 t fired, .
8 EF SRCH 390/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2473762 m, 2939 m/sec, 3490337 t fired, .
Time elapsed: 2692 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SafeBus-COL-80-ReachabilityCardinality-10: EF 0 0 3 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
5 EF STEQ 395/1298 0/5 SafeBus-COL-80-ReachabilityCardinality-10 sara is running.
7 EF SRCH 395/1298 2/5 SafeBus-COL-80-ReachabilityCardinality-10 19520833 m, 25490 m/sec, 33779543 t fired, .
8 EF SRCH 395/1298 1/5 SafeBus-COL-80-ReachabilityCardinality-10 2490261 m, 3299 m/sec, 3514253 t fired, .
Time elapsed: 2697 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 1
/home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin//../BenchKit_head.sh: line 63: 518 Killed lola --conf=$BIN_DIR/configfiles/reachabilitycardinalityconf --formula=$DIR/ReachabilityCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
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-80"
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-80, 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-167891808700254"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-80.tgz
mv SafeBus-COL-80 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 ;