| 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 | 1351 |
1342 |
734 |
294 |
504792 |
2.65 |
100 |
2 |
11 |
0 |
0 |
|
| abcdD-r2-pc | 890 |
54 |
734 |
168 |
502963 |
1.77 |
100 |
2 |
1 |
0 |
0 |
|
| abcd-r2-sun | 1950 |
1897 |
733 |
2475 |
504792 |
3.83 |
100 |
2 |
17 |
0 |
0 |
|
| abcdD-r2-sun | 1771 |
1750 |
733 |
695 |
502963 |
3.49 |
100 |
2 |
16 |
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 |
19.93 |
14502 |
0.57 |
307623 |
28.6 |
|
| abcdD-r2-pc | 33554 |
1.18 |
14502 |
0.57 |
306502 |
28.6 |
|
| abcd-r2-sun | 33554 |
19.93 |
14502 |
0.57 |
307623 |
28.6 |
|
| abcdD-r2-sun | 33554 |
1.18 |
14502 |
0.57 |
306502 |
28.6 |
| 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 |