FMCAD'98: BDD Study Statistics
Statistic: % Stmts Executed
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| valves-gates |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| motors-stuck |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| dartes |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| key10 |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| ftp3 |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| abp11 |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| dme2-16 |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| dpd75 |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| mmgt20 |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| furnace17 |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| over12 |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| phone-async |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| tcas |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| tomasulo |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| futurebus |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| phone-sync-CW |
Error |
100 |
|
100 |
|
100 |
|
100 |
|
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| c2670 |
Error |
0 |
Missing |
0 |
Missing |
0 |
Missing |
0 |
Missing |
|
| c3540 |
Error |
0 |
Missing |
0 |
Missing |
0 |
Missing |
0 |
Missing |
|
| c6288-13 |
Error |
0 |
Missing |
0 |
Missing |
0 |
Missing |
0 |
Missing |
|
| c6288-14 |
Error |
0 |
Missing |
0 |
Missing |
0 |
Missing |
0 |
Missing |
|
| Package |
| abcd-r2-pc |
| abcdD-r2-pc |
| abcd-r2-sun |
| abcdD-r2-sun |
|
| c6288-15 |
Error |
0 |
Missing |
0 |
Missing |
0 |
Missing |
0 |
Missing |
|
Back To Index Page