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


../
README                                             26-Oct-2009 23:32                 559
a.out                                              26-Oct-2009 23:32               24576
backwards                                          26-Oct-2009 23:32              131072
crecpl                                             26-Oct-2009 23:32              180224
crecpl.f                                           26-Oct-2009 23:32               13069
crecpl.job                                         26-Oct-2009 23:32               13118
makefile                                           26-Oct-2009 23:32                  47
output                                             26-Oct-2009 23:32              290304
output.blk                                         26-Oct-2009 23:32              262144
output.con                                         26-Oct-2009 23:32              294912
output.cre                                         26-Oct-2009 23:32              290304
output.good                                        26-Oct-2009 23:32              248832
output.txt                                         26-Oct-2009 23:32              914732
output.uns                                         26-Oct-2009 23:32              248832
prop                                               26-Oct-2009 23:32              294912
roundblk                                           26-Oct-2009 23:32               24576
roundblk.c                                         26-Oct-2009 23:32                 304
source1.0.qcd                                      26-Oct-2009 23:32               71680
source1.1.qcd                                      26-Oct-2009 23:32               71680
source1.10.qcd                                     26-Oct-2009 23:32               71680
source1.11.qcd                                     26-Oct-2009 23:32               71680
source1.2.qcd                                      26-Oct-2009 23:32               71680
source1.3.qcd                                      26-Oct-2009 23:32               71680
source1.4.qcd                                      26-Oct-2009 23:32               71680
source1.5.qcd                                      26-Oct-2009 23:32               71680
source1.6.qcd                                      26-Oct-2009 23:32               71680
source1.7.qcd                                      26-Oct-2009 23:32               71680
source1.8.qcd                                      26-Oct-2009 23:32               71680
source1.9.qcd                                      26-Oct-2009 23:32               71680
source2.0.qcd                                      26-Oct-2009 23:32               71680
source2.1.qcd                                      26-Oct-2009 23:32               71680
source2.10.qcd                                     26-Oct-2009 23:32               71680
source2.11.qcd                                     26-Oct-2009 23:32               71680
source2.2.qcd                                      26-Oct-2009 23:32               71680
source2.3.qcd                                      26-Oct-2009 23:32               71680
source2.4.qcd                                      26-Oct-2009 23:32               71680
source2.5.qcd                                      26-Oct-2009 23:32               71680
source2.6.qcd                                      26-Oct-2009 23:32               71680
source2.7.qcd                                      26-Oct-2009 23:32               71680
source2.8.qcd                                      26-Oct-2009 23:32               71680
source2.9.qcd                                      26-Oct-2009 23:32               71680
state6.qcd                                         26-Oct-2009 23:32              137216
sym.bak                                            26-Oct-2009 23:32               15612
test.c                                             26-Oct-2009 23:32                  48
unscramble                                         26-Oct-2009 23:32               24576
unscramble.c                                       26-Oct-2009 23:32                 705