FMCAD'98: BDD Study Statistics
Statistic: CPU Time (sec)

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
valves-gates Error
60
  
5
  
119
  
116
  
motors-stuck Error
40
  
6
  
90
  
90
  
dartes Error
12
  
1
  
28
  
31
  
key10 Error
134
  
10
  
256
  
263
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
ftp3 Error
231
  
20
  
453
  
463
  
abp11 Error
202
  
10
  
360
  
360
  
dme2-16 Error
176
  
9
  
360
  
369
  
dpd75 Error
78
  
4
  
157
  
165
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
mmgt20 Error
63
  
4
  
126
  
126
  
furnace17 Error
59
  
2
  
122
  
124
  
over12 Error
131
  
5
  
277
  
278
  
phone-async Error
1342
  
54
  
1897
  
1750
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
tcas Error
3757
  
161
  
6240
  
6157
  
tomasulo Error
4012
  
182
  
7813
  
8059
  
futurebus Error
11962
  
881
  
20053
  
23246
  
phone-sync-CW Error
13558
  
781
  
24856
  
25637
  

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