Index of /sites/dsc/storage2/community/c1/shared2/test9/dbc/quenched/occam/new/testcnf/
../
README 14-Oct-1992 17:09 559
a.out 14-Oct-1992 18:12 24576
backwards 13-Oct-1992 18:06 131072
crecpl 08-Oct-1992 17:19 180224
crecpl.f 08-Oct-1992 17:18 13069
crecpl.job 07-Oct-1992 17:38 13118
makefile 07-Oct-1992 21:16 47
output 08-Oct-1992 17:19 290304
output.blk 14-Oct-1992 18:14 262144
output.con 14-Oct-1992 18:14 294912
output.cre 14-Oct-1992 18:14 290304
output.good 08-Oct-1992 18:04 248832
output.txt 07-Oct-1992 21:25 914732
output.uns 14-Oct-1992 18:14 248832
prop 24-Nov-1992 15:11 294912
roundblk 14-Oct-1992 16:50 24576
roundblk.c 14-Oct-1992 16:49 304
source1.0.qcd 21-Oct-1992 18:00 71680
source1.1.qcd 21-Oct-1992 18:01 71680
source1.10.qcd 21-Oct-1992 18:02 71680
source1.11.qcd 21-Oct-1992 18:02 71680
source1.2.qcd 21-Oct-1992 18:01 71680
source1.3.qcd 21-Oct-1992 18:01 71680
source1.4.qcd 21-Oct-1992 18:01 71680
source1.5.qcd 21-Oct-1992 18:01 71680
source1.6.qcd 21-Oct-1992 18:01 71680
source1.7.qcd 21-Oct-1992 18:01 71680
source1.8.qcd 21-Oct-1992 18:01 71680
source1.9.qcd 21-Oct-1992 18:01 71680
source2.0.qcd 21-Oct-1992 18:02 71680
source2.1.qcd 21-Oct-1992 18:02 71680
source2.10.qcd 21-Oct-1992 18:03 71680
source2.11.qcd 21-Oct-1992 18:03 71680
source2.2.qcd 21-Oct-1992 18:02 71680
source2.3.qcd 21-Oct-1992 18:02 71680
source2.4.qcd 21-Oct-1992 18:02 71680
source2.5.qcd 21-Oct-1992 18:02 71680
source2.6.qcd 21-Oct-1992 18:02 71680
source2.7.qcd 21-Oct-1992 18:03 71680
source2.8.qcd 21-Oct-1992 18:03 71680
source2.9.qcd 21-Oct-1992 18:03 71680
state6.qcd 14-Oct-1992 18:14 137216
sym.bak 13-Oct-1992 09:36 15612
test.c 14-Oct-1992 18:12 48
unscramble 08-Oct-1992 18:03 24576
unscramble.c 14-Oct-1992 16:59 705