| 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 | 12002 |
11962 |
478 |
1563 |
1872257 |
6.41 |
100 |
0 |
0 |
0 |
0 |
|
| abcdD-r2-pc | 14663 |
881 |
478 |
113 |
12325890 |
1.19 |
100 |
0 |
0 |
0 |
0 |
|
| abcd-r2-sun | 24094 |
20053 |
477 |
109008 |
10462191 |
2.30 |
100 |
0 |
0 |
0 |
0 |
|
| abcdD-r2-sun | 23289 |
23246 |
477 |
1151 |
12325890 |
1.89 |
100 |
0 |
0 |
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.41 |
14502 |
0.82 |
4711051 |
17.9 |
|
| abcdD-r2-pc | 33554 |
1.34 |
14502 |
0.82 |
5551507 |
17.9 |
|
| abcd-r2-sun | 33554 |
1.41 |
14502 |
0.82 |
4711051 |
17.9 |
|
| abcdD-r2-sun | 33554 |
1.34 |
14502 |
0.82 |
5551507 |
17.9 |
| 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 |