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