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

../
test/                                              26-Oct-2009 23:32                   -
makefile                                           26-Oct-2009 23:32                 337
output                                             26-Oct-2009 23:32                 353
test.btl                                           26-Oct-2009 23:32               16256
test.c8h                                           26-Oct-2009 23:32               14935
test.dsc                                           26-Oct-2009 23:32                 122
test.l8h                                           26-Oct-2009 23:32                 128
test.lis                                           26-Oct-2009 23:32                9504
test.m8h                                           26-Oct-2009 23:32                 113
test.occ                                           26-Oct-2009 23:32                6742
test.pgm                                           26-Oct-2009 23:32                 434
test.t8h                                           26-Oct-2009 23:32               10325