| 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 | 65 |
60 |
478 |
101 |
46055 |
1.41 |
100 |
0 |
0 |
0 |
0 |
|
| motors-stuck | 46 |
40 |
478 |
2248 |
30389 |
1.52 |
100 |
0 |
0 |
0 |
0 |
|
| dartes | 17 |
12 |
478 |
529 |
7342 |
2.27 |
100 |
0 |
0 |
0 |
0 |
|
| key10 | 139 |
134 |
478 |
240 |
96279 |
1.44 |
100 |
0 |
0 |
0 |
0 |
|
| ftp3 | 236 |
231 |
478 |
183 |
151187 |
1.56 |
100 |
0 |
0 |
0 |
0 |
|
| abp11 | 207 |
202 |
478 |
792 |
119890 |
1.73 |
100 |
0 |
0 |
0 |
0 |
|
| dme2-16 | 181 |
176 |
478 |
478 |
109786 |
1.64 |
100 |
0 |
0 |
0 |
0 |
|
| dpd75 | 82 |
78 |
478 |
239 |
45465 |
1.81 |
100 |
0 |
0 |
0 |
0 |
|
| mmgt20 | 67 |
63 |
478 |
197 |
37803 |
1.78 |
100 |
0 |
0 |
0 |
0 |
|
| furnace17 | 63 |
59 |
478 |
206 |
31432 |
2.01 |
100 |
0 |
0 |
0 |
0 |
|
| over12 | 135 |
131 |
478 |
193 |
74056 |
1.83 |
100 |
0 |
0 |
0 |
0 |
|
| phone-async | 1351 |
1342 |
734 |
294 |
504792 |
2.65 |
100 |
2 |
11 |
0 |
0 |
|
| tcas | 3772 |
3757 |
734 |
389 |
1323675 |
2.33 |
100 |
19 |
691 |
0 |
0 |
|
| tomasulo | 4025 |
4012 |
734 |
214 |
1526946 |
1.85 |
100 |
24 |
1199 |
0 |
0 |
|
| futurebus | 12002 |
11962 |
478 |
1563 |
1872257 |
6.41 |
100 |
0 |
0 |
0 |
0 |
|
| phone-sync-CW | 13589 |
13558 |
734 |
1540 |
2123925 |
5.18 |
100 |
44 |
2597 |
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.60 |
14502 |
0.38 |
21788 |
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.59 |
14502 |
0.54 |
48188 |
18.5 |
|
| ftp3 | 33554 |
1.00 |
14502 |
0.61 |
81249 |
21.2 |
|
| abp11 | 33554 |
0.99 |
14502 |
0.52 |
80283 |
30.1 |
|
| dme2-16 | 33554 |
0.94 |
14502 |
0.59 |
55348 |
16.3 |
|
| dpd75 | 33554 |
0.60 |
14502 |
0.34 |
26961 |
25.7 |
|
| mmgt20 | 33554 |
0.55 |
14502 |
0.29 |
22885 |
27.9 |
|
| furnace17 | 33554 |
0.51 |
14502 |
0.24 |
23129 |
36.6 |
|
| over12 | 33554 |
0.83 |
14502 |
0.46 |
45176 |
25.4 |
|
| phone-async | 33554 |
19.93 |
14502 |
0.57 |
307623 |
28.6 |
|
| tcas | 33554 |
1.08 |
14502 |
0.47 |
756159 |
21.6 |
|
| tomasulo | 33554 |
4.57 |
14502 |
0.48 |
836841 |
17.4 |
|
| futurebus | 33554 |
1.41 |
14502 |
0.82 |
4711051 |
17.9 |
|
| phone-sync-CW | 33554 |
0.75 |
14502 |
0.54 |
3695663 |
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 |