| Package | Error | Elapsed Time (sec) | CPU Time (sec) | Memory (Mb) | # Page Faults | # of Ops (x1000) | Per Op Cost (usec) | % Stmts Executed | # GCs | GC Time (sec) | Sift Time (sec) | Reduce Time (sec) |
| abcd-r2-pc | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| abcdD-r2-pc | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| abcd-r2-sun | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| abcdD-r2-sun | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| Package | Error | # BDD nodes (x1000) | BDD Avg Visit Length | # Cache nodes (x1000) | Cache Avg Visit Length | Cache Lookups (x1000) | Cache Hit Rate |
| abcd-r2-pc | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| abcdD-r2-pc | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| abcd-r2-sun | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| abcdD-r2-sun | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| Package | Error | Reorder Algorithm | # of Reorderings | Reorder Time (sec) |
| abcd-r2-pc | Missing | -2 |
-2 |
-2 |
| abcdD-r2-pc | Missing | -2 |
-2 |
-2 |
| abcd-r2-sun | Missing | -2 |
-2 |
-2 |
| abcdD-r2-sun | Missing | -2 |
-2 |
-2 |