FMCAD'98: BDD Study Statistics
Statistic: Reorder 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