FMCAD'98: BDD Study Statistics
Statistic: GC 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
11
  
1
  
17
  
16
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
tcas Error
691
  
33
  
1397
  
1384
  
tomasulo Error
1199
  
54
  
2390
  
2412
  
futurebus Error
0
  
0
  
0
  
0
  
phone-sync-CW Error
2597
  
151
  
5026
  
5378
  

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