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