temp.org

| combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2.cnf.bz2 |  19.960 | SAT   | https://gbd.iti.kit.edu/file/12bb20e3ad925897977f85af71db7c94 |
| 3bitadd_32.cnf.gz.CP3-cnfmiter.cnf.bz2                                    |  22.470 | UNSAT | https://gbd.iti.kit.edu/file/3d38ffe08887da6cbe9b17ce50c4b34c |
| ncc_none_3047_7_3_3_1_0_1.cnf.bz2                                         | 220.107 | SAT   | https://gbd.iti.kit.edu/file/f2141cde748f165bac48de382470d993 |
| w19-8.0.cnf.bz2                                                           | 229.890 | UNSAT | https://gbd.iti.kit.edu/file/16b9e9e007133b818ec1f0868613d534 |