| 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 | 4025 |
4012 |
734 |
214 |
1526946 |
1.85 |
100 |
24 |
1199 |
0 |
0 |
|
| abcdD-r2-pc | 4144 |
182 |
734 |
187 |
1526626 |
2.68 |
100 |
24 |
54 |
0 |
0 |
|
| abcd-r2-sun | 7898 |
7813 |
733 |
431 |
1526953 |
3.61 |
100 |
24 |
2390 |
0 |
0 |
|
| abcdD-r2-sun | 8069 |
8059 |
733 |
86 |
1526624 |
3.71 |
100 |
24 |
2412 |
0 |
0 |
| 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 | 33554 |
4.57 |
14502 |
0.48 |
836841 |
17.4 |
|
| abcdD-r2-pc | 33554 |
2.08 |
14502 |
0.48 |
836651 |
17.4 |
|
| abcd-r2-sun | 33554 |
4.56 |
14502 |
0.48 |
836844 |
17.4 |
|
| abcdD-r2-sun | 33554 |
2.08 |
14502 |
0.48 |
836649 |
17.4 |
| Package | Error | Reorder Algorithm | # of Reorderings | Reorder Time (sec) |
| abcd-r2-pc | 0 |
0 |
0 |
|
| abcdD-r2-pc | 0 |
0 |
0 |
|
| abcd-r2-sun | 0 |
0 |
0 |
|
| abcdD-r2-sun | 0 |
0 |
0 |