Index of /src/pblib-rs-0.1.0/pblib/cli/minisat/tests/inputs/SAT/parity/


../
par16-1-c.cnf                                      24-Jul-2006 01:21               21153
par16-1.cnf                                        24-Jul-2006 01:21               53045
par16-2-c.cnf                                      24-Jul-2006 01:21               23393
par16-2.cnf                                        24-Jul-2006 01:21               54390
par16-3-c.cnf                                      24-Jul-2006 01:21               22343
par16-3.cnf                                        24-Jul-2006 01:21               53722
par16-4-c.cnf                                      24-Jul-2006 01:21               21643
par16-4.cnf                                        24-Jul-2006 01:21               53337
par16-5-c.cnf                                      24-Jul-2006 01:21               22833
par16-5.cnf                                        24-Jul-2006 01:21               54046
par32-1-c.cnf                                      24-Jul-2006 01:21               92408
par32-1.cnf                                        24-Jul-2006 01:21              186508
par32-2-c.cnf                                      24-Jul-2006 01:21               91472
par32-2.cnf                                        24-Jul-2006 01:21              186087
par32-3-c.cnf                                      24-Jul-2006 01:21               93188
par32-3.cnf                                        24-Jul-2006 01:21              186964
par32-4-c.cnf                                      24-Jul-2006 01:21               93812
par32-4.cnf                                        24-Jul-2006 01:21              187458
par32-5-c.cnf                                      24-Jul-2006 01:21               94280
par32-5.cnf                                        24-Jul-2006 01:21              187770
par8-1-c.cnf                                       24-Jul-2006 01:21                4170
par8-1.cnf                                         24-Jul-2006 01:21               18305
par8-2-c.cnf                                       24-Jul-2006 01:21                4402
par8-2.cnf                                         24-Jul-2006 01:21               18470
par8-3-c.cnf                                       24-Jul-2006 01:21                4808
par8-3.cnf                                         24-Jul-2006 01:21               18760
par8-4-c.cnf                                       24-Jul-2006 01:21                4344
par8-4.cnf                                         24-Jul-2006 01:21               18403
par8-5-c.cnf                                       24-Jul-2006 01:21                4808
par8-5.cnf                                         24-Jul-2006 01:21               18769