About the Execution of LoLA for Anderson-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 791.023 | 357930.00 | 723860.00 | 1163.70 | 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r005-smll-171620119200333.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is Anderson-PT-06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-171620119200333
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 732K
-rw-r--r-- 1 mcc users 5.3K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 53K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 22 14:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 22 14:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 22 14:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 12 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Apr 12 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Apr 12 15:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Apr 12 15:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 302K May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Anderson-PT-06-UpperBounds-00
FORMULA_NAME Anderson-PT-06-UpperBounds-01
FORMULA_NAME Anderson-PT-06-UpperBounds-02
FORMULA_NAME Anderson-PT-06-UpperBounds-03
FORMULA_NAME Anderson-PT-06-UpperBounds-04
FORMULA_NAME Anderson-PT-06-UpperBounds-05
FORMULA_NAME Anderson-PT-06-UpperBounds-06
FORMULA_NAME Anderson-PT-06-UpperBounds-07
FORMULA_NAME Anderson-PT-06-UpperBounds-08
FORMULA_NAME Anderson-PT-06-UpperBounds-09
FORMULA_NAME Anderson-PT-06-UpperBounds-10
FORMULA_NAME Anderson-PT-06-UpperBounds-11
FORMULA_NAME Anderson-PT-06-UpperBounds-12
FORMULA_NAME Anderson-PT-06-UpperBounds-13
FORMULA_NAME Anderson-PT-06-UpperBounds-14
FORMULA_NAME Anderson-PT-06-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1717210090457
FORMULA Anderson-PT-06-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-04 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-05 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-08 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-02 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-03 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-00 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-07 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-06 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-01 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-09 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Anderson-PT-06-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[[35mlola[0m] [1mFINAL RESULTS[0m
[[35mlola[0m] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m] [1m[32mAnderson-PT-06-UpperBounds-15: BOUND 1 state space[0m
[[35mlola[0m]
[[35mlola[0m] Time elapsed: 358 secs. Pages in use: 13
BK_STOP 1717210448387
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mUpperBounds.xml[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] Structural Bound for (next_0 <= 0) is 1
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 33 Anderson-PT-06-UpperBounds-11
[[35mlola[0m][I] time limit : 224 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 33 Anderson-PT-06-UpperBounds-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 33 Anderson-PT-06-UpperBounds-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 50 (type EXCL) for Anderson-PT-06-UpperBounds-11
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for Anderson-PT-06-UpperBounds-11 (obsolete)
[[35mlola[0m][W] CANCELED task # 49 (type EQUN) for Anderson-PT-06-UpperBounds-11 (obsolete)
[[35mlola[0m][I] Structural Bound for (next_4 <= 0) is 1
[[35mlola[0m][I] LAUNCH task # 53 (type EXCL) for 12 Anderson-PT-06-UpperBounds-04
[[35mlola[0m][I] time limit : 239 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 51 (type FNDP) for 12 Anderson-PT-06-UpperBounds-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type EQUN) for 12 Anderson-PT-06-UpperBounds-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 53 (type EXCL) for Anderson-PT-06-UpperBounds-04
[[35mlola[0m][I] markings : 5
[[35mlola[0m][I] fired transitions : 4
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 51 (type FNDP) for Anderson-PT-06-UpperBounds-04 (obsolete)
[[35mlola[0m][W] CANCELED task # 52 (type EQUN) for Anderson-PT-06-UpperBounds-04 (obsolete)
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for Anderson-PT-06-UpperBounds-11
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 51 (type FNDP) for Anderson-PT-06-UpperBounds-04
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] FINISHED task # 52 (type EQUN) for Anderson-PT-06-UpperBounds-04
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for Anderson-PT-06-UpperBounds-11
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (p2_5_2 <= 0) is 1
[[35mlola[0m][I] Structural Bound for (p3_1_3 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 56 (type EXCL) for 15 Anderson-PT-06-UpperBounds-05
[[35mlola[0m][I] time limit : 256 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 15 Anderson-PT-06-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 55 (type EQUN) for 15 Anderson-PT-06-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for 0 Anderson-PT-06-UpperBounds-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for Anderson-PT-06-UpperBounds-05
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 55 (type EQUN) for Anderson-PT-06-UpperBounds-05 (obsolete)
[[35mlola[0m][W] CANCELED task # 56 (type EXCL) for Anderson-PT-06-UpperBounds-05 (obsolete)
[[35mlola[0m][I] LAUNCH task # 59 (type EXCL) for 0 Anderson-PT-06-UpperBounds-00
[[35mlola[0m][I] time limit : 276 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 58 (type EQUN) for 0 Anderson-PT-06-UpperBounds-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 58 (type EQUN) for Anderson-PT-06-UpperBounds-00
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (p2_2_3 <= 0) is 1
[[35mlola[0m][I] FINISHED task # 55 (type EQUN) for Anderson-PT-06-UpperBounds-05
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] LAUNCH task # 60 (type FNDP) for 24 Anderson-PT-06-UpperBounds-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 61 (type EQUN) for 24 Anderson-PT-06-UpperBounds-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (ncs_1_3 <= 0) is 1
[[35mlola[0m][I] Structural Bound for (p3_2_5 <= 0) is 1
[[35mlola[0m][I] Structural Bound for (p1_0_10 <= 0) is 1073741824
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 60 (type FNDP) for Anderson-PT-06-UpperBounds-08
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 61 (type EQUN) for Anderson-PT-06-UpperBounds-08 (obsolete)
[[35mlola[0m][I] LAUNCH task # 63 (type FNDP) for 6 Anderson-PT-06-UpperBounds-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 64 (type EQUN) for 6 Anderson-PT-06-UpperBounds-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (p2_4_5 <= 0) is 1
[[35mlola[0m][I] FINISHED task # 61 (type EQUN) for Anderson-PT-06-UpperBounds-08
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 63 (type FNDP) for Anderson-PT-06-UpperBounds-02
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 64 (type EQUN) for Anderson-PT-06-UpperBounds-02 (obsolete)
[[35mlola[0m][I] LAUNCH task # 66 (type FNDP) for 9 Anderson-PT-06-UpperBounds-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 67 (type EQUN) for 9 Anderson-PT-06-UpperBounds-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 64 (type EQUN) for Anderson-PT-06-UpperBounds-02
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 66 (type FNDP) for Anderson-PT-06-UpperBounds-03
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 67 (type EQUN) for Anderson-PT-06-UpperBounds-03 (obsolete)
[[35mlola[0m][I] LAUNCH task # 72 (type FNDP) for 36 Anderson-PT-06-UpperBounds-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 73 (type EQUN) for 36 Anderson-PT-06-UpperBounds-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (p2_0_4 <= 0) is 1
[[35mlola[0m][I] Structural Bound for (p3_2_0 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p1_0_0 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p3_0_0 <= 0) is 1
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 72 (type FNDP) for Anderson-PT-06-UpperBounds-12
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 73 (type EQUN) for Anderson-PT-06-UpperBounds-12 (obsolete)
[[35mlola[0m][I] LAUNCH task # 78 (type FNDP) for 45 Anderson-PT-06-UpperBounds-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 79 (type EQUN) for 45 Anderson-PT-06-UpperBounds-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 79 (type EQUN) for Anderson-PT-06-UpperBounds-15
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 84 (type FNDP) for 30 Anderson-PT-06-UpperBounds-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 84 (type FNDP) for Anderson-PT-06-UpperBounds-10
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] LAUNCH task # 69 (type FNDP) for 27 Anderson-PT-06-UpperBounds-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (cs_1_5 <= 0) is 1
[[35mlola[0m][I] FINISHED task # 73 (type EQUN) for Anderson-PT-06-UpperBounds-12
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 0 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 1/1197 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 1/449 1/2000 Anderson-PT-06-UpperBounds-00 8945 m, 1789 m/sec, 9858 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 0/1198 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 0/898 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs. Pages in use: 1
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] Structural Bound for (p1_5_7 <= 0) is 1
[[35mlola[0m][I] Structural Bound for (cs_3_1 <= 0) is 1
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 6/897 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 6/449 2/2000 Anderson-PT-06-UpperBounds-00 247256 m, 47662 m/sec, 301117 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 5/718 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 5/718 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 10 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 11/893 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 11/449 3/2000 Anderson-PT-06-UpperBounds-00 499652 m, 50479 m/sec, 636199 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 10/714 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 10/714 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 15 secs. Pages in use: 3
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 16/888 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 16/449 4/2000 Anderson-PT-06-UpperBounds-00 759834 m, 52036 m/sec, 1002713 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 15/709 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 15/709 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 20 secs. Pages in use: 4
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 21/883 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 21/449 5/2000 Anderson-PT-06-UpperBounds-00 1021973 m, 52427 m/sec, 1401327 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 20/704 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 20/704 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 25 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 26/878 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 26/449 6/2000 Anderson-PT-06-UpperBounds-00 1280237 m, 51652 m/sec, 1850620 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 25/699 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 25/699 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 30 secs. Pages in use: 6
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 31/873 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 31/449 7/2000 Anderson-PT-06-UpperBounds-00 1528311 m, 49614 m/sec, 2365909 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 30/694 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 30/694 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 35 secs. Pages in use: 7
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 36/868 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 36/449 8/2000 Anderson-PT-06-UpperBounds-00 1761159 m, 46569 m/sec, 2971746 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 35/689 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 35/689 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 40 secs. Pages in use: 8
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 41/863 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 41/449 8/2000 Anderson-PT-06-UpperBounds-00 1978979 m, 43564 m/sec, 3680355 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 40/684 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 40/684 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 45 secs. Pages in use: 8
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 46/858 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 46/449 9/2000 Anderson-PT-06-UpperBounds-00 2181541 m, 40512 m/sec, 4477679 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 45/679 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 45/679 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 50 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 51/853 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 51/449 10/2000 Anderson-PT-06-UpperBounds-00 2371527 m, 37997 m/sec, 5396979 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 50/674 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 50/674 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 55 secs. Pages in use: 10
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 56/848 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 56/449 11/2000 Anderson-PT-06-UpperBounds-00 2545078 m, 34710 m/sec, 6448752 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 55/669 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 55/669 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 60 secs. Pages in use: 11
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 61/843 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 61/449 11/2000 Anderson-PT-06-UpperBounds-00 2703251 m, 31634 m/sec, 7636332 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 60/664 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 60/664 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 65 secs. Pages in use: 11
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 66/838 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 66/449 12/2000 Anderson-PT-06-UpperBounds-00 2849028 m, 29155 m/sec, 8955337 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 65/659 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 65/659 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 70 secs. Pages in use: 12
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-00: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 71/833 0/5 Anderson-PT-06-UpperBounds-00 .
[[35mlola[0m][.] 59 BOUND EXCL 71/449 13/2000 Anderson-PT-06-UpperBounds-00 2988126 m, 27819 m/sec, 10395152 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 70/654 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 70/654 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 75 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 59 (type EXCL) for Anderson-PT-06-UpperBounds-00
[[35mlola[0m][I] markings : 3084606
[[35mlola[0m][I] fired transitions : 11478341
[[35mlola[0m][I] time used : 75
[[35mlola[0m][I] memory pages used : 13
[[35mlola[0m][W] CANCELED task # 57 (type FNDP) for Anderson-PT-06-UpperBounds-00 (obsolete)
[[35mlola[0m][I] LAUNCH task # 77 (type EXCL) for 21 Anderson-PT-06-UpperBounds-07
[[35mlola[0m][I] time limit : 503 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 87 (type FNDP) for 3 Anderson-PT-06-UpperBounds-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 77 (type EXCL) for Anderson-PT-06-UpperBounds-07
[[35mlola[0m][I] markings : 7
[[35mlola[0m][I] fired transitions : 6
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 92 (type EXCL) for 18 Anderson-PT-06-UpperBounds-06
[[35mlola[0m][I] time limit : 586 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 92 (type EXCL) for Anderson-PT-06-UpperBounds-06
[[35mlola[0m][I] markings : 24
[[35mlola[0m][I] fired transitions : 23
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 83 (type EXCL) for 42 Anderson-PT-06-UpperBounds-14
[[35mlola[0m][I] time limit : 704 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 87 (type FNDP) for Anderson-PT-06-UpperBounds-01
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] LAUNCH task # 93 (type FNDP) for 39 Anderson-PT-06-UpperBounds-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 93 (type FNDP) for Anderson-PT-06-UpperBounds-13
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] LAUNCH task # 70 (type EQUN) for 27 Anderson-PT-06-UpperBounds-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 70 (type EQUN) for Anderson-PT-06-UpperBounds-09
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 81 (type FNDP) for 42 Anderson-PT-06-UpperBounds-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 75/3521 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 75/3521 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 1/1760 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 1/1173 1/2000 Anderson-PT-06-UpperBounds-14 66145 m, 13229 m/sec, 91330 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 80 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 80/3520 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 80/3520 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 6/1759 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 6/1173 2/2000 Anderson-PT-06-UpperBounds-14 271136 m, 40998 m/sec, 444466 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 85 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 85/3515 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 85/3515 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 11/1754 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 11/1173 2/2000 Anderson-PT-06-UpperBounds-14 462679 m, 38308 m/sec, 856219 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 90 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 90/3510 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 90/3510 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 16/1749 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 16/1173 3/2000 Anderson-PT-06-UpperBounds-14 646679 m, 36800 m/sec, 1328634 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 95 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 95/3505 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 95/3505 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 21/1744 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 21/1173 4/2000 Anderson-PT-06-UpperBounds-14 824908 m, 35645 m/sec, 1854312 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 100 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 100/3500 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 100/3500 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 26/1739 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 26/1173 4/2000 Anderson-PT-06-UpperBounds-14 996576 m, 34333 m/sec, 2416563 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 105 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 105/3495 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 105/3495 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 31/1734 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 31/1173 5/2000 Anderson-PT-06-UpperBounds-14 1165268 m, 33738 m/sec, 3006246 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 110 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 110/3490 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 110/3490 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 36/1729 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 36/1173 6/2000 Anderson-PT-06-UpperBounds-14 1329534 m, 32853 m/sec, 3628319 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 115 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 115/3485 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 115/3485 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 41/1724 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 41/1173 6/2000 Anderson-PT-06-UpperBounds-14 1491087 m, 32310 m/sec, 4281402 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 120 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 120/3480 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 120/3480 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 46/1719 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 46/1173 7/2000 Anderson-PT-06-UpperBounds-14 1650166 m, 31815 m/sec, 4966614 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 125 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 125/3475 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 125/3475 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 51/1714 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 51/1173 8/2000 Anderson-PT-06-UpperBounds-14 1807314 m, 31429 m/sec, 5672794 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 130 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 130/3470 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 130/3470 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 56/1709 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 56/1173 8/2000 Anderson-PT-06-UpperBounds-14 1956355 m, 29808 m/sec, 6387667 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 135 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 135/3465 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 135/3465 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 61/1704 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 61/1173 9/2000 Anderson-PT-06-UpperBounds-14 2103368 m, 29402 m/sec, 7139923 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 140 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 140/3460 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 140/3460 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 66/1699 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 66/1173 10/2000 Anderson-PT-06-UpperBounds-14 2247330 m, 28792 m/sec, 7964910 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 145 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 145/3455 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 145/3455 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 71/1694 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 71/1173 10/2000 Anderson-PT-06-UpperBounds-14 2394661 m, 29466 m/sec, 8852703 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 150 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 150/3450 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 150/3450 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 76/1689 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 76/1173 11/2000 Anderson-PT-06-UpperBounds-14 2542051 m, 29478 m/sec, 9770411 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 155 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 155/3445 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 155/3445 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 81/1684 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 81/1173 11/2000 Anderson-PT-06-UpperBounds-14 2687532 m, 29096 m/sec, 10726304 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 160 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 160/3440 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 160/3440 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 86/1679 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 86/1173 12/2000 Anderson-PT-06-UpperBounds-14 2826844 m, 27862 m/sec, 11713106 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 165 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 165/3435 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 165/3435 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 91/1674 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 91/1173 12/2000 Anderson-PT-06-UpperBounds-14 2957466 m, 26124 m/sec, 12759955 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 170 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 170/3430 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 170/3430 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 96/1669 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 96/1173 13/2000 Anderson-PT-06-UpperBounds-14 3077248 m, 23956 m/sec, 13891371 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 175 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-14: BOUND 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 175/3425 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 78 BOUND FNDP 175/3425 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 81 BOUND FNDP 101/1664 0/5 Anderson-PT-06-UpperBounds-14 .
[[35mlola[0m][.] 83 BOUND EXCL 101/1173 13/2000 Anderson-PT-06-UpperBounds-14 3181661 m, 20882 m/sec, 15173495 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 180 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 83 (type EXCL) for Anderson-PT-06-UpperBounds-14
[[35mlola[0m][I] markings : 3194227
[[35mlola[0m][I] fired transitions : 15369522
[[35mlola[0m][I] time used : 102
[[35mlola[0m][I] memory pages used : 13
[[35mlola[0m][W] CANCELED task # 81 (type FNDP) for Anderson-PT-06-UpperBounds-14 (obsolete)
[[35mlola[0m][I] LAUNCH task # 71 (type EXCL) for 27 Anderson-PT-06-UpperBounds-09
[[35mlola[0m][I] time limit : 1709 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 180/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 4/1709 1/2000 Anderson-PT-06-UpperBounds-09 180972 m, 36194 m/sec, 233544 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 180/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 185 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 185/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 9/1709 2/2000 Anderson-PT-06-UpperBounds-09 377037 m, 39213 m/sec, 565044 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 185/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 190 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 190/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 14/1709 3/2000 Anderson-PT-06-UpperBounds-09 568364 m, 38265 m/sec, 969641 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 190/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 195 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 195/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 19/1709 3/2000 Anderson-PT-06-UpperBounds-09 752743 m, 36875 m/sec, 1432041 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 195/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 200 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 200/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 24/1709 4/2000 Anderson-PT-06-UpperBounds-09 928409 m, 35133 m/sec, 1932661 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 200/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 205 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 205/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 29/1709 5/2000 Anderson-PT-06-UpperBounds-09 1102974 m, 34913 m/sec, 2492220 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 205/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 210 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 210/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 34/1709 6/2000 Anderson-PT-06-UpperBounds-09 1272812 m, 33967 m/sec, 3079554 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 210/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 215 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 215/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 39/1709 6/2000 Anderson-PT-06-UpperBounds-09 1438895 m, 33216 m/sec, 3704279 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 215/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 220 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 220/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 44/1709 7/2000 Anderson-PT-06-UpperBounds-09 1601424 m, 32505 m/sec, 4369494 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 220/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 225 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 225/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 49/1709 8/2000 Anderson-PT-06-UpperBounds-09 1761620 m, 32039 m/sec, 5074765 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 225/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 230 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 230/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 54/1709 8/2000 Anderson-PT-06-UpperBounds-09 1916783 m, 31032 m/sec, 5799578 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 230/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 235 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 235/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 59/1709 9/2000 Anderson-PT-06-UpperBounds-09 2072209 m, 31085 m/sec, 6576348 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 235/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 240 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 240/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 64/1709 9/2000 Anderson-PT-06-UpperBounds-09 2222248 m, 30007 m/sec, 7410878 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 240/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 245 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 245/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 69/1709 10/2000 Anderson-PT-06-UpperBounds-09 2368804 m, 29311 m/sec, 8287397 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 245/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 250 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 250/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 74/1709 11/2000 Anderson-PT-06-UpperBounds-09 2512403 m, 28719 m/sec, 9188862 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 250/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 255 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 255/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 79/1709 11/2000 Anderson-PT-06-UpperBounds-09 2645394 m, 26598 m/sec, 10086598 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 255/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 260 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 260/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 84/1709 12/2000 Anderson-PT-06-UpperBounds-09 2772780 m, 25477 m/sec, 11057614 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 260/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 265 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 265/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 89/1709 12/2000 Anderson-PT-06-UpperBounds-09 2894956 m, 24435 m/sec, 12194983 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 265/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 270 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 270/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 94/1709 13/2000 Anderson-PT-06-UpperBounds-09 3003936 m, 21796 m/sec, 13479017 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 270/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 275 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-09: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 BOUND FNDP 275/3595 0/5 Anderson-PT-06-UpperBounds-09 .
[[35mlola[0m][.] 71 BOUND EXCL 99/1709 13/2000 Anderson-PT-06-UpperBounds-09 3100676 m, 19348 m/sec, 15041589 t fired, result in [1,1073741824] .
[[35mlola[0m][.] 78 BOUND FNDP 275/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 280 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 71 (type EXCL) for Anderson-PT-06-UpperBounds-09
[[35mlola[0m][I] markings : 3122851
[[35mlola[0m][I] fired transitions : 15213666
[[35mlola[0m][I] time used : 100
[[35mlola[0m][I] memory pages used : 13
[[35mlola[0m][W] CANCELED task # 69 (type FNDP) for Anderson-PT-06-UpperBounds-09 (obsolete)
[[35mlola[0m][I] LAUNCH task # 80 (type EXCL) for 45 Anderson-PT-06-UpperBounds-15
[[35mlola[0m][I] time limit : 3319 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 280/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 4/3319 1/2000 Anderson-PT-06-UpperBounds-15 205354 m, 41070 m/sec, 251970 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 285 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 285/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 9/3319 2/2000 Anderson-PT-06-UpperBounds-15 458563 m, 50641 m/sec, 589972 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 290 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 290/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 14/3319 3/2000 Anderson-PT-06-UpperBounds-15 712621 m, 50811 m/sec, 950031 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 295 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 295/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 19/3319 4/2000 Anderson-PT-06-UpperBounds-15 973152 m, 52106 m/sec, 1354633 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 300 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 300/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 24/3319 6/2000 Anderson-PT-06-UpperBounds-15 1228185 m, 51006 m/sec, 1806013 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 305 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 305/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 29/3319 6/2000 Anderson-PT-06-UpperBounds-15 1469153 m, 48193 m/sec, 2304683 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 310 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 310/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 34/3319 7/2000 Anderson-PT-06-UpperBounds-15 1701178 m, 46405 m/sec, 2861199 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 315 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 315/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 39/3319 8/2000 Anderson-PT-06-UpperBounds-15 1918740 m, 43512 m/sec, 3502125 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 320 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 320/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 44/3319 9/2000 Anderson-PT-06-UpperBounds-15 2124828 m, 41217 m/sec, 4246800 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 325 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 325/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 49/3319 10/2000 Anderson-PT-06-UpperBounds-15 2318209 m, 38676 m/sec, 5095782 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 330 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 330/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 54/3319 11/2000 Anderson-PT-06-UpperBounds-15 2484607 m, 33279 m/sec, 6001326 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 335 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 335/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 59/3319 11/2000 Anderson-PT-06-UpperBounds-15 2632526 m, 29583 m/sec, 6990508 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 340 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 340/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 64/3319 12/2000 Anderson-PT-06-UpperBounds-15 2766793 m, 26853 m/sec, 8078174 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 345 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 345/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 69/3319 12/2000 Anderson-PT-06-UpperBounds-15 2891540 m, 24949 m/sec, 9261770 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 350 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-00: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-01: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-02: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-03: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-04: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-06: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-07: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-08: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-09: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-10: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-11: BOUND 1 state space[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-12: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-13: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mAnderson-PT-06-UpperBounds-14: BOUND 1 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Anderson-PT-06-UpperBounds-15: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 78 BOUND FNDP 350/3595 0/5 Anderson-PT-06-UpperBounds-15 .
[[35mlola[0m][.] 80 BOUND EXCL 74/3319 13/2000 Anderson-PT-06-UpperBounds-15 3020851 m, 25862 m/sec, 10693864 t fired, result in [1,1073741824] .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 355 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 80 (type EXCL) for Anderson-PT-06-UpperBounds-15
[[35mlola[0m][I] markings : 3089206
[[35mlola[0m][I] fired transitions : 11508141
[[35mlola[0m][I] time used : 77
[[35mlola[0m][I] memory pages used : 13
[[35mlola[0m][W] CANCELED task # 78 (type FNDP) for Anderson-PT-06-UpperBounds-15 (obsolete)
[[35mlola[0m][I] Portfolio finished: no open formulas
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="Anderson-PT-06"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is Anderson-PT-06, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r005-smll-171620119200333"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Anderson-PT-06.tgz
mv Anderson-PT-06 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;