FMCAD'98: BDD Study Statistics
Statistic: Cache Avg Visit Length
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| valves-gates |
Error |
0.38 |
|
0.38 |
|
0.38 |
|
0.38 |
|
|
| motors-stuck |
Error |
0.30 |
|
0.30 |
|
0.30 |
|
0.30 |
|
|
| dartes |
Error |
0.08 |
|
0.08 |
|
0.08 |
|
0.08 |
|
|
| key10 |
Error |
0.54 |
|
0.54 |
|
0.54 |
|
0.54 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| ftp3 |
Error |
0.61 |
|
0.61 |
|
0.61 |
|
0.61 |
|
|
| abp11 |
Error |
0.52 |
|
0.52 |
|
0.52 |
|
0.52 |
|
|
| dme2-16 |
Error |
0.59 |
|
0.59 |
|
0.59 |
|
0.59 |
|
|
| dpd75 |
Error |
0.34 |
|
0.34 |
|
0.34 |
|
0.34 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| mmgt20 |
Error |
0.29 |
|
0.29 |
|
0.29 |
|
0.29 |
|
|
| furnace17 |
Error |
0.24 |
|
0.24 |
|
0.24 |
|
0.24 |
|
|
| over12 |
Error |
0.46 |
|
0.46 |
|
0.46 |
|
0.46 |
|
|
| phone-async |
Error |
0.57 |
|
0.57 |
|
0.57 |
|
0.57 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| tcas |
Error |
0.47 |
|
0.47 |
|
0.47 |
|
0.47 |
|
|
| tomasulo |
Error |
0.48 |
|
0.48 |
|
0.48 |
|
0.48 |
|
|
| futurebus |
Error |
0.82 |
|
0.82 |
|
0.82 |
|
0.82 |
|
|
| phone-sync-CW |
Error |
0.54 |
|
0.54 |
|
0.54 |
|
0.54 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| c2670 |
Error |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
|
| c3540 |
Error |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
|
| c6288-13 |
Error |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
|
| c6288-14 |
Error |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| c6288-15 |
Error |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
-2.00 |
Missing |
|
Back To Index Page