About the Execution of LoLa+red for Peterson-PT-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16222.560 | 1265546.00 | 6953862.00 | 62245.20 | FTFTT?FTF?F??TT? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r263-smll-167863538500647.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is Peterson-PT-7, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r263-smll-167863538500647
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.9M
-rw-r--r-- 1 mcc users 323K Feb 25 22:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Feb 25 22:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 139K Feb 25 22:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 629K Feb 25 22:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 141K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 411K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 98K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 318K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 197K Feb 25 23:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 794K Feb 25 23:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 608K Feb 25 23:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.7M Feb 25 23:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 49K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-00
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-01
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-02
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-03
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-04
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-05
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-06
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-07
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-08
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-09
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-10
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-11
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-12
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-13
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-14
FORMULA_NAME Peterson-PT-7-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1678882290495
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Peterson-PT-7
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-15 12:11:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2023-03-15 12:11:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 12:11:33] [INFO ] Load time of PNML (sax parser for PT used): 303 ms
[2023-03-15 12:11:33] [INFO ] Transformed 1992 places.
[2023-03-15 12:11:33] [INFO ] Transformed 3096 transitions.
[2023-03-15 12:11:33] [INFO ] Found NUPN structural information;
[2023-03-15 12:11:33] [INFO ] Completing missing partition info from NUPN : creating a component with [IsEndLoop_3_0_5, IsEndLoop_2_0_5, IsEndLoop_0_3_6, IsEndLoop_0_2_7, EndTurn_4_2, EndTurn_4_1, EndTurn_7_0, EndTurn_6_0, EndTurn_5_0, IsEndLoop_7_6_7, IsEndLoop_6_6_7, IsEndLoop_5_6_7, BeginLoop_1_4_2, BeginLoop_0_4_2, BeginLoop_3_0_4, BeginLoop_3_6_3, BeginLoop_0_6_5, BeginLoop_3_6_5, BeginLoop_4_2_7, BeginLoop_7_1_7, BeginLoop_5_1_7, BeginLoop_6_1_7, BeginLoop_4_1_7, BeginLoop_7_0_7, BeginLoop_6_0_7, BeginLoop_5_0_7, TestAlone_2_4_0, TestAlone_2_5_0, TestAlone_3_6_1, TestAlone_3_0_2, TestAlone_1_5_5, TestAlone_0_5_5, TestAlone_3_5_6, TestAlone_2_5_6, TestIdentity_4_2_1, TestIdentity_4_3_1, TestIdentity_7_2_1, TestIdentity_5_2_1, TestIdentity_6_2_1, TestIdentity_7_6_0, TestIdentity_6_6_0, TestIdentity_5_6_0, TestIdentity_0_2_3, TestIdentity_1_2_3, TestIdentity_1_1_6, TestIdentity_0_2_6, TestIdentity_2_4_4, TestIdentity_1_4_4, TestIdentity_4_5_7, TestIdentity_6_4_7, TestIdentity_5_4_7, TestIdentity_7_4_7, TestIdentity_4_4_7, TestIdentity_6_3_7, TestIdentity_5_3_7, TestIdentity_7_3_7, CS_0, CS_2, AskForSection_2_5, AskForSection_0_5]
[2023-03-15 12:11:33] [INFO ] Parsed PT model containing 1992 places and 3096 transitions and 9584 arcs in 439 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 112 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=10 ) properties (out of 16) seen :9
FORMULA Peterson-PT-7-ReachabilityFireability-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Peterson-PT-7-ReachabilityFireability-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Peterson-PT-7-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Peterson-PT-7-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Peterson-PT-7-ReachabilityFireability-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Peterson-PT-7-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Peterson-PT-7-ReachabilityFireability-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Peterson-PT-7-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Peterson-PT-7-ReachabilityFireability-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=120 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 2065 ms. (steps per millisecond=4 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=66 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=123 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 7) seen :1
FORMULA Peterson-PT-7-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=137 ) properties (out of 6) seen :0
Running SMT prover for 6 properties.
[2023-03-15 12:11:37] [INFO ] Flow matrix only has 2760 transitions (discarded 336 similar events)
// Phase 1: matrix 2760 rows 1992 cols
[2023-03-15 12:11:37] [INFO ] Computed 31 place invariants in 51 ms
[2023-03-15 12:11:42] [INFO ] [Real]Absence check using 23 positive place invariants in 42 ms returned sat
[2023-03-15 12:11:42] [INFO ] [Real]Absence check using 23 positive and 8 generalized place invariants in 4 ms returned sat
[2023-03-15 12:11:42] [INFO ] After 1657ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-15 12:11:43] [INFO ] [Nat]Absence check using 23 positive place invariants in 38 ms returned sat
[2023-03-15 12:11:43] [INFO ] [Nat]Absence check using 23 positive and 8 generalized place invariants in 11 ms returned sat
[2023-03-15 12:11:46] [INFO ] After 2906ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-15 12:11:46] [INFO ] State equation strengthened by 497 read => feed constraints.
[2023-03-15 12:11:50] [INFO ] After 3201ms SMT Verify possible using 497 Read/Feed constraints in natural domain returned unsat :0 sat :6
[2023-03-15 12:11:52] [INFO ] Deduced a trap composed of 13 places in 2103 ms of which 12 ms to minimize.
[2023-03-15 12:11:54] [INFO ] Deduced a trap composed of 13 places in 2041 ms of which 3 ms to minimize.
[2023-03-15 12:11:56] [INFO ] Deduced a trap composed of 13 places in 1804 ms of which 3 ms to minimize.
[2023-03-15 12:11:58] [INFO ] Deduced a trap composed of 13 places in 1852 ms of which 4 ms to minimize.
[2023-03-15 12:12:00] [INFO ] Deduced a trap composed of 16 places in 1724 ms of which 3 ms to minimize.
[2023-03-15 12:12:02] [INFO ] Deduced a trap composed of 13 places in 1961 ms of which 2 ms to minimize.
[2023-03-15 12:12:04] [INFO ] Deduced a trap composed of 29 places in 1772 ms of which 2 ms to minimize.
[2023-03-15 12:12:06] [INFO ] Deduced a trap composed of 28 places in 1922 ms of which 3 ms to minimize.
[2023-03-15 12:12:08] [INFO ] Deduced a trap composed of 51 places in 1726 ms of which 5 ms to minimize.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:1255)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineResultsWithTraps(DeadlockTester.java:736)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:656)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:902)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-15 12:12:08] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-15 12:12:08] [INFO ] After 26084ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:6
Parikh walk visited 0 properties in 219 ms.
Support contains 1597 out of 1992 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1992/1992 places, 3096/3096 transitions.
Applied a total of 0 rules in 159 ms. Remains 1992 /1992 variables (removed 0) and now considering 3096/3096 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 160 ms. Remains : 1992/1992 places, 3096/3096 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 473 ms. (steps per millisecond=21 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 2331 ms. (steps per millisecond=4 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 117 ms. (steps per millisecond=85 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 67 ms. (steps per millisecond=149 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 52 ms. (steps per millisecond=192 ) properties (out of 6) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 6) seen :0
Interrupted probabilistic random walk after 252027 steps, run timeout after 9001 ms. (steps per millisecond=27 ) properties seen :{}
Probabilistic random walk after 252027 steps, saw 160871 distinct states, run finished after 9010 ms. (steps per millisecond=27 ) properties seen :0
Running SMT prover for 6 properties.
[2023-03-15 12:12:21] [INFO ] Flow matrix only has 2760 transitions (discarded 336 similar events)
[2023-03-15 12:12:21] [INFO ] Invariant cache hit.
[2023-03-15 12:12:24] [INFO ] [Real]Absence check using 23 positive place invariants in 35 ms returned sat
[2023-03-15 12:12:24] [INFO ] [Real]Absence check using 23 positive and 8 generalized place invariants in 6 ms returned sat
[2023-03-15 12:12:24] [INFO ] After 978ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-15 12:12:25] [INFO ] [Nat]Absence check using 23 positive place invariants in 33 ms returned sat
[2023-03-15 12:12:25] [INFO ] [Nat]Absence check using 23 positive and 8 generalized place invariants in 2 ms returned sat
[2023-03-15 12:12:28] [INFO ] After 3032ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-15 12:12:28] [INFO ] State equation strengthened by 497 read => feed constraints.
[2023-03-15 12:12:31] [INFO ] After 2766ms SMT Verify possible using 497 Read/Feed constraints in natural domain returned unsat :0 sat :6
[2023-03-15 12:12:33] [INFO ] Deduced a trap composed of 85 places in 1722 ms of which 2 ms to minimize.
[2023-03-15 12:12:35] [INFO ] Deduced a trap composed of 51 places in 1774 ms of which 1 ms to minimize.
[2023-03-15 12:12:37] [INFO ] Deduced a trap composed of 151 places in 1732 ms of which 3 ms to minimize.
[2023-03-15 12:12:39] [INFO ] Deduced a trap composed of 17 places in 1721 ms of which 2 ms to minimize.
[2023-03-15 12:12:40] [INFO ] Deduced a trap composed of 13 places in 1649 ms of which 2 ms to minimize.
[2023-03-15 12:12:42] [INFO ] Deduced a trap composed of 21 places in 1668 ms of which 3 ms to minimize.
[2023-03-15 12:12:44] [INFO ] Deduced a trap composed of 21 places in 1811 ms of which 2 ms to minimize.
[2023-03-15 12:12:46] [INFO ] Deduced a trap composed of 13 places in 1822 ms of which 1 ms to minimize.
[2023-03-15 12:12:48] [INFO ] Deduced a trap composed of 92 places in 1827 ms of which 1 ms to minimize.
[2023-03-15 12:12:50] [INFO ] Deduced a trap composed of 53 places in 1815 ms of which 2 ms to minimize.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineWithTraps(DeadlockTester.java:1255)
at fr.lip6.move.gal.structural.smt.DeadlockTester.refineResultsWithTraps(DeadlockTester.java:736)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:656)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:350)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:902)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-15 12:12:50] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-15 12:12:50] [INFO ] After 26147ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:6
Parikh walk visited 0 properties in 11 ms.
Support contains 1597 out of 1992 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1992/1992 places, 3096/3096 transitions.
Applied a total of 0 rules in 83 ms. Remains 1992 /1992 variables (removed 0) and now considering 3096/3096 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 84 ms. Remains : 1992/1992 places, 3096/3096 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1992/1992 places, 3096/3096 transitions.
Applied a total of 0 rules in 74 ms. Remains 1992 /1992 variables (removed 0) and now considering 3096/3096 (removed 0) transitions.
[2023-03-15 12:12:50] [INFO ] Flow matrix only has 2760 transitions (discarded 336 similar events)
[2023-03-15 12:12:50] [INFO ] Invariant cache hit.
[2023-03-15 12:12:51] [INFO ] Implicit Places using invariants in 537 ms returned []
[2023-03-15 12:12:51] [INFO ] Flow matrix only has 2760 transitions (discarded 336 similar events)
[2023-03-15 12:12:51] [INFO ] Invariant cache hit.
[2023-03-15 12:12:51] [INFO ] Implicit Places using invariants and state equation in 536 ms returned []
Implicit Place search using SMT with State Equation took 1083 ms to find 0 implicit places.
[2023-03-15 12:12:52] [INFO ] Redundant transitions in 232 ms returned []
[2023-03-15 12:12:52] [INFO ] Flow matrix only has 2760 transitions (discarded 336 similar events)
[2023-03-15 12:12:52] [INFO ] Invariant cache hit.
[2023-03-15 12:12:55] [INFO ] Dead Transitions using invariants and state equation in 3418 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4815 ms. Remains : 1992/1992 places, 3096/3096 transitions.
Ensure Unique test removed 8 places
Ensure Unique test removed 336 transitions
Reduce isomorphic transitions removed 336 transitions.
Iterating post reduction 0 with 344 rules applied. Total rules applied 344 place count 1984 transition count 2760
Applied a total of 344 rules in 93 ms. Remains 1984 /1992 variables (removed 8) and now considering 2760/3096 (removed 336) transitions.
Running SMT prover for 6 properties.
// Phase 1: matrix 2760 rows 1984 cols
[2023-03-15 12:12:55] [INFO ] Computed 23 place invariants in 18 ms
[2023-03-15 12:12:58] [INFO ] [Real]Absence check using 23 positive place invariants in 34 ms returned sat
[2023-03-15 12:12:58] [INFO ] After 916ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:6
[2023-03-15 12:12:59] [INFO ] [Nat]Absence check using 23 positive place invariants in 32 ms returned sat
[2023-03-15 12:13:02] [INFO ] After 3027ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-15 12:13:04] [INFO ] After 4789ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :6
Attempting to minimize the solution found.
Minimization took 1178 ms.
[2023-03-15 12:13:05] [INFO ] After 7069ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :6
[2023-03-15 12:13:05] [INFO ] Export to MCC of 6 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 38 ms.
[2023-03-15 12:13:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1992 places, 3096 transitions and 9584 arcs took 18 ms.
[2023-03-15 12:13:06] [INFO ] Flatten gal took : 369 ms
Total runtime 93435 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT Peterson-PT-7
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/375
ReachabilityFireability
FORMULA Peterson-PT-7-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678883556041
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1878352 kB
After kill :
MemTotal: 16393216 kB
MemFree: 1874136 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/375/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/375/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/375/ReachabilityFireability.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 22 (type EXCL) for 12 Peterson-PT-7-ReachabilityFireability-12
lola: time limit : 533 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 18 (type FNDP) for 12 Peterson-PT-7-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 19 (type EQUN) for 12 Peterson-PT-7-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 21 (type SRCH) for 12 Peterson-PT-7-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/375/ReachabilityFireability-19.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: place or transition ordering is non-deterministic
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 4/399 0/5 Peterson-PT-7-ReachabilityFireability-12 59523 t fired, 1 attempts, .
19 EF STEQ 4/399 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 4/399 1/5 Peterson-PT-7-ReachabilityFireability-12 46316 m, 9263 m/sec, 144859 t fired, .
22 EF EXCL 4/533 1/32 Peterson-PT-7-ReachabilityFireability-12 12195 m, 2439 m/sec, 33280 t fired, .
Time elapsed: 403 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 9/396 0/5 Peterson-PT-7-ReachabilityFireability-12 151787 t fired, 1 attempts, .
19 EF STEQ 9/396 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 9/396 1/5 Peterson-PT-7-ReachabilityFireability-12 118300 m, 14396 m/sec, 363275 t fired, .
22 EF EXCL 9/533 1/32 Peterson-PT-7-ReachabilityFireability-12 29508 m, 3462 m/sec, 88301 t fired, .
Time elapsed: 408 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 14/391 0/5 Peterson-PT-7-ReachabilityFireability-12 244046 t fired, 1 attempts, .
19 EF STEQ 14/391 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 14/391 2/5 Peterson-PT-7-ReachabilityFireability-12 189079 m, 14155 m/sec, 587850 t fired, .
22 EF EXCL 14/533 1/32 Peterson-PT-7-ReachabilityFireability-12 47786 m, 3655 m/sec, 149855 t fired, .
Time elapsed: 413 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 19/386 0/5 Peterson-PT-7-ReachabilityFireability-12 336673 t fired, 1 attempts, .
19 EF STEQ 19/386 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 19/386 2/5 Peterson-PT-7-ReachabilityFireability-12 259163 m, 14016 m/sec, 811770 t fired, .
22 EF EXCL 19/533 1/32 Peterson-PT-7-ReachabilityFireability-12 64810 m, 3404 m/sec, 207957 t fired, .
Time elapsed: 418 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 24/381 0/5 Peterson-PT-7-ReachabilityFireability-12 428793 t fired, 1 attempts, .
19 EF STEQ 24/381 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 24/381 3/5 Peterson-PT-7-ReachabilityFireability-12 329313 m, 14030 m/sec, 1027319 t fired, .
22 EF EXCL 24/533 1/32 Peterson-PT-7-ReachabilityFireability-12 83485 m, 3735 m/sec, 264274 t fired, .
Time elapsed: 423 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 29/376 0/5 Peterson-PT-7-ReachabilityFireability-12 520953 t fired, 1 attempts, .
19 EF STEQ 29/376 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 29/376 3/5 Peterson-PT-7-ReachabilityFireability-12 398625 m, 13862 m/sec, 1248582 t fired, .
22 EF EXCL 29/533 1/32 Peterson-PT-7-ReachabilityFireability-12 99512 m, 3205 m/sec, 325080 t fired, .
Time elapsed: 428 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 34/371 0/5 Peterson-PT-7-ReachabilityFireability-12 612662 t fired, 1 attempts, .
19 EF STEQ 34/371 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 34/371 3/5 Peterson-PT-7-ReachabilityFireability-12 468598 m, 13994 m/sec, 1472580 t fired, .
22 EF EXCL 34/533 1/32 Peterson-PT-7-ReachabilityFireability-12 116684 m, 3434 m/sec, 380540 t fired, .
Time elapsed: 433 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 39/366 0/5 Peterson-PT-7-ReachabilityFireability-12 703998 t fired, 1 attempts, .
19 EF STEQ 39/366 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 39/366 4/5 Peterson-PT-7-ReachabilityFireability-12 539030 m, 14086 m/sec, 1688415 t fired, .
22 EF EXCL 39/533 1/32 Peterson-PT-7-ReachabilityFireability-12 135258 m, 3714 m/sec, 436317 t fired, .
Time elapsed: 438 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 44/361 0/5 Peterson-PT-7-ReachabilityFireability-12 795831 t fired, 1 attempts, .
19 EF STEQ 44/361 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 44/361 4/5 Peterson-PT-7-ReachabilityFireability-12 608295 m, 13853 m/sec, 1909963 t fired, .
22 EF EXCL 44/533 2/32 Peterson-PT-7-ReachabilityFireability-12 154056 m, 3759 m/sec, 494650 t fired, .
Time elapsed: 443 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 49/356 0/5 Peterson-PT-7-ReachabilityFireability-12 888199 t fired, 1 attempts, .
19 EF STEQ 49/356 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 49/356 5/5 Peterson-PT-7-ReachabilityFireability-12 677601 m, 13861 m/sec, 2132770 t fired, .
22 EF EXCL 49/533 2/32 Peterson-PT-7-ReachabilityFireability-12 172962 m, 3781 m/sec, 552889 t fired, .
Time elapsed: 448 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 4 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 54/351 0/5 Peterson-PT-7-ReachabilityFireability-12 980330 t fired, 1 attempts, .
19 EF STEQ 54/351 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
21 EF SRCH 54/351 5/5 Peterson-PT-7-ReachabilityFireability-12 747829 m, 14045 m/sec, 2347031 t fired, .
22 EF EXCL 54/533 2/32 Peterson-PT-7-ReachabilityFireability-12 189789 m, 3365 m/sec, 612567 t fired, .
Time elapsed: 453 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 21 (type SRCH) for Peterson-PT-7-ReachabilityFireability-12 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 59/346 0/5 Peterson-PT-7-ReachabilityFireability-12 1072878 t fired, 2 attempts, .
19 EF STEQ 59/346 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 59/533 2/32 Peterson-PT-7-ReachabilityFireability-12 208607 m, 3763 m/sec, 670957 t fired, .
Time elapsed: 458 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 49 (type FNDP) for 3 Peterson-PT-7-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: warning, failure of lp_solve (at job 3441)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 64/398 0/5 Peterson-PT-7-ReachabilityFireability-12 1165797 t fired, 2 attempts, .
19 EF STEQ 64/341 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 64/533 2/32 Peterson-PT-7-ReachabilityFireability-12 235616 m, 5401 m/sec, 754390 t fired, .
49 EF FNDP 5/392 0/5 Peterson-PT-7-ReachabilityFireability-05 29316 t fired, 1 attempts, .
Time elapsed: 463 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 69/393 0/5 Peterson-PT-7-ReachabilityFireability-12 1257695 t fired, 2 attempts, .
19 EF STEQ 69/336 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 69/533 2/32 Peterson-PT-7-ReachabilityFireability-12 258898 m, 4656 m/sec, 828271 t fired, .
49 EF FNDP 10/387 0/5 Peterson-PT-7-ReachabilityFireability-05 62019 t fired, 1 attempts, .
Time elapsed: 468 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 74/388 0/5 Peterson-PT-7-ReachabilityFireability-12 1350031 t fired, 2 attempts, .
19 EF STEQ 74/331 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 74/533 2/32 Peterson-PT-7-ReachabilityFireability-12 277934 m, 3807 m/sec, 887824 t fired, .
49 EF FNDP 15/382 0/5 Peterson-PT-7-ReachabilityFireability-05 95544 t fired, 1 attempts, .
Time elapsed: 473 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 79/383 0/5 Peterson-PT-7-ReachabilityFireability-12 1443339 t fired, 2 attempts, .
19 EF STEQ 79/326 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 79/533 2/32 Peterson-PT-7-ReachabilityFireability-12 296702 m, 3753 m/sec, 945672 t fired, .
49 EF FNDP 20/377 0/5 Peterson-PT-7-ReachabilityFireability-05 128457 t fired, 1 attempts, .
Time elapsed: 478 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 84/378 0/5 Peterson-PT-7-ReachabilityFireability-12 1535634 t fired, 2 attempts, .
19 EF STEQ 84/321 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 84/533 3/32 Peterson-PT-7-ReachabilityFireability-12 315300 m, 3719 m/sec, 1001687 t fired, .
49 EF FNDP 25/372 0/5 Peterson-PT-7-ReachabilityFireability-05 161018 t fired, 1 attempts, .
Time elapsed: 483 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 89/373 0/5 Peterson-PT-7-ReachabilityFireability-12 1627375 t fired, 2 attempts, .
19 EF STEQ 89/316 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 89/533 3/32 Peterson-PT-7-ReachabilityFireability-12 331634 m, 3266 m/sec, 1060966 t fired, .
49 EF FNDP 30/367 0/5 Peterson-PT-7-ReachabilityFireability-05 193334 t fired, 1 attempts, .
Time elapsed: 488 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 94/368 0/5 Peterson-PT-7-ReachabilityFireability-12 1722003 t fired, 2 attempts, .
19 EF STEQ 94/311 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 94/533 3/32 Peterson-PT-7-ReachabilityFireability-12 350662 m, 3805 m/sec, 1120155 t fired, .
49 EF FNDP 35/362 0/5 Peterson-PT-7-ReachabilityFireability-05 226647 t fired, 1 attempts, .
Time elapsed: 493 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 99/363 0/5 Peterson-PT-7-ReachabilityFireability-12 1816406 t fired, 2 attempts, .
19 EF STEQ 99/306 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 99/533 3/32 Peterson-PT-7-ReachabilityFireability-12 370327 m, 3933 m/sec, 1180814 t fired, .
49 EF FNDP 40/357 0/5 Peterson-PT-7-ReachabilityFireability-05 259952 t fired, 1 attempts, .
Time elapsed: 498 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 104/358 0/5 Peterson-PT-7-ReachabilityFireability-12 1911481 t fired, 2 attempts, .
19 EF STEQ 104/301 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 104/533 3/32 Peterson-PT-7-ReachabilityFireability-12 389788 m, 3892 m/sec, 1239346 t fired, .
49 EF FNDP 45/352 0/5 Peterson-PT-7-ReachabilityFireability-05 293352 t fired, 1 attempts, .
Time elapsed: 503 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 109/353 0/5 Peterson-PT-7-ReachabilityFireability-12 2006617 t fired, 3 attempts, .
19 EF STEQ 109/296 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 109/533 3/32 Peterson-PT-7-ReachabilityFireability-12 409384 m, 3919 m/sec, 1299644 t fired, .
49 EF FNDP 50/347 0/5 Peterson-PT-7-ReachabilityFireability-05 326693 t fired, 1 attempts, .
Time elapsed: 508 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 114/348 0/5 Peterson-PT-7-ReachabilityFireability-12 2103816 t fired, 3 attempts, .
19 EF STEQ 114/291 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 114/533 3/32 Peterson-PT-7-ReachabilityFireability-12 429434 m, 4010 m/sec, 1362683 t fired, .
49 EF FNDP 55/342 0/5 Peterson-PT-7-ReachabilityFireability-05 361186 t fired, 1 attempts, .
Time elapsed: 513 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 119/343 0/5 Peterson-PT-7-ReachabilityFireability-12 2202977 t fired, 3 attempts, .
19 EF STEQ 119/286 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 119/533 3/32 Peterson-PT-7-ReachabilityFireability-12 449575 m, 4028 m/sec, 1423952 t fired, .
49 EF FNDP 60/337 0/5 Peterson-PT-7-ReachabilityFireability-05 396060 t fired, 1 attempts, .
Time elapsed: 518 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 124/338 0/5 Peterson-PT-7-ReachabilityFireability-12 2301933 t fired, 3 attempts, .
19 EF STEQ 124/281 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 124/533 4/32 Peterson-PT-7-ReachabilityFireability-12 469635 m, 4012 m/sec, 1484469 t fired, .
49 EF FNDP 65/332 0/5 Peterson-PT-7-ReachabilityFireability-05 430812 t fired, 1 attempts, .
Time elapsed: 523 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 129/333 0/5 Peterson-PT-7-ReachabilityFireability-12 2400549 t fired, 3 attempts, .
19 EF STEQ 129/276 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 129/533 4/32 Peterson-PT-7-ReachabilityFireability-12 490101 m, 4093 m/sec, 1549317 t fired, .
49 EF FNDP 70/327 0/5 Peterson-PT-7-ReachabilityFireability-05 465619 t fired, 1 attempts, .
Time elapsed: 528 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 134/328 0/5 Peterson-PT-7-ReachabilityFireability-12 2499145 t fired, 3 attempts, .
19 EF STEQ 134/271 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 134/533 4/32 Peterson-PT-7-ReachabilityFireability-12 510648 m, 4109 m/sec, 1611791 t fired, .
49 EF FNDP 75/322 0/5 Peterson-PT-7-ReachabilityFireability-05 500385 t fired, 1 attempts, .
Time elapsed: 533 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 139/323 0/5 Peterson-PT-7-ReachabilityFireability-12 2597682 t fired, 3 attempts, .
19 EF STEQ 139/266 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 139/533 4/32 Peterson-PT-7-ReachabilityFireability-12 531132 m, 4096 m/sec, 1673777 t fired, .
49 EF FNDP 80/317 0/5 Peterson-PT-7-ReachabilityFireability-05 535274 t fired, 1 attempts, .
Time elapsed: 538 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 144/318 0/5 Peterson-PT-7-ReachabilityFireability-12 2696191 t fired, 3 attempts, .
19 EF STEQ 144/261 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 144/533 4/32 Peterson-PT-7-ReachabilityFireability-12 551872 m, 4148 m/sec, 1739201 t fired, .
49 EF FNDP 85/312 0/5 Peterson-PT-7-ReachabilityFireability-05 570067 t fired, 1 attempts, .
Time elapsed: 543 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 149/313 0/5 Peterson-PT-7-ReachabilityFireability-12 2794610 t fired, 3 attempts, .
19 EF STEQ 149/256 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 149/533 4/32 Peterson-PT-7-ReachabilityFireability-12 572603 m, 4146 m/sec, 1800727 t fired, .
49 EF FNDP 90/307 0/5 Peterson-PT-7-ReachabilityFireability-05 604868 t fired, 1 attempts, .
Time elapsed: 548 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 154/308 0/5 Peterson-PT-7-ReachabilityFireability-12 2893495 t fired, 3 attempts, .
19 EF STEQ 154/251 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 154/533 4/32 Peterson-PT-7-ReachabilityFireability-12 593759 m, 4231 m/sec, 1867664 t fired, .
49 EF FNDP 95/302 0/5 Peterson-PT-7-ReachabilityFireability-05 639667 t fired, 1 attempts, .
Time elapsed: 553 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 159/303 0/5 Peterson-PT-7-ReachabilityFireability-12 2992559 t fired, 3 attempts, .
19 EF STEQ 159/246 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 159/533 5/32 Peterson-PT-7-ReachabilityFireability-12 614808 m, 4209 m/sec, 1932582 t fired, .
49 EF FNDP 100/297 0/5 Peterson-PT-7-ReachabilityFireability-05 674470 t fired, 1 attempts, .
Time elapsed: 558 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 164/298 0/5 Peterson-PT-7-ReachabilityFireability-12 3091195 t fired, 4 attempts, .
19 EF STEQ 164/241 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 164/533 5/32 Peterson-PT-7-ReachabilityFireability-12 631895 m, 3417 m/sec, 1994796 t fired, .
49 EF FNDP 105/292 0/5 Peterson-PT-7-ReachabilityFireability-05 709394 t fired, 1 attempts, .
Time elapsed: 563 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 169/293 0/5 Peterson-PT-7-ReachabilityFireability-12 3189619 t fired, 4 attempts, .
19 EF STEQ 169/236 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 169/533 5/32 Peterson-PT-7-ReachabilityFireability-12 656936 m, 5008 m/sec, 2083877 t fired, .
49 EF FNDP 110/287 0/5 Peterson-PT-7-ReachabilityFireability-05 744262 t fired, 1 attempts, .
Time elapsed: 568 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 174/288 0/5 Peterson-PT-7-ReachabilityFireability-12 3288028 t fired, 4 attempts, .
19 EF STEQ 174/231 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 174/533 5/32 Peterson-PT-7-ReachabilityFireability-12 681961 m, 5005 m/sec, 2172904 t fired, .
49 EF FNDP 115/282 0/5 Peterson-PT-7-ReachabilityFireability-05 779144 t fired, 1 attempts, .
Time elapsed: 573 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 179/283 0/5 Peterson-PT-7-ReachabilityFireability-12 3386377 t fired, 4 attempts, .
19 EF STEQ 179/226 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 179/533 5/32 Peterson-PT-7-ReachabilityFireability-12 706855 m, 4978 m/sec, 2261684 t fired, .
49 EF FNDP 120/277 0/5 Peterson-PT-7-ReachabilityFireability-05 814043 t fired, 1 attempts, .
Time elapsed: 578 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 184/278 0/5 Peterson-PT-7-ReachabilityFireability-12 3484652 t fired, 4 attempts, .
19 EF STEQ 184/221 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 184/533 5/32 Peterson-PT-7-ReachabilityFireability-12 732111 m, 5051 m/sec, 2351385 t fired, .
49 EF FNDP 125/272 0/5 Peterson-PT-7-ReachabilityFireability-05 848883 t fired, 1 attempts, .
Time elapsed: 583 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 189/273 0/5 Peterson-PT-7-ReachabilityFireability-12 3582949 t fired, 4 attempts, .
19 EF STEQ 189/216 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 189/533 6/32 Peterson-PT-7-ReachabilityFireability-12 757171 m, 5012 m/sec, 2440551 t fired, .
49 EF FNDP 130/267 0/5 Peterson-PT-7-ReachabilityFireability-05 883702 t fired, 1 attempts, .
Time elapsed: 588 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 194/268 0/5 Peterson-PT-7-ReachabilityFireability-12 3681274 t fired, 4 attempts, .
19 EF STEQ 194/211 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 194/533 6/32 Peterson-PT-7-ReachabilityFireability-12 787888 m, 6143 m/sec, 2537652 t fired, .
49 EF FNDP 135/262 0/5 Peterson-PT-7-ReachabilityFireability-05 918497 t fired, 1 attempts, .
Time elapsed: 593 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 3 0 1 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 199/263 0/5 Peterson-PT-7-ReachabilityFireability-12 3779613 t fired, 4 attempts, .
19 EF STEQ 199/206 0/5 Peterson-PT-7-ReachabilityFireability-12 sara is running.
22 EF EXCL 199/533 6/32 Peterson-PT-7-ReachabilityFireability-12 822699 m, 6962 m/sec, 2647330 t fired, .
49 EF FNDP 140/257 0/5 Peterson-PT-7-ReachabilityFireability-05 953492 t fired, 1 attempts, .
Time elapsed: 598 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 19 (type EQUN) for Peterson-PT-7-ReachabilityFireability-12 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 2 0 1 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 204/258 0/5 Peterson-PT-7-ReachabilityFireability-12 3877862 t fired, 4 attempts, .
22 EF EXCL 204/533 6/32 Peterson-PT-7-ReachabilityFireability-12 858658 m, 7191 m/sec, 2760232 t fired, .
49 EF FNDP 145/252 0/5 Peterson-PT-7-ReachabilityFireability-05 988358 t fired, 1 attempts, .
Time elapsed: 603 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 24 (type FNDP) for 6 Peterson-PT-7-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 19 (type EQUN) for Peterson-PT-7-ReachabilityFireability-12
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 2 0 2 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 209/253 0/5 Peterson-PT-7-ReachabilityFireability-12 3975957 t fired, 4 attempts, .
22 EF EXCL 209/533 6/32 Peterson-PT-7-ReachabilityFireability-12 881285 m, 4525 m/sec, 2829546 t fired, .
24 EF FNDP 5/428 0/5 Peterson-PT-7-ReachabilityFireability-09 85934 t fired, 1 attempts, .
49 EF FNDP 150/247 0/5 Peterson-PT-7-ReachabilityFireability-05 1023092 t fired, 2 attempts, .
Time elapsed: 608 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 2 0 2 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 214/248 0/5 Peterson-PT-7-ReachabilityFireability-12 4074449 t fired, 5 attempts, .
22 EF EXCL 214/533 7/32 Peterson-PT-7-ReachabilityFireability-12 902165 m, 4176 m/sec, 2894966 t fired, .
24 EF FNDP 10/423 0/5 Peterson-PT-7-ReachabilityFireability-09 173590 t fired, 1 attempts, .
49 EF FNDP 155/242 0/5 Peterson-PT-7-ReachabilityFireability-05 1057971 t fired, 2 attempts, .
Time elapsed: 613 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 2 0 2 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 219/243 0/5 Peterson-PT-7-ReachabilityFireability-12 4173071 t fired, 5 attempts, .
22 EF EXCL 219/533 7/32 Peterson-PT-7-ReachabilityFireability-12 924410 m, 4449 m/sec, 2962550 t fired, .
24 EF FNDP 15/418 0/5 Peterson-PT-7-ReachabilityFireability-09 261235 t fired, 1 attempts, .
49 EF FNDP 160/237 0/5 Peterson-PT-7-ReachabilityFireability-05 1092826 t fired, 2 attempts, .
Time elapsed: 618 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 2 0 2 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 224/238 0/5 Peterson-PT-7-ReachabilityFireability-12 4271520 t fired, 5 attempts, .
22 EF EXCL 224/533 7/32 Peterson-PT-7-ReachabilityFireability-12 947012 m, 4520 m/sec, 3032459 t fired, .
24 EF FNDP 20/413 0/5 Peterson-PT-7-ReachabilityFireability-09 348860 t fired, 1 attempts, .
49 EF FNDP 165/232 0/5 Peterson-PT-7-ReachabilityFireability-05 1127540 t fired, 2 attempts, .
Time elapsed: 623 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 2 0 2 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
18 EF FNDP 229/233 0/5 Peterson-PT-7-ReachabilityFireability-12 4369965 t fired, 5 attempts, .
22 EF EXCL 229/533 7/32 Peterson-PT-7-ReachabilityFireability-12 969015 m, 4400 m/sec, 3100979 t fired, .
24 EF FNDP 25/408 0/5 Peterson-PT-7-ReachabilityFireability-09 436444 t fired, 1 attempts, .
49 EF FNDP 170/227 0/5 Peterson-PT-7-ReachabilityFireability-05 1162234 t fired, 2 attempts, .
Time elapsed: 628 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 18 (type FNDP) for Peterson-PT-7-ReachabilityFireability-12 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 2 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 234/533 7/32 Peterson-PT-7-ReachabilityFireability-12 991528 m, 4502 m/sec, 3168341 t fired, .
24 EF FNDP 30/403 0/5 Peterson-PT-7-ReachabilityFireability-09 523945 t fired, 1 attempts, .
49 EF FNDP 175/222 0/5 Peterson-PT-7-ReachabilityFireability-05 1196924 t fired, 2 attempts, .
Time elapsed: 633 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 30 (type FNDP) for 0 Peterson-PT-7-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 18 (type FNDP) for Peterson-PT-7-ReachabilityFireability-12
lola: result : unknown
lola: fired transitions : 4468478
lola: tried executions : 6
lola: time used : 234.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 239/533 7/32 Peterson-PT-7-ReachabilityFireability-12 1013757 m, 4445 m/sec, 3238833 t fired, .
24 EF FNDP 35/398 0/5 Peterson-PT-7-ReachabilityFireability-09 611525 t fired, 1 attempts, .
30 EF FNDP 5/423 0/5 Peterson-PT-7-ReachabilityFireability-03 86435 t fired, 1 attempts, .
49 EF FNDP 180/273 0/5 Peterson-PT-7-ReachabilityFireability-05 1231572 t fired, 2 attempts, .
Time elapsed: 638 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 244/533 7/32 Peterson-PT-7-ReachabilityFireability-12 1035433 m, 4335 m/sec, 3304679 t fired, .
24 EF FNDP 40/393 0/5 Peterson-PT-7-ReachabilityFireability-09 699000 t fired, 1 attempts, .
30 EF FNDP 10/418 0/5 Peterson-PT-7-ReachabilityFireability-03 173158 t fired, 1 attempts, .
49 EF FNDP 185/268 0/5 Peterson-PT-7-ReachabilityFireability-05 1266287 t fired, 2 attempts, .
Time elapsed: 643 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 249/533 8/32 Peterson-PT-7-ReachabilityFireability-12 1056873 m, 4288 m/sec, 3371865 t fired, .
24 EF FNDP 45/388 0/5 Peterson-PT-7-ReachabilityFireability-09 786579 t fired, 1 attempts, .
30 EF FNDP 15/413 0/5 Peterson-PT-7-ReachabilityFireability-03 259876 t fired, 1 attempts, .
49 EF FNDP 190/263 0/5 Peterson-PT-7-ReachabilityFireability-05 1300915 t fired, 2 attempts, .
Time elapsed: 648 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 254/533 8/32 Peterson-PT-7-ReachabilityFireability-12 1082553 m, 5136 m/sec, 3452723 t fired, .
24 EF FNDP 50/383 0/5 Peterson-PT-7-ReachabilityFireability-09 874211 t fired, 1 attempts, .
30 EF FNDP 20/408 0/5 Peterson-PT-7-ReachabilityFireability-03 346524 t fired, 1 attempts, .
49 EF FNDP 195/258 0/5 Peterson-PT-7-ReachabilityFireability-05 1335679 t fired, 2 attempts, .
Time elapsed: 653 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 259/533 8/32 Peterson-PT-7-ReachabilityFireability-12 1106873 m, 4864 m/sec, 3528672 t fired, .
24 EF FNDP 55/378 0/5 Peterson-PT-7-ReachabilityFireability-09 961868 t fired, 1 attempts, .
30 EF FNDP 25/403 0/5 Peterson-PT-7-ReachabilityFireability-03 433037 t fired, 1 attempts, .
49 EF FNDP 200/253 0/5 Peterson-PT-7-ReachabilityFireability-05 1370468 t fired, 2 attempts, .
Time elapsed: 658 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 264/533 8/32 Peterson-PT-7-ReachabilityFireability-12 1128368 m, 4299 m/sec, 3593741 t fired, .
24 EF FNDP 60/373 0/5 Peterson-PT-7-ReachabilityFireability-09 1049606 t fired, 2 attempts, .
30 EF FNDP 30/398 0/5 Peterson-PT-7-ReachabilityFireability-03 519741 t fired, 1 attempts, .
49 EF FNDP 205/248 0/5 Peterson-PT-7-ReachabilityFireability-05 1405156 t fired, 2 attempts, .
Time elapsed: 663 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 269/533 8/32 Peterson-PT-7-ReachabilityFireability-12 1150181 m, 4362 m/sec, 3662861 t fired, .
24 EF FNDP 65/368 0/5 Peterson-PT-7-ReachabilityFireability-09 1137380 t fired, 2 attempts, .
30 EF FNDP 35/393 0/5 Peterson-PT-7-ReachabilityFireability-03 606344 t fired, 1 attempts, .
49 EF FNDP 210/243 0/5 Peterson-PT-7-ReachabilityFireability-05 1439817 t fired, 2 attempts, .
Time elapsed: 668 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 274/533 8/32 Peterson-PT-7-ReachabilityFireability-12 1167990 m, 3561 m/sec, 3715862 t fired, .
24 EF FNDP 70/363 0/5 Peterson-PT-7-ReachabilityFireability-09 1225203 t fired, 2 attempts, .
30 EF FNDP 40/388 0/5 Peterson-PT-7-ReachabilityFireability-03 693028 t fired, 1 attempts, .
49 EF FNDP 215/238 0/5 Peterson-PT-7-ReachabilityFireability-05 1474472 t fired, 2 attempts, .
Time elapsed: 673 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 279/533 8/32 Peterson-PT-7-ReachabilityFireability-12 1184510 m, 3304 m/sec, 3769936 t fired, .
24 EF FNDP 75/358 0/5 Peterson-PT-7-ReachabilityFireability-09 1313033 t fired, 2 attempts, .
30 EF FNDP 45/383 0/5 Peterson-PT-7-ReachabilityFireability-03 779728 t fired, 1 attempts, .
49 EF FNDP 220/233 0/5 Peterson-PT-7-ReachabilityFireability-05 1509107 t fired, 2 attempts, .
Time elapsed: 678 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 284/533 9/32 Peterson-PT-7-ReachabilityFireability-12 1200821 m, 3262 m/sec, 3818193 t fired, .
24 EF FNDP 80/353 0/5 Peterson-PT-7-ReachabilityFireability-09 1401215 t fired, 2 attempts, .
30 EF FNDP 50/378 0/5 Peterson-PT-7-ReachabilityFireability-03 866049 t fired, 1 attempts, .
49 EF FNDP 225/228 0/5 Peterson-PT-7-ReachabilityFireability-05 1544269 t fired, 2 attempts, .
Time elapsed: 683 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 49 (type FNDP) for Peterson-PT-7-ReachabilityFireability-05 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 1 1 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 289/533 9/32 Peterson-PT-7-ReachabilityFireability-12 1215675 m, 2970 m/sec, 3877687 t fired, .
24 EF FNDP 85/348 0/5 Peterson-PT-7-ReachabilityFireability-09 1489218 t fired, 2 attempts, .
30 EF FNDP 55/373 0/5 Peterson-PT-7-ReachabilityFireability-03 952605 t fired, 1 attempts, .
Time elapsed: 688 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 36 (type FNDP) for 9 Peterson-PT-7-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 49 (type FNDP) for Peterson-PT-7-ReachabilityFireability-05
lola: result : unknown
lola: fired transitions : 1580020
lola: tried executions : 3
lola: time used : 230.000000
lola: memory pages used : 0
lola: FINISHED task # 30 (type FNDP) for Peterson-PT-7-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 1000009
lola: tried executions : 2
lola: time used : 58.000000
lola: memory pages used : 0
lola: LAUNCH task # 42 (type FNDP) for 15 Peterson-PT-7-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 294/640 9/32 Peterson-PT-7-ReachabilityFireability-12 1231424 m, 3149 m/sec, 3930376 t fired, .
24 EF FNDP 90/511 0/5 Peterson-PT-7-ReachabilityFireability-09 1577295 t fired, 2 attempts, .
36 EF FNDP 5/579 0/5 Peterson-PT-7-ReachabilityFireability-11 92452 t fired, 1 attempts, .
42 EF FNDP 2/484 0/5 Peterson-PT-7-ReachabilityFireability-15 43129 t fired, 1 attempts, .
Time elapsed: 693 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 299/640 9/32 Peterson-PT-7-ReachabilityFireability-12 1246675 m, 3050 m/sec, 3990090 t fired, .
24 EF FNDP 95/509 0/5 Peterson-PT-7-ReachabilityFireability-09 1665429 t fired, 2 attempts, .
36 EF FNDP 10/577 0/5 Peterson-PT-7-ReachabilityFireability-11 184993 t fired, 1 attempts, .
42 EF FNDP 7/482 0/5 Peterson-PT-7-ReachabilityFireability-15 139032 t fired, 1 attempts, .
Time elapsed: 698 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 304/640 9/32 Peterson-PT-7-ReachabilityFireability-12 1262104 m, 3085 m/sec, 4047629 t fired, .
24 EF FNDP 100/504 0/5 Peterson-PT-7-ReachabilityFireability-09 1753573 t fired, 2 attempts, .
36 EF FNDP 15/572 0/5 Peterson-PT-7-ReachabilityFireability-11 277682 t fired, 1 attempts, .
42 EF FNDP 12/477 0/5 Peterson-PT-7-ReachabilityFireability-15 234924 t fired, 1 attempts, .
Time elapsed: 703 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 309/640 9/32 Peterson-PT-7-ReachabilityFireability-12 1277989 m, 3177 m/sec, 4106489 t fired, .
24 EF FNDP 105/499 0/5 Peterson-PT-7-ReachabilityFireability-09 1841531 t fired, 2 attempts, .
36 EF FNDP 20/567 0/5 Peterson-PT-7-ReachabilityFireability-11 370248 t fired, 1 attempts, .
42 EF FNDP 17/472 0/5 Peterson-PT-7-ReachabilityFireability-15 330767 t fired, 1 attempts, .
Time elapsed: 708 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 314/640 9/32 Peterson-PT-7-ReachabilityFireability-12 1294309 m, 3264 m/sec, 4155418 t fired, .
24 EF FNDP 110/494 0/5 Peterson-PT-7-ReachabilityFireability-09 1929499 t fired, 2 attempts, .
36 EF FNDP 25/562 0/5 Peterson-PT-7-ReachabilityFireability-11 462827 t fired, 1 attempts, .
42 EF FNDP 22/467 0/5 Peterson-PT-7-ReachabilityFireability-15 426476 t fired, 1 attempts, .
Time elapsed: 713 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 319/640 9/32 Peterson-PT-7-ReachabilityFireability-12 1310117 m, 3161 m/sec, 4208744 t fired, .
24 EF FNDP 115/489 0/5 Peterson-PT-7-ReachabilityFireability-09 2017481 t fired, 3 attempts, .
36 EF FNDP 30/557 0/5 Peterson-PT-7-ReachabilityFireability-11 555478 t fired, 1 attempts, .
42 EF FNDP 27/462 0/5 Peterson-PT-7-ReachabilityFireability-15 522290 t fired, 1 attempts, .
Time elapsed: 718 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 324/640 9/32 Peterson-PT-7-ReachabilityFireability-12 1324759 m, 2928 m/sec, 4257366 t fired, .
24 EF FNDP 120/484 0/5 Peterson-PT-7-ReachabilityFireability-09 2105062 t fired, 3 attempts, .
36 EF FNDP 35/552 0/5 Peterson-PT-7-ReachabilityFireability-11 648615 t fired, 1 attempts, .
42 EF FNDP 32/457 0/5 Peterson-PT-7-ReachabilityFireability-15 617869 t fired, 1 attempts, .
Time elapsed: 723 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 329/640 10/32 Peterson-PT-7-ReachabilityFireability-12 1341383 m, 3324 m/sec, 4310041 t fired, .
24 EF FNDP 125/479 0/5 Peterson-PT-7-ReachabilityFireability-09 2192453 t fired, 3 attempts, .
36 EF FNDP 40/547 0/5 Peterson-PT-7-ReachabilityFireability-11 741748 t fired, 1 attempts, .
42 EF FNDP 37/452 0/5 Peterson-PT-7-ReachabilityFireability-15 713580 t fired, 1 attempts, .
Time elapsed: 728 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 334/640 10/32 Peterson-PT-7-ReachabilityFireability-12 1356926 m, 3108 m/sec, 4363490 t fired, .
24 EF FNDP 130/474 0/5 Peterson-PT-7-ReachabilityFireability-09 2279863 t fired, 3 attempts, .
36 EF FNDP 45/542 0/5 Peterson-PT-7-ReachabilityFireability-11 834996 t fired, 1 attempts, .
42 EF FNDP 42/447 0/5 Peterson-PT-7-ReachabilityFireability-15 809233 t fired, 1 attempts, .
Time elapsed: 733 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 339/640 10/32 Peterson-PT-7-ReachabilityFireability-12 1372499 m, 3114 m/sec, 4423458 t fired, .
24 EF FNDP 135/469 0/5 Peterson-PT-7-ReachabilityFireability-09 2367228 t fired, 3 attempts, .
36 EF FNDP 50/537 0/5 Peterson-PT-7-ReachabilityFireability-11 928189 t fired, 1 attempts, .
42 EF FNDP 47/442 0/5 Peterson-PT-7-ReachabilityFireability-15 904784 t fired, 1 attempts, .
Time elapsed: 738 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 344/640 10/32 Peterson-PT-7-ReachabilityFireability-12 1388621 m, 3224 m/sec, 4482271 t fired, .
24 EF FNDP 140/464 0/5 Peterson-PT-7-ReachabilityFireability-09 2454948 t fired, 3 attempts, .
36 EF FNDP 55/532 0/5 Peterson-PT-7-ReachabilityFireability-11 1020980 t fired, 2 attempts, .
42 EF FNDP 52/437 0/5 Peterson-PT-7-ReachabilityFireability-15 1000401 t fired, 2 attempts, .
Time elapsed: 743 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 349/640 10/32 Peterson-PT-7-ReachabilityFireability-12 1404106 m, 3097 m/sec, 4557875 t fired, .
24 EF FNDP 145/459 0/5 Peterson-PT-7-ReachabilityFireability-09 2542833 t fired, 3 attempts, .
36 EF FNDP 60/527 0/5 Peterson-PT-7-ReachabilityFireability-11 1113753 t fired, 2 attempts, .
42 EF FNDP 57/432 0/5 Peterson-PT-7-ReachabilityFireability-15 1095951 t fired, 2 attempts, .
Time elapsed: 748 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 354/640 10/32 Peterson-PT-7-ReachabilityFireability-12 1421428 m, 3464 m/sec, 4626052 t fired, .
24 EF FNDP 150/454 0/5 Peterson-PT-7-ReachabilityFireability-09 2630637 t fired, 3 attempts, .
36 EF FNDP 65/522 0/5 Peterson-PT-7-ReachabilityFireability-11 1206477 t fired, 2 attempts, .
42 EF FNDP 62/427 0/5 Peterson-PT-7-ReachabilityFireability-15 1191370 t fired, 2 attempts, .
Time elapsed: 753 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 359/640 10/32 Peterson-PT-7-ReachabilityFireability-12 1439203 m, 3555 m/sec, 4688940 t fired, .
24 EF FNDP 155/449 0/5 Peterson-PT-7-ReachabilityFireability-09 2718298 t fired, 3 attempts, .
36 EF FNDP 70/517 0/5 Peterson-PT-7-ReachabilityFireability-11 1299359 t fired, 2 attempts, .
42 EF FNDP 67/422 0/5 Peterson-PT-7-ReachabilityFireability-15 1286889 t fired, 2 attempts, .
Time elapsed: 758 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 364/640 10/32 Peterson-PT-7-ReachabilityFireability-12 1458145 m, 3788 m/sec, 4749763 t fired, .
24 EF FNDP 160/444 0/5 Peterson-PT-7-ReachabilityFireability-09 2805834 t fired, 3 attempts, .
36 EF FNDP 75/512 0/5 Peterson-PT-7-ReachabilityFireability-11 1392200 t fired, 2 attempts, .
42 EF FNDP 72/417 0/5 Peterson-PT-7-ReachabilityFireability-15 1382471 t fired, 2 attempts, .
Time elapsed: 763 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 369/640 11/32 Peterson-PT-7-ReachabilityFireability-12 1475424 m, 3455 m/sec, 4810513 t fired, .
24 EF FNDP 165/439 0/5 Peterson-PT-7-ReachabilityFireability-09 2893463 t fired, 3 attempts, .
36 EF FNDP 80/507 0/5 Peterson-PT-7-ReachabilityFireability-11 1485000 t fired, 2 attempts, .
42 EF FNDP 77/412 0/5 Peterson-PT-7-ReachabilityFireability-15 1478020 t fired, 2 attempts, .
Time elapsed: 768 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 374/640 11/32 Peterson-PT-7-ReachabilityFireability-12 1494899 m, 3895 m/sec, 4869613 t fired, .
24 EF FNDP 170/434 0/5 Peterson-PT-7-ReachabilityFireability-09 2981324 t fired, 3 attempts, .
36 EF FNDP 85/502 0/5 Peterson-PT-7-ReachabilityFireability-11 1577739 t fired, 2 attempts, .
42 EF FNDP 82/407 0/5 Peterson-PT-7-ReachabilityFireability-15 1573508 t fired, 2 attempts, .
Time elapsed: 773 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 379/640 11/32 Peterson-PT-7-ReachabilityFireability-12 1513296 m, 3679 m/sec, 4931346 t fired, .
24 EF FNDP 175/429 0/5 Peterson-PT-7-ReachabilityFireability-09 3069265 t fired, 4 attempts, .
36 EF FNDP 90/497 0/5 Peterson-PT-7-ReachabilityFireability-11 1670532 t fired, 2 attempts, .
42 EF FNDP 87/402 0/5 Peterson-PT-7-ReachabilityFireability-15 1669041 t fired, 2 attempts, .
Time elapsed: 778 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 384/640 11/32 Peterson-PT-7-ReachabilityFireability-12 1537533 m, 4847 m/sec, 5010643 t fired, .
24 EF FNDP 180/424 0/5 Peterson-PT-7-ReachabilityFireability-09 3157124 t fired, 4 attempts, .
36 EF FNDP 95/492 0/5 Peterson-PT-7-ReachabilityFireability-11 1763268 t fired, 2 attempts, .
42 EF FNDP 92/397 0/5 Peterson-PT-7-ReachabilityFireability-15 1764621 t fired, 2 attempts, .
Time elapsed: 783 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 389/640 11/32 Peterson-PT-7-ReachabilityFireability-12 1556868 m, 3867 m/sec, 5069250 t fired, .
24 EF FNDP 185/419 0/5 Peterson-PT-7-ReachabilityFireability-09 3244950 t fired, 4 attempts, .
36 EF FNDP 100/487 0/5 Peterson-PT-7-ReachabilityFireability-11 1855882 t fired, 2 attempts, .
42 EF FNDP 97/392 0/5 Peterson-PT-7-ReachabilityFireability-15 1860250 t fired, 2 attempts, .
Time elapsed: 788 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 394/640 11/32 Peterson-PT-7-ReachabilityFireability-12 1574989 m, 3624 m/sec, 5131861 t fired, .
24 EF FNDP 190/414 0/5 Peterson-PT-7-ReachabilityFireability-09 3332855 t fired, 4 attempts, .
36 EF FNDP 105/482 0/5 Peterson-PT-7-ReachabilityFireability-11 1948676 t fired, 2 attempts, .
42 EF FNDP 102/387 0/5 Peterson-PT-7-ReachabilityFireability-15 1955784 t fired, 2 attempts, .
Time elapsed: 793 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 399/640 11/32 Peterson-PT-7-ReachabilityFireability-12 1594797 m, 3961 m/sec, 5192191 t fired, .
24 EF FNDP 195/409 0/5 Peterson-PT-7-ReachabilityFireability-09 3420502 t fired, 4 attempts, .
36 EF FNDP 110/477 0/5 Peterson-PT-7-ReachabilityFireability-11 2041458 t fired, 3 attempts, .
42 EF FNDP 107/382 0/5 Peterson-PT-7-ReachabilityFireability-15 2051575 t fired, 3 attempts, .
Time elapsed: 798 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 404/640 11/32 Peterson-PT-7-ReachabilityFireability-12 1614588 m, 3958 m/sec, 5252082 t fired, .
24 EF FNDP 200/404 0/5 Peterson-PT-7-ReachabilityFireability-09 3508295 t fired, 4 attempts, .
36 EF FNDP 115/472 0/5 Peterson-PT-7-ReachabilityFireability-11 2133958 t fired, 3 attempts, .
42 EF FNDP 112/377 0/5 Peterson-PT-7-ReachabilityFireability-15 2147498 t fired, 3 attempts, .
Time elapsed: 803 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 409/640 12/32 Peterson-PT-7-ReachabilityFireability-12 1634565 m, 3995 m/sec, 5313845 t fired, .
24 EF FNDP 205/399 0/5 Peterson-PT-7-ReachabilityFireability-09 3596434 t fired, 4 attempts, .
36 EF FNDP 120/467 0/5 Peterson-PT-7-ReachabilityFireability-11 2226498 t fired, 3 attempts, .
42 EF FNDP 117/372 0/5 Peterson-PT-7-ReachabilityFireability-15 2243483 t fired, 3 attempts, .
Time elapsed: 808 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 414/640 12/32 Peterson-PT-7-ReachabilityFireability-12 1654691 m, 4025 m/sec, 5376899 t fired, .
24 EF FNDP 210/394 0/5 Peterson-PT-7-ReachabilityFireability-09 3684594 t fired, 4 attempts, .
36 EF FNDP 125/462 0/5 Peterson-PT-7-ReachabilityFireability-11 2318947 t fired, 3 attempts, .
42 EF FNDP 122/367 0/5 Peterson-PT-7-ReachabilityFireability-15 2339400 t fired, 3 attempts, .
Time elapsed: 813 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 419/640 12/32 Peterson-PT-7-ReachabilityFireability-12 1674802 m, 4022 m/sec, 5437722 t fired, .
24 EF FNDP 215/389 0/5 Peterson-PT-7-ReachabilityFireability-09 3772820 t fired, 4 attempts, .
36 EF FNDP 130/457 0/5 Peterson-PT-7-ReachabilityFireability-11 2411506 t fired, 3 attempts, .
42 EF FNDP 127/362 0/5 Peterson-PT-7-ReachabilityFireability-15 2435432 t fired, 3 attempts, .
Time elapsed: 818 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 424/640 12/32 Peterson-PT-7-ReachabilityFireability-12 1695375 m, 4114 m/sec, 5501008 t fired, .
24 EF FNDP 220/384 0/5 Peterson-PT-7-ReachabilityFireability-09 3861140 t fired, 4 attempts, .
36 EF FNDP 135/452 0/5 Peterson-PT-7-ReachabilityFireability-11 2504079 t fired, 3 attempts, .
42 EF FNDP 132/357 0/5 Peterson-PT-7-ReachabilityFireability-15 2531411 t fired, 3 attempts, .
Time elapsed: 823 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 429/640 12/32 Peterson-PT-7-ReachabilityFireability-12 1714399 m, 3804 m/sec, 5568247 t fired, .
24 EF FNDP 225/379 0/5 Peterson-PT-7-ReachabilityFireability-09 3948999 t fired, 4 attempts, .
36 EF FNDP 140/447 0/5 Peterson-PT-7-ReachabilityFireability-11 2596667 t fired, 3 attempts, .
42 EF FNDP 137/352 0/5 Peterson-PT-7-ReachabilityFireability-15 2627317 t fired, 3 attempts, .
Time elapsed: 828 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 434/640 12/32 Peterson-PT-7-ReachabilityFireability-12 1738979 m, 4916 m/sec, 5655783 t fired, .
24 EF FNDP 230/374 0/5 Peterson-PT-7-ReachabilityFireability-09 4037308 t fired, 5 attempts, .
36 EF FNDP 145/442 0/5 Peterson-PT-7-ReachabilityFireability-11 2689153 t fired, 3 attempts, .
42 EF FNDP 142/347 0/5 Peterson-PT-7-ReachabilityFireability-15 2723112 t fired, 3 attempts, .
Time elapsed: 833 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 439/640 12/32 Peterson-PT-7-ReachabilityFireability-12 1763757 m, 4955 m/sec, 5744570 t fired, .
24 EF FNDP 235/369 0/5 Peterson-PT-7-ReachabilityFireability-09 4125626 t fired, 5 attempts, .
36 EF FNDP 150/437 0/5 Peterson-PT-7-ReachabilityFireability-11 2781565 t fired, 3 attempts, .
42 EF FNDP 147/342 0/5 Peterson-PT-7-ReachabilityFireability-15 2819003 t fired, 3 attempts, .
Time elapsed: 838 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 444/640 13/32 Peterson-PT-7-ReachabilityFireability-12 1790850 m, 5418 m/sec, 5835478 t fired, .
24 EF FNDP 240/364 0/5 Peterson-PT-7-ReachabilityFireability-09 4213787 t fired, 5 attempts, .
36 EF FNDP 155/432 0/5 Peterson-PT-7-ReachabilityFireability-11 2874037 t fired, 3 attempts, .
42 EF FNDP 152/337 0/5 Peterson-PT-7-ReachabilityFireability-15 2914760 t fired, 3 attempts, .
Time elapsed: 843 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 449/640 13/32 Peterson-PT-7-ReachabilityFireability-12 1825372 m, 6904 m/sec, 5942711 t fired, .
24 EF FNDP 245/359 0/5 Peterson-PT-7-ReachabilityFireability-09 4301985 t fired, 5 attempts, .
36 EF FNDP 160/427 0/5 Peterson-PT-7-ReachabilityFireability-11 2966425 t fired, 3 attempts, .
42 EF FNDP 157/332 0/5 Peterson-PT-7-ReachabilityFireability-15 3010647 t fired, 4 attempts, .
Time elapsed: 848 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 454/640 13/32 Peterson-PT-7-ReachabilityFireability-12 1848216 m, 4568 m/sec, 6015205 t fired, .
24 EF FNDP 250/354 0/5 Peterson-PT-7-ReachabilityFireability-09 4390211 t fired, 5 attempts, .
36 EF FNDP 165/422 0/5 Peterson-PT-7-ReachabilityFireability-11 3058899 t fired, 4 attempts, .
42 EF FNDP 162/327 0/5 Peterson-PT-7-ReachabilityFireability-15 3106302 t fired, 4 attempts, .
Time elapsed: 853 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 459/640 13/32 Peterson-PT-7-ReachabilityFireability-12 1870431 m, 4443 m/sec, 6081613 t fired, .
24 EF FNDP 255/349 0/5 Peterson-PT-7-ReachabilityFireability-09 4478429 t fired, 5 attempts, .
36 EF FNDP 170/417 0/5 Peterson-PT-7-ReachabilityFireability-11 3151232 t fired, 4 attempts, .
42 EF FNDP 167/322 0/5 Peterson-PT-7-ReachabilityFireability-15 3202141 t fired, 4 attempts, .
Time elapsed: 858 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 464/640 13/32 Peterson-PT-7-ReachabilityFireability-12 1892253 m, 4364 m/sec, 6150212 t fired, .
24 EF FNDP 260/344 0/5 Peterson-PT-7-ReachabilityFireability-09 4566710 t fired, 5 attempts, .
36 EF FNDP 175/412 0/5 Peterson-PT-7-ReachabilityFireability-11 3243660 t fired, 4 attempts, .
42 EF FNDP 172/317 0/5 Peterson-PT-7-ReachabilityFireability-15 3297967 t fired, 4 attempts, .
Time elapsed: 863 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 469/640 13/32 Peterson-PT-7-ReachabilityFireability-12 1914083 m, 4366 m/sec, 6215640 t fired, .
24 EF FNDP 265/339 0/5 Peterson-PT-7-ReachabilityFireability-09 4655002 t fired, 5 attempts, .
36 EF FNDP 180/407 0/5 Peterson-PT-7-ReachabilityFireability-11 3335967 t fired, 4 attempts, .
42 EF FNDP 177/312 0/5 Peterson-PT-7-ReachabilityFireability-15 3393837 t fired, 4 attempts, .
Time elapsed: 868 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 474/640 14/32 Peterson-PT-7-ReachabilityFireability-12 1941640 m, 5511 m/sec, 6303616 t fired, .
24 EF FNDP 270/334 0/5 Peterson-PT-7-ReachabilityFireability-09 4742752 t fired, 5 attempts, .
36 EF FNDP 185/402 0/5 Peterson-PT-7-ReachabilityFireability-11 3428833 t fired, 4 attempts, .
42 EF FNDP 182/307 0/5 Peterson-PT-7-ReachabilityFireability-15 3489405 t fired, 4 attempts, .
Time elapsed: 873 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 479/640 14/32 Peterson-PT-7-ReachabilityFireability-12 1963496 m, 4371 m/sec, 6369957 t fired, .
24 EF FNDP 275/329 0/5 Peterson-PT-7-ReachabilityFireability-09 4830383 t fired, 5 attempts, .
36 EF FNDP 190/397 0/5 Peterson-PT-7-ReachabilityFireability-11 3521734 t fired, 4 attempts, .
42 EF FNDP 187/302 0/5 Peterson-PT-7-ReachabilityFireability-15 3584869 t fired, 4 attempts, .
Time elapsed: 878 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 484/640 14/32 Peterson-PT-7-ReachabilityFireability-12 1982062 m, 3713 m/sec, 6434371 t fired, .
24 EF FNDP 280/324 0/5 Peterson-PT-7-ReachabilityFireability-09 4918108 t fired, 5 attempts, .
36 EF FNDP 195/392 0/5 Peterson-PT-7-ReachabilityFireability-11 3614716 t fired, 4 attempts, .
42 EF FNDP 192/297 0/5 Peterson-PT-7-ReachabilityFireability-15 3680406 t fired, 4 attempts, .
Time elapsed: 883 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 489/640 14/32 Peterson-PT-7-ReachabilityFireability-12 1996333 m, 2854 m/sec, 6496674 t fired, .
24 EF FNDP 285/319 0/5 Peterson-PT-7-ReachabilityFireability-09 5005900 t fired, 6 attempts, .
36 EF FNDP 200/387 0/5 Peterson-PT-7-ReachabilityFireability-11 3707572 t fired, 4 attempts, .
42 EF FNDP 197/292 0/5 Peterson-PT-7-ReachabilityFireability-15 3775857 t fired, 4 attempts, .
Time elapsed: 888 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 494/640 14/32 Peterson-PT-7-ReachabilityFireability-12 2010515 m, 2836 m/sec, 6554201 t fired, .
24 EF FNDP 290/314 0/5 Peterson-PT-7-ReachabilityFireability-09 5093784 t fired, 6 attempts, .
36 EF FNDP 205/382 0/5 Peterson-PT-7-ReachabilityFireability-11 3800514 t fired, 4 attempts, .
42 EF FNDP 202/287 0/5 Peterson-PT-7-ReachabilityFireability-15 3871317 t fired, 4 attempts, .
Time elapsed: 893 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 499/640 14/32 Peterson-PT-7-ReachabilityFireability-12 2025184 m, 2933 m/sec, 6613438 t fired, .
24 EF FNDP 295/309 0/5 Peterson-PT-7-ReachabilityFireability-09 5181282 t fired, 6 attempts, .
36 EF FNDP 210/377 0/5 Peterson-PT-7-ReachabilityFireability-11 3893356 t fired, 4 attempts, .
42 EF FNDP 207/282 0/5 Peterson-PT-7-ReachabilityFireability-15 3966655 t fired, 4 attempts, .
Time elapsed: 898 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 504/640 14/32 Peterson-PT-7-ReachabilityFireability-12 2040168 m, 2996 m/sec, 6685258 t fired, .
24 EF FNDP 300/304 0/5 Peterson-PT-7-ReachabilityFireability-09 5269088 t fired, 6 attempts, .
36 EF FNDP 215/372 0/5 Peterson-PT-7-ReachabilityFireability-11 3985935 t fired, 4 attempts, .
42 EF FNDP 212/277 0/5 Peterson-PT-7-ReachabilityFireability-15 4062166 t fired, 5 attempts, .
Time elapsed: 903 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 24 (type FNDP) for Peterson-PT-7-ReachabilityFireability-09 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 0 0 1 1 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 509/640 14/32 Peterson-PT-7-ReachabilityFireability-12 2055590 m, 3084 m/sec, 6755241 t fired, .
36 EF FNDP 220/367 0/5 Peterson-PT-7-ReachabilityFireability-11 4078593 t fired, 5 attempts, .
42 EF FNDP 217/272 0/5 Peterson-PT-7-ReachabilityFireability-15 4157790 t fired, 5 attempts, .
Time elapsed: 908 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 50 (type EQUN) for 3 Peterson-PT-7-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 24 (type FNDP) for Peterson-PT-7-ReachabilityFireability-09
lola: result : unknown
lola: fired transitions : 5357239
lola: tried executions : 7
lola: time used : 305.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 514/640 15/32 Peterson-PT-7-ReachabilityFireability-12 2071447 m, 3171 m/sec, 6817812 t fired, .
36 EF FNDP 225/362 0/5 Peterson-PT-7-ReachabilityFireability-11 4171231 t fired, 5 attempts, .
42 EF FNDP 222/364 0/5 Peterson-PT-7-ReachabilityFireability-15 4253256 t fired, 5 attempts, .
50 EF STEQ 5/538 0/5 Peterson-PT-7-ReachabilityFireability-05 sara not yet started (preprocessing).
Time elapsed: 913 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 4 0 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 519/640 15/32 Peterson-PT-7-ReachabilityFireability-12 2086676 m, 3045 m/sec, 6882822 t fired, .
36 EF FNDP 230/357 0/5 Peterson-PT-7-ReachabilityFireability-11 4263896 t fired, 5 attempts, .
42 EF FNDP 227/359 0/5 Peterson-PT-7-ReachabilityFireability-15 4348676 t fired, 5 attempts, .
50 EF STEQ 10/533 0/5 Peterson-PT-7-ReachabilityFireability-05 sara not yet started (preprocessing).
Time elapsed: 918 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 6
lola: FINISHED task # 50 (type EQUN) for Peterson-PT-7-ReachabilityFireability-05
lola: result : unknown
lola: LAUNCH task # 25 (type EQUN) for 6 Peterson-PT-7-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/375/ReachabilityFireability-25.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 524/640 15/32 Peterson-PT-7-ReachabilityFireability-12 2101380 m, 2940 m/sec, 6942912 t fired, .
25 EF STEQ 4/536 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 235/497 0/5 Peterson-PT-7-ReachabilityFireability-11 4352130 t fired, 5 attempts, .
42 EF FNDP 232/353 0/5 Peterson-PT-7-ReachabilityFireability-15 4440442 t fired, 5 attempts, .
Time elapsed: 923 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 529/640 15/32 Peterson-PT-7-ReachabilityFireability-12 2116624 m, 3048 m/sec, 7014891 t fired, .
25 EF STEQ 9/532 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 240/493 0/5 Peterson-PT-7-ReachabilityFireability-11 4445062 t fired, 5 attempts, .
42 EF FNDP 237/349 0/5 Peterson-PT-7-ReachabilityFireability-15 4535218 t fired, 5 attempts, .
Time elapsed: 928 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 534/640 15/32 Peterson-PT-7-ReachabilityFireability-12 2131284 m, 2932 m/sec, 7082166 t fired, .
25 EF STEQ 14/527 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 245/488 0/5 Peterson-PT-7-ReachabilityFireability-11 4538145 t fired, 5 attempts, .
42 EF FNDP 242/344 0/5 Peterson-PT-7-ReachabilityFireability-15 4630152 t fired, 5 attempts, .
Time elapsed: 933 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 539/640 15/32 Peterson-PT-7-ReachabilityFireability-12 2147038 m, 3150 m/sec, 7146345 t fired, .
25 EF STEQ 19/522 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 250/483 0/5 Peterson-PT-7-ReachabilityFireability-11 4631278 t fired, 5 attempts, .
42 EF FNDP 247/339 0/5 Peterson-PT-7-ReachabilityFireability-15 4725218 t fired, 5 attempts, .
Time elapsed: 938 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 544/640 15/32 Peterson-PT-7-ReachabilityFireability-12 2162439 m, 3080 m/sec, 7212196 t fired, .
25 EF STEQ 24/517 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 255/478 0/5 Peterson-PT-7-ReachabilityFireability-11 4724373 t fired, 5 attempts, .
42 EF FNDP 252/334 0/5 Peterson-PT-7-ReachabilityFireability-15 4820270 t fired, 5 attempts, .
Time elapsed: 943 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 549/640 16/32 Peterson-PT-7-ReachabilityFireability-12 2177670 m, 3046 m/sec, 7276476 t fired, .
25 EF STEQ 29/512 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 260/473 0/5 Peterson-PT-7-ReachabilityFireability-11 4817462 t fired, 5 attempts, .
42 EF FNDP 257/329 0/5 Peterson-PT-7-ReachabilityFireability-15 4915312 t fired, 5 attempts, .
Time elapsed: 948 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 554/640 16/32 Peterson-PT-7-ReachabilityFireability-12 2192821 m, 3030 m/sec, 7343631 t fired, .
25 EF STEQ 34/507 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 265/468 0/5 Peterson-PT-7-ReachabilityFireability-11 4910526 t fired, 5 attempts, .
42 EF FNDP 262/324 0/5 Peterson-PT-7-ReachabilityFireability-15 5010434 t fired, 6 attempts, .
Time elapsed: 953 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 559/640 16/32 Peterson-PT-7-ReachabilityFireability-12 2209032 m, 3242 m/sec, 7418954 t fired, .
25 EF STEQ 39/502 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 270/463 0/5 Peterson-PT-7-ReachabilityFireability-11 5003383 t fired, 6 attempts, .
42 EF FNDP 267/319 0/5 Peterson-PT-7-ReachabilityFireability-15 5105798 t fired, 6 attempts, .
Time elapsed: 958 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 564/640 16/32 Peterson-PT-7-ReachabilityFireability-12 2225524 m, 3298 m/sec, 7487846 t fired, .
25 EF STEQ 44/497 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 275/458 0/5 Peterson-PT-7-ReachabilityFireability-11 5096357 t fired, 6 attempts, .
42 EF FNDP 272/314 0/5 Peterson-PT-7-ReachabilityFireability-15 5201079 t fired, 6 attempts, .
Time elapsed: 963 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 569/640 16/32 Peterson-PT-7-ReachabilityFireability-12 2241267 m, 3148 m/sec, 7555039 t fired, .
25 EF STEQ 49/492 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 280/453 0/5 Peterson-PT-7-ReachabilityFireability-11 5189366 t fired, 6 attempts, .
42 EF FNDP 277/309 0/5 Peterson-PT-7-ReachabilityFireability-15 5296305 t fired, 6 attempts, .
Time elapsed: 968 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 574/640 16/32 Peterson-PT-7-ReachabilityFireability-12 2256827 m, 3112 m/sec, 7618873 t fired, .
25 EF STEQ 54/487 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 285/448 0/5 Peterson-PT-7-ReachabilityFireability-11 5282273 t fired, 6 attempts, .
42 EF FNDP 282/304 0/5 Peterson-PT-7-ReachabilityFireability-15 5391458 t fired, 6 attempts, .
Time elapsed: 973 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 579/640 16/32 Peterson-PT-7-ReachabilityFireability-12 2272400 m, 3114 m/sec, 7689434 t fired, .
25 EF STEQ 59/482 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 290/443 0/5 Peterson-PT-7-ReachabilityFireability-11 5375407 t fired, 6 attempts, .
42 EF FNDP 287/299 0/5 Peterson-PT-7-ReachabilityFireability-15 5486707 t fired, 6 attempts, .
Time elapsed: 978 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 584/640 16/32 Peterson-PT-7-ReachabilityFireability-12 2287623 m, 3044 m/sec, 7761514 t fired, .
25 EF STEQ 64/477 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 295/438 0/5 Peterson-PT-7-ReachabilityFireability-11 5468504 t fired, 6 attempts, .
42 EF FNDP 292/294 0/5 Peterson-PT-7-ReachabilityFireability-15 5581962 t fired, 6 attempts, .
Time elapsed: 983 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 42 (type FNDP) for Peterson-PT-7-ReachabilityFireability-15 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 4 0 0 1 1 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 589/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2302590 m, 2993 m/sec, 7827008 t fired, .
25 EF STEQ 69/472 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 300/433 0/5 Peterson-PT-7-ReachabilityFireability-11 5561662 t fired, 6 attempts, .
Time elapsed: 988 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 43 (type EQUN) for 15 Peterson-PT-7-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 42 (type FNDP) for Peterson-PT-7-ReachabilityFireability-15
lola: result : unknown
lola: fired transitions : 5677203
lola: tried executions : 7
lola: time used : 297.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/375/ReachabilityFireability-43.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 594/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2316969 m, 2875 m/sec, 7885232 t fired, .
25 EF STEQ 74/601 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 305/428 0/5 Peterson-PT-7-ReachabilityFireability-11 5652250 t fired, 6 attempts, .
43 EF STEQ 5/522 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 993 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 599/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2330867 m, 2779 m/sec, 7943711 t fired, .
25 EF STEQ 79/596 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 310/423 0/5 Peterson-PT-7-ReachabilityFireability-11 5745091 t fired, 6 attempts, .
43 EF STEQ 10/517 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 998 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 604/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2343800 m, 2586 m/sec, 7999092 t fired, .
25 EF STEQ 84/591 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 315/418 0/5 Peterson-PT-7-ReachabilityFireability-11 5834457 t fired, 6 attempts, .
43 EF STEQ 15/512 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 1003 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 609/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2357449 m, 2729 m/sec, 8062175 t fired, .
25 EF STEQ 89/586 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 320/413 0/5 Peterson-PT-7-ReachabilityFireability-11 5923302 t fired, 6 attempts, .
43 EF STEQ 20/507 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 1008 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 614/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2371614 m, 2833 m/sec, 8118017 t fired, .
25 EF STEQ 94/581 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 325/408 0/5 Peterson-PT-7-ReachabilityFireability-11 6004350 t fired, 7 attempts, .
43 EF STEQ 25/502 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 1013 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 619/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2386802 m, 3037 m/sec, 8177832 t fired, .
25 EF STEQ 99/576 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 330/403 0/5 Peterson-PT-7-ReachabilityFireability-11 6089880 t fired, 7 attempts, .
43 EF STEQ 30/497 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 1018 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 624/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2399491 m, 2537 m/sec, 8231341 t fired, .
25 EF STEQ 104/571 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 335/398 0/5 Peterson-PT-7-ReachabilityFireability-11 6175488 t fired, 7 attempts, .
43 EF STEQ 35/492 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 1023 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 629/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2414556 m, 3013 m/sec, 8289189 t fired, .
25 EF STEQ 109/566 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 340/393 0/5 Peterson-PT-7-ReachabilityFireability-11 6261862 t fired, 7 attempts, .
43 EF STEQ 40/487 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 1028 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 634/640 17/32 Peterson-PT-7-ReachabilityFireability-12 2432553 m, 3599 m/sec, 8344053 t fired, .
25 EF STEQ 114/561 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 345/388 0/5 Peterson-PT-7-ReachabilityFireability-11 6348055 t fired, 7 attempts, .
43 EF STEQ 45/482 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 1033 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 1 0 3 0 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
22 EF EXCL 639/640 18/32 Peterson-PT-7-ReachabilityFireability-12 2450019 m, 3493 m/sec, 8402701 t fired, .
25 EF STEQ 119/556 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 350/383 0/5 Peterson-PT-7-ReachabilityFireability-11 6437037 t fired, 7 attempts, .
43 EF STEQ 50/477 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 1038 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 22 (type EXCL) for Peterson-PT-7-ReachabilityFireability-12 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 125/551 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 356/378 0/5 Peterson-PT-7-ReachabilityFireability-11 6530026 t fired, 7 attempts, .
43 EF STEQ 56/472 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
Time elapsed: 1044 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 46 (type EXCL) for 15 Peterson-PT-7-ReachabilityFireability-15
lola: time limit : 639 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 130/545 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 361/372 0/5 Peterson-PT-7-ReachabilityFireability-11 6609661 t fired, 7 attempts, .
43 EF STEQ 61/466 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 5/639 1/32 Peterson-PT-7-ReachabilityFireability-15 29669 m, 5933 m/sec, 88243 t fired, .
Time elapsed: 1049 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 1 0 1 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 135/540 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
36 EF FNDP 366/367 0/5 Peterson-PT-7-ReachabilityFireability-11 6691175 t fired, 7 attempts, .
43 EF STEQ 66/461 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 10/639 1/32 Peterson-PT-7-ReachabilityFireability-15 56825 m, 5431 m/sec, 182678 t fired, .
Time elapsed: 1054 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
lola: CANCELED task # 36 (type FNDP) for Peterson-PT-7-ReachabilityFireability-11 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 4 0 0 1 1 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 140/535 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
43 EF STEQ 71/456 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 15/639 1/32 Peterson-PT-7-ReachabilityFireability-15 91314 m, 6897 m/sec, 289750 t fired, .
Time elapsed: 1059 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
lola: LAUNCH task # 37 (type EQUN) for 9 Peterson-PT-7-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 36 (type FNDP) for Peterson-PT-7-ReachabilityFireability-11
lola: result : unknown
lola: fired transitions : 6775649
lola: tried executions : 8
lola: time used : 371.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/375/ReachabilityFireability-37.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 145/530 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 5/635 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 76/582 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 20/639 1/32 Peterson-PT-7-ReachabilityFireability-15 105705 m, 2878 m/sec, 346827 t fired, .
Time elapsed: 1064 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 150/525 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 10/630 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 81/577 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 25/639 1/32 Peterson-PT-7-ReachabilityFireability-15 135664 m, 5991 m/sec, 436334 t fired, .
Time elapsed: 1069 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 155/520 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 15/625 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 86/572 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 30/639 2/32 Peterson-PT-7-ReachabilityFireability-15 160693 m, 5005 m/sec, 513956 t fired, .
Time elapsed: 1074 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 160/515 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 20/620 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 91/567 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 35/639 2/32 Peterson-PT-7-ReachabilityFireability-15 185710 m, 5003 m/sec, 599281 t fired, .
Time elapsed: 1079 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 165/510 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 25/615 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 96/562 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 40/639 2/32 Peterson-PT-7-ReachabilityFireability-15 218356 m, 6529 m/sec, 696507 t fired, .
Time elapsed: 1084 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 170/505 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 30/610 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 101/557 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 45/639 2/32 Peterson-PT-7-ReachabilityFireability-15 252778 m, 6884 m/sec, 802080 t fired, .
Time elapsed: 1089 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 175/500 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 35/605 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 106/552 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 50/639 2/32 Peterson-PT-7-ReachabilityFireability-15 283994 m, 6243 m/sec, 898751 t fired, .
Time elapsed: 1094 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 180/495 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 40/600 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 111/547 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 55/639 3/32 Peterson-PT-7-ReachabilityFireability-15 311458 m, 5492 m/sec, 981722 t fired, .
Time elapsed: 1099 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 185/490 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 45/595 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 116/542 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 60/639 3/32 Peterson-PT-7-ReachabilityFireability-15 337625 m, 5233 m/sec, 1072047 t fired, .
Time elapsed: 1104 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
25 EF STEQ 217/485 0/5 Peterson-PT-7-ReachabilityFireability-09 sara is running.
37 EF STEQ 80/590 0/5 Peterson-PT-7-ReachabilityFireability-11 sara is running.
43 EF STEQ 156/537 0/5 Peterson-PT-7-ReachabilityFireability-15 sara is running.
46 EF EXCL 102/639 3/32 Peterson-PT-7-ReachabilityFireability-15 359280 m, 4331 m/sec, 1136991 t fired, .
Time elapsed: 1150 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 6
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Peterson-PT-7-ReachabilityFireability-03: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Peterson-PT-7-ReachabilityFireability-05: AG 0 3 0 0 3 0 0 0
Peterson-PT-7-ReachabilityFireability-09: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-11: EF 0 3 1 0 2 0 0 0
Peterson-PT-7-ReachabilityFireability-12: EF 0 1 0 0 3 1 1 0
Peterson-PT-7-ReachabilityFireability-15: EF 0 2 2 0 2 0 0 0
/home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin//../BenchKit_head.sh: line 63: 560 Killed lola --conf=$BIN_DIR/configfiles/reachabilityfireabilityconf --formula=$DIR/ReachabilityFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
sara: warning, failure of lp_solve (at job 5187)
sara: warning, failure of lp_solve (at job 7893)
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="Peterson-PT-7"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lolaxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lolaxred"
echo " Input is Peterson-PT-7, 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 r263-smll-167863538500647"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-7.tgz
mv Peterson-PT-7 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 ;