| 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 | 132 |
116 |
477 |
536 |
46054 |
2.86 |
100 |
0 |
0 |
0 |
0 |
|
| motors-stuck | 116 |
90 |
478 |
1106 |
30389 |
3.82 |
100 |
0 |
0 |
0 |
0 |
|
| dartes | 40 |
31 |
477 |
229 |
7342 |
5.47 |
100 |
0 |
0 |
0 |
0 |
|
| key10 | 271 |
263 |
477 |
181 |
96283 |
2.81 |
100 |
0 |
0 |
0 |
0 |
|
| ftp3 | 469 |
463 |
477 |
92 |
151180 |
3.10 |
100 |
0 |
0 |
0 |
0 |
|
| abp11 | 374 |
360 |
477 |
486 |
119892 |
3.12 |
100 |
0 |
0 |
0 |
0 |
|
| dme2-16 | 380 |
369 |
478 |
309 |
109781 |
3.46 |
100 |
0 |
0 |
0 |
0 |
|
| dpd75 | 173 |
165 |
477 |
168 |
45464 |
3.80 |
100 |
0 |
0 |
0 |
0 |
|
| mmgt20 | 131 |
126 |
477 |
62 |
37805 |
3.48 |
100 |
0 |
0 |
0 |
0 |
|
| furnace17 | 129 |
124 |
477 |
53 |
31433 |
4.12 |
100 |
0 |
0 |
0 |
0 |
|
| over12 | 285 |
278 |
477 |
95 |
74042 |
3.85 |
100 |
0 |
0 |
0 |
0 |
|
| phone-async | 1771 |
1750 |
733 |
695 |
502963 |
3.49 |
100 |
2 |
16 |
0 |
0 |
|
| tcas | 6179 |
6157 |
733 |
544 |
1323798 |
3.62 |
100 |
19 |
1384 |
0 |
0 |
|
| tomasulo | 8069 |
8059 |
733 |
86 |
1526624 |
3.71 |
100 |
24 |
2412 |
0 |
0 |
|
| futurebus | 23289 |
23246 |
477 |
1151 |
12325890 |
1.89 |
100 |
0 |
0 |
0 |
0 |
|
| phone-sync-CW | 25674 |
25637 |
733 |
797 |
6423229 |
3.16 |
100 |
44 |
5378 |
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 |
756233 |
21.6 |
|
| tomasulo | 33554 |
2.08 |
14502 |
0.48 |
836649 |
17.4 |
|
| futurebus | 33554 |
1.34 |
14502 |
0.82 |
5551507 |
17.9 |
|
| phone-sync-CW | 33554 |
2.63 |
14502 |
0.54 |
3698307 |
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 |