| Benchmark | 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) |
| valves-gates | 67 |
5 |
478 |
520 |
46054 |
1.45 |
100 |
0 |
0 |
0 |
0 |
|
| motors-stuck | 48 |
6 |
478 |
671 |
30389 |
1.58 |
100 |
0 |
0 |
0 |
0 |
|
| dartes | 17 |
1 |
478 |
241 |
7342 |
2.35 |
100 |
0 |
0 |
0 |
0 |
|
| key10 | 139 |
10 |
478 |
132 |
96283 |
1.44 |
100 |
0 |
0 |
0 |
0 |
|
| ftp3 | 236 |
20 |
478 |
152 |
151180 |
1.56 |
100 |
0 |
0 |
0 |
0 |
|
| abp11 | 208 |
10 |
478 |
433 |
119892 |
1.73 |
100 |
0 |
0 |
0 |
0 |
|
| dme2-16 | 183 |
9 |
478 |
126 |
109781 |
1.67 |
100 |
0 |
0 |
0 |
0 |
|
| dpd75 | 82 |
4 |
478 |
108 |
45464 |
1.81 |
100 |
0 |
0 |
0 |
0 |
|
| mmgt20 | 68 |
4 |
478 |
99 |
37805 |
1.79 |
100 |
0 |
0 |
0 |
0 |
|
| furnace17 | 63 |
2 |
478 |
191 |
31433 |
2.01 |
100 |
0 |
0 |
0 |
0 |
|
| over12 | 135 |
5 |
478 |
135 |
74042 |
1.82 |
100 |
0 |
0 |
0 |
0 |
|
| phone-async | 890 |
54 |
734 |
168 |
502963 |
1.77 |
100 |
2 |
1 |
0 |
0 |
|
| tcas | 3219 |
161 |
734 |
158 |
1323793 |
2.41 |
100 |
19 |
33 |
0 |
0 |
|
| tomasulo | 4144 |
182 |
734 |
187 |
1526626 |
2.68 |
100 |
24 |
54 |
0 |
0 |
|
| futurebus | 14663 |
881 |
478 |
113 |
12325890 |
1.19 |
100 |
0 |
0 |
0 |
0 |
|
| phone-sync-CW | 13109 |
781 |
734 |
125 |
6423587 |
2.02 |
100 |
44 |
151 |
0 |
0 |
|
| c2670 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| c3540 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| c6288-13 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| c6288-14 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| c6288-15 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| Benchmark | Error | # BDD nodes (x1000) | BDD Avg Visit Length | # Cache nodes (x1000) | Cache Avg Visit Length | Cache Lookups (x1000) | Cache Hit Rate |
| valves-gates | 33554 |
0.54 |
14502 |
0.38 |
21787 |
13.9 |
|
| motors-stuck | 33554 |
0.58 |
14502 |
0.30 |
13438 |
8.7 |
|
| dartes | 33554 |
0.56 |
14502 |
0.08 |
4151 |
24.7 |
|
| key10 | 33554 |
0.57 |
14502 |
0.54 |
48190 |
18.5 |
|
| ftp3 | 33554 |
0.87 |
14502 |
0.61 |
81245 |
21.2 |
|
| abp11 | 33554 |
0.99 |
14502 |
0.52 |
80282 |
30.1 |
|
| dme2-16 | 33554 |
0.75 |
14502 |
0.59 |
55346 |
16.3 |
|
| dpd75 | 33554 |
0.59 |
14502 |
0.34 |
26961 |
25.7 |
|
| mmgt20 | 33554 |
0.55 |
14502 |
0.29 |
22886 |
27.9 |
|
| furnace17 | 33554 |
0.50 |
14502 |
0.24 |
23131 |
36.6 |
|
| over12 | 33554 |
0.82 |
14502 |
0.46 |
45167 |
25.4 |
|
| phone-async | 33554 |
1.18 |
14502 |
0.57 |
306502 |
28.6 |
|
| tcas | 33554 |
1.69 |
14502 |
0.47 |
756230 |
21.6 |
|
| tomasulo | 33554 |
2.08 |
14502 |
0.48 |
836651 |
17.4 |
|
| futurebus | 33554 |
1.34 |
14502 |
0.82 |
5551507 |
17.9 |
|
| phone-sync-CW | 33554 |
2.63 |
14502 |
0.54 |
3698489 |
28.7 |
|
| c2670 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| c3540 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| c6288-13 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| c6288-14 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| c6288-15 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| Benchmark | Error | Reorder Algorithm | # of Reorderings | Reorder Time (sec) |
| valves-gates | 0 |
0 |
0 |
|
| motors-stuck | 0 |
0 |
0 |
|
| dartes | 0 |
0 |
0 |
|
| key10 | 0 |
0 |
0 |
|
| ftp3 | 0 |
0 |
0 |
|
| abp11 | 0 |
0 |
0 |
|
| dme2-16 | 0 |
0 |
0 |
|
| dpd75 | 0 |
0 |
0 |
|
| mmgt20 | 0 |
0 |
0 |
|
| furnace17 | 0 |
0 |
0 |
|
| over12 | 0 |
0 |
0 |
|
| phone-async | 0 |
0 |
0 |
|
| tcas | 0 |
0 |
0 |
|
| tomasulo | 0 |
0 |
0 |
|
| futurebus | 0 |
0 |
0 |
|
| phone-sync-CW | 0 |
0 |
0 |
|
| c2670 | Missing | -2 |
-2 |
-2 |
| c3540 | Missing | -2 |
-2 |
-2 |
| c6288-13 | Missing | -2 |
-2 |
-2 |
| c6288-14 | Missing | -2 |
-2 |
-2 |
| c6288-15 | Missing | -2 |
-2 |
-2 |