| 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 | 13589 |
13558 |
734 |
1540 |
2123925 |
5.18 |
100 |
44 |
2597 |
0 |
0 |
|
| abcdD-r2-pc | 13109 |
781 |
734 |
125 |
6423587 |
2.02 |
100 |
44 |
151 |
0 |
0 |
|
| abcd-r2-sun | 25436 |
24856 |
733 |
31383 |
6418442 |
3.18 |
100 |
44 |
5026 |
0 |
0 |
|
| abcdD-r2-sun | 25674 |
25637 |
733 |
797 |
6423229 |
3.16 |
100 |
44 |
5378 |
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 |
0.75 |
14502 |
0.54 |
3695663 |
28.7 |
|
| abcdD-r2-pc | 33554 |
2.63 |
14502 |
0.54 |
3698489 |
28.7 |
|
| abcd-r2-sun | 33554 |
4.31 |
14502 |
0.54 |
3695453 |
28.7 |
|
| abcdD-r2-sun | 33554 |
2.63 |
14502 |
0.54 |
3698307 |
28.7 |
| 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 |