FMCAD'98: BDD Study Statistics
Statistic: # Page Faults
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| valves-gates |
Error |
101 |
|
520 |
|
484 |
|
536 |
|
|
| motors-stuck |
Error |
2248 |
|
671 |
|
1120 |
|
1106 |
|
|
| dartes |
Error |
529 |
|
241 |
|
215 |
|
229 |
|
|
| key10 |
Error |
240 |
|
132 |
|
70 |
|
181 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
|
| abp11 |
Error |
792 |
|
433 |
|
364 |
|
486 |
|
|
| dme2-16 |
Error |
478 |
|
126 |
|
212 |
|
309 |
|
|
| dpd75 |
Error |
239 |
|
108 |
|
69 |
|
168 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| mmgt20 |
Error |
197 |
|
99 |
|
48 |
|
62 |
|
|
| furnace17 |
Error |
206 |
|
191 |
|
53 |
|
53 |
|
|
| over12 |
Error |
193 |
|
135 |
|
73 |
|
95 |
|
|
| phone-async |
Error |
294 |
|
168 |
|
2475 |
|
695 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| tcas |
Error |
389 |
|
158 |
|
706 |
|
544 |
|
|
| tomasulo |
Error |
214 |
|
187 |
|
431 |
|
86 |
|
|
| futurebus |
Error |
1563 |
|
113 |
|
109008 |
|
1151 |
|
|
| phone-sync-CW |
Error |
1540 |
|
125 |
|
31383 |
|
797 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| c2670 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
| c3540 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
| c6288-13 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
| c6288-14 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| c6288-15 |
Error |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
-2 |
Missing |
|
Back To Index Page