Index of /src/splr-0.17.2/cnfs/

../
README.md                                          24-Jul-2006 01:21                1487
a_rphp035_05.cnf                                   24-Jul-2006 01:21               83591
empty-clause.cnf                                   24-Jul-2006 01:21                  13
empty-form.cnf                                     24-Jul-2006 01:21                  10
issue-182.cnf                                      24-Jul-2006 01:21                 201
sample.cnf                                         24-Jul-2006 01:21               15267
uf100-010.cnf                                      24-Jul-2006 01:21                5346
uf20-01.cnf                                        24-Jul-2006 01:21                1164
uf250-02.cnf                                       24-Jul-2006 01:21               15259
uf8.cnf                                            24-Jul-2006 01:21                 246
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf       24-Jul-2006 01:21               22467
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf       24-Jul-2006 01:21               22440
unsat.cnf                                          24-Jul-2006 01:21                8909