About the Execution of LoLA for ASLink-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1367.783 | 573287.00 | 1207529.00 | 961.00 | T?TF?????T?FTT?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r005-smll-171620118600087.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is ASLink-PT-05b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-171620118600087
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 5.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K May 19 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 19 15:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 17:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 94K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.4K May 19 07:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 19 15:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 795K May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-00
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-01
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-02
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-03
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-04
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-05
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-06
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-07
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2023-08
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-09
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2023-10
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-11
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2023-12
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-13
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-14
FORMULA_NAME ASLink-PT-05b-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717076645433
FORMULA ASLink-PT-05b-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityFireability-2023-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityFireability-2024-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-05b-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717077218720
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mReachabilityFireability.xml[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 0 ASLink-PT-05b-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 190 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 0 ASLink-PT-05b-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 0 ASLink-PT-05b-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type FNDP) for 21 ASLink-PT-05b-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 50 (type EXCL) for ASLink-PT-05b-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 71
[[35mlola[0m][I] fired transitions : 70
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-00 (obsolete)
[[35mlola[0m][W] CANCELED task # 49 (type EQUN) for ASLink-PT-05b-ReachabilityFireability-2024-00 (obsolete)
[[35mlola[0m][I] LAUNCH task # 63 (type EXCL) for 33 ASLink-PT-05b-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 202 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 64 (type FNDP) for 9 ASLink-PT-05b-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 65 (type EQUN) for 9 ASLink-PT-05b-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 64 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 8
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 63 (type EXCL) for ASLink-PT-05b-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 4
[[35mlola[0m][I] fired transitions : 3
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 65 (type EQUN) for ASLink-PT-05b-ReachabilityFireability-2024-03 (obsolete)
[[35mlola[0m][I] LAUNCH task # 60 (type EXCL) for 36 ASLink-PT-05b-ReachabilityFireability-2023-12
[[35mlola[0m][I] time limit : 231 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 58 (type FNDP) for 36 ASLink-PT-05b-ReachabilityFireability-2023-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 59 (type EQUN) for 36 ASLink-PT-05b-ReachabilityFireability-2023-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 59 (type EQUN) for ASLink-PT-05b-ReachabilityFireability-2023-12
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 58 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2023-12 (obsolete)
[[35mlola[0m][W] CANCELED task # 60 (type EXCL) for ASLink-PT-05b-ReachabilityFireability-2023-12 (obsolete)
[[35mlola[0m][I] LAUNCH task # 94 (type EXCL) for 18 ASLink-PT-05b-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 269 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 87 (type FNDP) for 12 ASLink-PT-05b-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 88 (type EQUN) for 12 ASLink-PT-05b-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 58 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2023-12
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 192
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for ASLink-PT-05b-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 2/403 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 271 attempts, .
[[35mlola[0m][.] 87 EF FNDP 1/404 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 478 attempts, .
[[35mlola[0m][.] 88 EF STEQ 1/404 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 1/269 1/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 25193 m, 5038 m/sec, 32457 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 365 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 65 (type EQUN) for ASLink-PT-05b-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : true
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 7/401 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 1671 attempts, .
[[35mlola[0m][.] 87 EF FNDP 6/402 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 3303 attempts, .
[[35mlola[0m][.] 88 EF STEQ 6/402 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 6/269 1/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 177680 m, 30497 m/sec, 255740 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 370 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 12/397 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 3112 attempts, .
[[35mlola[0m][.] 87 EF FNDP 11/398 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 6560 attempts, .
[[35mlola[0m][.] 88 EF STEQ 11/398 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 11/269 2/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 334574 m, 31378 m/sec, 486143 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 375 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 17/392 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 4485 attempts, .
[[35mlola[0m][.] 87 EF FNDP 16/393 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 10226 attempts, .
[[35mlola[0m][.] 88 EF STEQ 16/393 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 16/269 3/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 484559 m, 29997 m/sec, 725976 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 380 secs. Pages in use: 3
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 22/387 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 5799 attempts, .
[[35mlola[0m][.] 87 EF FNDP 21/388 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 14077 attempts, .
[[35mlola[0m][.] 88 EF STEQ 21/388 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 21/269 4/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 634714 m, 30031 m/sec, 961904 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 385 secs. Pages in use: 4
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 27/382 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 7180 attempts, .
[[35mlola[0m][.] 87 EF FNDP 26/383 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 18216 attempts, .
[[35mlola[0m][.] 88 EF STEQ 26/383 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 26/269 5/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 785434 m, 30144 m/sec, 1199055 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 390 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 32/377 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 8554 attempts, .
[[35mlola[0m][.] 87 EF FNDP 31/378 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 22537 attempts, .
[[35mlola[0m][.] 88 EF STEQ 31/378 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 31/269 5/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 934507 m, 29814 m/sec, 1435659 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 395 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 37/372 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 9924 attempts, .
[[35mlola[0m][.] 87 EF FNDP 36/373 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 27015 attempts, .
[[35mlola[0m][.] 88 EF STEQ 36/373 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 36/269 6/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 1085325 m, 30163 m/sec, 1672500 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 400 secs. Pages in use: 6
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 42/367 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 11379 attempts, .
[[35mlola[0m][.] 87 EF FNDP 41/368 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 31897 attempts, .
[[35mlola[0m][.] 88 EF STEQ 41/368 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 41/269 7/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 1236259 m, 30186 m/sec, 1909212 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 405 secs. Pages in use: 7
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 47/362 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 12887 attempts, .
[[35mlola[0m][.] 87 EF FNDP 46/363 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 36665 attempts, .
[[35mlola[0m][.] 88 EF STEQ 46/363 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 46/269 8/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 1388211 m, 30390 m/sec, 2141691 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 410 secs. Pages in use: 8
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 52/357 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 14402 attempts, .
[[35mlola[0m][.] 87 EF FNDP 51/358 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 41466 attempts, .
[[35mlola[0m][.] 88 EF STEQ 51/358 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 51/269 8/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 1540672 m, 30492 m/sec, 2379204 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 415 secs. Pages in use: 8
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 57/352 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 15886 attempts, .
[[35mlola[0m][.] 87 EF FNDP 56/353 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 46436 attempts, .
[[35mlola[0m][.] 88 EF STEQ 56/353 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 56/269 9/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 1696813 m, 31228 m/sec, 2607636 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 420 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 62/347 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 17481 attempts, .
[[35mlola[0m][.] 87 EF FNDP 61/348 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 51294 attempts, .
[[35mlola[0m][.] 88 EF STEQ 61/348 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 61/269 10/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 1852304 m, 31098 m/sec, 2848325 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 425 secs. Pages in use: 10
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 67/342 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 19048 attempts, .
[[35mlola[0m][.] 87 EF FNDP 66/343 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 56388 attempts, .
[[35mlola[0m][.] 88 EF STEQ 66/343 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 66/269 11/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 2027538 m, 35046 m/sec, 3061049 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 430 secs. Pages in use: 11
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 72/337 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 20596 attempts, .
[[35mlola[0m][.] 87 EF FNDP 71/338 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 61461 attempts, .
[[35mlola[0m][.] 88 EF STEQ 71/338 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 71/269 12/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 2197487 m, 33989 m/sec, 3312060 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 435 secs. Pages in use: 12
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 77/332 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 22137 attempts, .
[[35mlola[0m][.] 87 EF FNDP 76/333 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 66288 attempts, .
[[35mlola[0m][.] 88 EF STEQ 76/333 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 76/269 13/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 2370655 m, 34633 m/sec, 3541381 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 440 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 82/327 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 23787 attempts, .
[[35mlola[0m][.] 87 EF FNDP 81/328 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 71450 attempts, .
[[35mlola[0m][.] 88 EF STEQ 81/328 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 81/269 14/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 2542943 m, 34457 m/sec, 3771490 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 445 secs. Pages in use: 14
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 87/322 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 25455 attempts, .
[[35mlola[0m][.] 87 EF FNDP 86/323 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 76396 attempts, .
[[35mlola[0m][.] 88 EF STEQ 86/323 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 86/269 15/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 2714150 m, 34241 m/sec, 3997916 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 450 secs. Pages in use: 15
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 92/317 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 27071 attempts, .
[[35mlola[0m][.] 87 EF FNDP 91/318 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 81741 attempts, .
[[35mlola[0m][.] 88 EF STEQ 91/318 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 91/269 15/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 2885345 m, 34239 m/sec, 4231747 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 455 secs. Pages in use: 15
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 97/312 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 28688 attempts, .
[[35mlola[0m][.] 87 EF FNDP 96/313 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 86953 attempts, .
[[35mlola[0m][.] 88 EF STEQ 96/313 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 96/269 16/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 3056785 m, 34288 m/sec, 4452994 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 460 secs. Pages in use: 16
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 102/307 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 30351 attempts, .
[[35mlola[0m][.] 87 EF FNDP 101/308 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 92093 attempts, .
[[35mlola[0m][.] 88 EF STEQ 101/308 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 101/269 17/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 3225322 m, 33707 m/sec, 4681062 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 465 secs. Pages in use: 17
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 107/302 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 32076 attempts, .
[[35mlola[0m][.] 87 EF FNDP 106/303 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 97125 attempts, .
[[35mlola[0m][.] 88 EF STEQ 106/303 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 106/269 18/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 3394436 m, 33822 m/sec, 4916403 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 470 secs. Pages in use: 18
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 112/297 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 33776 attempts, .
[[35mlola[0m][.] 87 EF FNDP 111/298 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 102123 attempts, .
[[35mlola[0m][.] 88 EF STEQ 111/298 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 111/269 19/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 3566309 m, 34374 m/sec, 5133477 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 475 secs. Pages in use: 19
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 117/292 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 35591 attempts, .
[[35mlola[0m][.] 87 EF FNDP 116/293 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 107395 attempts, .
[[35mlola[0m][.] 88 EF STEQ 116/293 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 116/269 20/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 3735733 m, 33884 m/sec, 5362709 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 480 secs. Pages in use: 20
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 122/287 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 37335 attempts, .
[[35mlola[0m][.] 87 EF FNDP 121/288 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 112504 attempts, .
[[35mlola[0m][.] 88 EF STEQ 121/288 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 121/269 21/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 3904603 m, 33774 m/sec, 5603389 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 485 secs. Pages in use: 21
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 127/282 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 39075 attempts, .
[[35mlola[0m][.] 87 EF FNDP 126/283 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 117710 attempts, .
[[35mlola[0m][.] 88 EF STEQ 126/283 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 126/269 22/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 4074592 m, 33997 m/sec, 5829466 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 490 secs. Pages in use: 22
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 132/277 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 40796 attempts, .
[[35mlola[0m][.] 87 EF FNDP 131/278 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 122773 attempts, .
[[35mlola[0m][.] 88 EF STEQ 131/278 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 131/269 23/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 4244708 m, 34023 m/sec, 6062625 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 495 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 137/272 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 42578 attempts, .
[[35mlola[0m][.] 87 EF FNDP 136/273 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 128178 attempts, .
[[35mlola[0m][.] 88 EF STEQ 136/273 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 136/269 23/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 4413174 m, 33693 m/sec, 6296957 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 500 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 142/267 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 44403 attempts, .
[[35mlola[0m][.] 87 EF FNDP 141/268 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 133435 attempts, .
[[35mlola[0m][.] 88 EF STEQ 141/268 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 141/269 24/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 4581707 m, 33706 m/sec, 6534993 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 505 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 147/262 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 46142 attempts, .
[[35mlola[0m][.] 87 EF FNDP 146/263 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 138461 attempts, .
[[35mlola[0m][.] 88 EF STEQ 146/263 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 146/269 25/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 4753241 m, 34306 m/sec, 6767812 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 510 secs. Pages in use: 25
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 152/257 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 47941 attempts, .
[[35mlola[0m][.] 87 EF FNDP 151/258 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 143890 attempts, .
[[35mlola[0m][.] 88 EF STEQ 151/258 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 151/269 26/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 4923185 m, 33988 m/sec, 6995528 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 515 secs. Pages in use: 26
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 157/252 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 49712 attempts, .
[[35mlola[0m][.] 87 EF FNDP 156/253 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 148833 attempts, .
[[35mlola[0m][.] 88 EF STEQ 156/253 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 156/269 27/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 5090457 m, 33454 m/sec, 7219072 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 520 secs. Pages in use: 27
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 162/247 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 51505 attempts, .
[[35mlola[0m][.] 87 EF FNDP 161/248 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 154034 attempts, .
[[35mlola[0m][.] 88 EF STEQ 161/248 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 161/269 28/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 5259044 m, 33717 m/sec, 7450919 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 525 secs. Pages in use: 28
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 167/242 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 53271 attempts, .
[[35mlola[0m][.] 87 EF FNDP 166/243 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 159154 attempts, .
[[35mlola[0m][.] 88 EF STEQ 166/243 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 166/269 29/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 5426412 m, 33473 m/sec, 7680463 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 530 secs. Pages in use: 29
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 172/237 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 55076 attempts, .
[[35mlola[0m][.] 87 EF FNDP 171/238 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 164447 attempts, .
[[35mlola[0m][.] 88 EF STEQ 171/238 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 171/269 29/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 5595783 m, 33874 m/sec, 7906509 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 535 secs. Pages in use: 29
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 177/232 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 56893 attempts, .
[[35mlola[0m][.] 87 EF FNDP 176/233 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 169754 attempts, .
[[35mlola[0m][.] 88 EF STEQ 176/233 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 176/269 30/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 5762811 m, 33405 m/sec, 8136293 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 540 secs. Pages in use: 30
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 182/227 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 58690 attempts, .
[[35mlola[0m][.] 87 EF FNDP 181/228 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 174874 attempts, .
[[35mlola[0m][.] 88 EF STEQ 181/228 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 181/269 31/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 5924785 m, 32394 m/sec, 8363359 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 545 secs. Pages in use: 31
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 187/222 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 60507 attempts, .
[[35mlola[0m][.] 87 EF FNDP 186/223 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 180226 attempts, .
[[35mlola[0m][.] 88 EF STEQ 186/223 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 186/269 32/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 6093305 m, 33704 m/sec, 8591303 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 550 secs. Pages in use: 32
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 192/217 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 62381 attempts, .
[[35mlola[0m][.] 87 EF FNDP 191/218 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 185307 attempts, .
[[35mlola[0m][.] 88 EF STEQ 191/218 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 191/269 33/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 6261401 m, 33619 m/sec, 8815007 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 555 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 197/212 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 64235 attempts, .
[[35mlola[0m][.] 87 EF FNDP 196/213 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 190471 attempts, .
[[35mlola[0m][.] 88 EF STEQ 196/213 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 196/269 33/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 6424912 m, 32702 m/sec, 9042061 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 560 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 EF FNDP 202/207 0/5 ASLink-PT-05b-ReachabilityFireability-2024-07 66047 attempts, .
[[35mlola[0m][.] 87 EF FNDP 201/208 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 195707 attempts, .
[[35mlola[0m][.] 88 EF STEQ 201/208 0/5 ASLink-PT-05b-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF EXCL 201/269 34/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 6592366 m, 33490 m/sec, 9269816 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 565 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 52 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-07 (local timeout)
[[35mlola[0m][W] CANCELED task # 87 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-04 (local timeout)
[[35mlola[0m][W] CANCELED task # 88 (type EQUN) for ASLink-PT-05b-ReachabilityFireability-2024-04 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2024-00: EF true state space[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[31mASLink-PT-05b-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mASLink-PT-05b-ReachabilityFireability-2023-12: AG true state equation[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-04: EF 0 1 0 0 1 2 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-07: AG 0 2 0 0 1 1 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2023-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] ASLink-PT-05b-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 94 EF EXCL 206/269 35/2000 ASLink-PT-05b-ReachabilityFireability-2024-06 6760547 m, 33636 m/sec, 9493053 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 570 secs. Pages in use: 35
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 81 (type FNDP) for 6 ASLink-PT-05b-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 91 (type EQUN) for 6 ASLink-PT-05b-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 71 (type FNDP) for 27 ASLink-PT-05b-ReachabilityFireability-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-07
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 67970
[[35mlola[0m][I] time used : 207
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 87 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 201047
[[35mlola[0m][I] time used : 206
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 71 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-09
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 96 (type FNDP) for 3 ASLink-PT-05b-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 81 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 2
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 91 (type EQUN) for ASLink-PT-05b-ReachabilityFireability-2024-02 (obsolete)
[[35mlola[0m][I] LAUNCH task # 97 (type FNDP) for 39 ASLink-PT-05b-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 98 (type EQUN) for 39 ASLink-PT-05b-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 97 (type FNDP) for ASLink-PT-05b-ReachabilityFireability-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 4
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 98 (type EQUN) for ASLink-PT-05b-ReachabilityFireability-2024-13 (obsolete)
[[35mlola[0m][I] LAUNCH task # 95 (type FNDP) for 30 ASLink-PT-05b-ReachabilityFireability-2023-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 100 (type EQUN) for 30 ASLink-PT-05b-ReachabilityFireability-2023-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 398 Segmentation fault $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT 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="ASLink-PT-05b"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is ASLink-PT-05b, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r005-smll-171620118600087"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-05b.tgz
mv ASLink-PT-05b execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;