Index of /src/d4-oxide-0.4.2/d4/instancesTest/cnfs/

../
cnf1.cnf                                           24-Jul-2006 01:21                  15
cnf1.sol                                           24-Jul-2006 01:21                   4
cnf10.cnf                                          24-Jul-2006 01:21                 541
cnf11.cnf                                          24-Jul-2006 01:21                 533
cnf12.cnf                                          24-Jul-2006 01:21                 109
cnf12.sol                                          24-Jul-2006 01:21                   8
cnf13.cnf                                          24-Jul-2006 01:21                 416
cnf13.sol                                          24-Jul-2006 01:21                   6
cnf14.cnf                                          24-Jul-2006 01:21                 431
cnf15.cnf                                          24-Jul-2006 01:21                  37
cnf15.sol                                          24-Jul-2006 01:21                   4
cnf16.cnf                                          24-Jul-2006 01:21                  10
cnf16.sol                                          24-Jul-2006 01:21                   7
cnf2.cnf                                           24-Jul-2006 01:21                  39
cnf2.sol                                           24-Jul-2006 01:21                   5
cnf3.cnf                                           24-Jul-2006 01:21                  90
cnf3.sol                                           24-Jul-2006 01:21                   6
cnf4.cnf                                           24-Jul-2006 01:21                  53
cnf4.sol                                           24-Jul-2006 01:21                   7
cnf5.cnf                                           24-Jul-2006 01:21                 403
cnf5.sol                                           24-Jul-2006 01:21                  10
cnf6.cnf                                           24-Jul-2006 01:21                  83
cnf6.sol                                           24-Jul-2006 01:21                   9
cnf7.sol                                           24-Jul-2006 01:21                   4
cnf7.wcnf                                          24-Jul-2006 01:21                 357
cnf8.sol                                           24-Jul-2006 01:21                   6
cnf8.wcnf                                          24-Jul-2006 01:21                 347
cnf9.cnf                                           24-Jul-2006 01:21                 370
cnf9.query                                         24-Jul-2006 01:21                  21
maxSharpCnf1.cnf                                   24-Jul-2006 01:21                  41
maxSharpCnf1.sol                                   24-Jul-2006 01:21                   4
maxSharpCnf2.cnf                                   24-Jul-2006 01:21                  91
maxSharpCnf2.sol                                   24-Jul-2006 01:21                  20
maxSharpCnf3.cnf                                   24-Jul-2006 01:21                  65
maxSharpCnf4.cnf                                   24-Jul-2006 01:21                  54
maxSharpCnf5.cnf                                   24-Jul-2006 01:21                  50
minSharpCnf1.cnf                                   24-Jul-2006 01:21                 125
projectedCnf1.cnf                                  24-Jul-2006 01:21                  49
projectedCnf2.cnf                                  24-Jul-2006 01:21                  61
projectedCnf3.cnf                                  24-Jul-2006 01:21                  74
projectedCnf4.cnf                                  24-Jul-2006 01:21                  47
projectedCnf5.cnf                                  24-Jul-2006 01:21                  41
projectedCnf6.cnf                                  24-Jul-2006 01:21                  82
smallSAT.cnf                                       24-Jul-2006 01:21                  31
smallSAT.sol                                       24-Jul-2006 01:21                   4
smallUNSAT.cnf                                     24-Jul-2006 01:21                  57
smallUNSAT.sol                                     24-Jul-2006 01:21                   4