FMCAD'98: BDD Study Statistics
Statistic: BDD Avg Visit Length
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| valves-gates |
Error |
0.60 |
|
0.54 |
|
0.60 |
|
0.54 |
|
|
| motors-stuck |
Error |
0.58 |
|
0.58 |
|
0.58 |
|
0.58 |
|
|
| dartes |
Error |
0.56 |
|
0.56 |
|
0.56 |
|
0.56 |
|
|
| key10 |
Error |
0.59 |
|
0.57 |
|
0.59 |
|
0.57 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| ftp3 |
Error |
1.00 |
|
0.87 |
|
1.00 |
|
0.87 |
|
|
| abp11 |
Error |
0.99 |
|
0.99 |
|
0.99 |
|
0.99 |
|
|
| dme2-16 |
Error |
0.94 |
|
0.75 |
|
0.94 |
|
0.75 |
|
|
| dpd75 |
Error |
0.60 |
|
0.59 |
|
0.60 |
|
0.59 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| mmgt20 |
Error |
0.55 |
|
0.55 |
|
0.55 |
|
0.55 |
|
|
| furnace17 |
Error |
0.51 |
|
0.50 |
|
0.51 |
|
0.50 |
|
|
| over12 |
Error |
0.83 |
|
0.82 |
|
0.83 |
|
0.82 |
|
|
| phone-async |
Error |
19.93 |
|
1.18 |
|
19.93 |
|
1.18 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| tcas |
Error |
1.08 |
|
1.69 |
|
9.88 |
|
1.69 |
|
|
| tomasulo |
Error |
4.57 |
|
2.08 |
|
4.56 |
|
2.08 |
|
|
| futurebus |
Error |
1.41 |
|
1.34 |
|
1.41 |
|
1.34 |
|
|
| phone-sync-CW |
Error |
0.75 |
|
2.63 |
|
4.31 |
|
2.63 |
|
|
| 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