FMCAD'98: BDD Study Statistics
Statistic: Sift Time (sec)
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
valves-gates |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
motors-stuck |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
dartes |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
key10 |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
ftp3 |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
abp11 |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
dme2-16 |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
dpd75 |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
mmgt20 |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
furnace17 |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
over12 |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
phone-async |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
Package |
abcd-r2-pc |
abcdD-r2-pc |
abcd-r2-sun |
abcdD-r2-sun |
|
tcas |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
tomasulo |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
futurebus |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
phone-sync-CW |
Error |
0 |
  |
0 |
  |
0 |
  |
0 |
  |
|
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