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

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
valves-gates Error
65
  
67
  
135
  
132
  
motors-stuck Error
46
  
48
  
117
  
116
  
dartes Error
17
  
17
  
37
  
40
  
key10 Error
139
  
139
  
263
  
271
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
ftp3 Error
236
  
236
  
460
  
469
  
abp11 Error
207
  
208
  
372
  
374
  
dme2-16 Error
181
  
183
  
369
  
380
  
dpd75 Error
82
  
82
  
164
  
173
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
mmgt20 Error
67
  
68
  
132
  
131
  
furnace17 Error
63
  
63
  
128
  
129
  
over12 Error
135
  
135
  
284
  
285
  
phone-async Error
1351
  
890
  
1950
  
1771
  

Package
abcd-r2-pc
abcdD-r2-pc
abcd-r2-sun
abcdD-r2-sun
tcas Error
3772
  
3219
  
6306
  
6179
  
tomasulo Error
4025
  
4144
  
7898
  
8069
  
futurebus Error
12002
  
14663
  
24094
  
23289
  
phone-sync-CW Error
13589
  
13109
  
25436
  
25674
  

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