Index of /src/dimacs-0.2.0/bench/

../
aim-100-1_6-no-1.cnf                               13-Feb-2017 19:04                2274
aim-50-1_6-yes1-4.cnf                              13-Feb-2017 19:04                1264
bf0432-007.cnf                                     13-Feb-2017 19:14               51037
par-8-1-c.cnf                                      13-Feb-2017 19:51                3915
zebra-v155-c1135.cnf                               13-Feb-2017 19:47               14414