Index of /sites/dsc/storage2/community/c1/shared2/test9/dbc/quenched/occam/new/

../
data/                                              28-Oct-1992 18:38                   -
merge/                                             25-Oct-1991 11:17                   -
prod/                                              25-Jan-1993 18:28                   -
proptest/                                          07-Oct-1992 17:35                   -
split/                                             22-Nov-1991 17:13                   -
testcnf/                                           20-Jul-1995 15:02                   -
log                                                18-Jan-1991 20:21               15865