| 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 | 3772 |
3757 |
734 |
389 |
1323675 |
2.33 |
100 |
19 |
691 |
0 |
0 |
|
| abcdD-r2-pc | 3219 |
161 |
734 |
158 |
1323793 |
2.41 |
100 |
19 |
33 |
0 |
0 |
|
| abcd-r2-sun | 6306 |
6240 |
733 |
706 |
1323673 |
3.71 |
100 |
19 |
1397 |
0 |
0 |
|
| abcdD-r2-sun | 6179 |
6157 |
733 |
544 |
1323798 |
3.62 |
100 |
19 |
1384 |
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 |
1.08 |
14502 |
0.47 |
756159 |
21.6 |
|
| abcdD-r2-pc | 33554 |
1.69 |
14502 |
0.47 |
756230 |
21.6 |
|
| abcd-r2-sun | 33554 |
9.88 |
14502 |
0.47 |
756157 |
21.6 |
|
| abcdD-r2-sun | 33554 |
1.69 |
14502 |
0.47 |
756233 |
21.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 |