Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- | 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 |
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement