Instance | Solver | Result | Time | |
---|---|---|---|---|
bobtuint31neg | Caqe-bloqqer-qdo | SAT | 0 | |
eijkbs3330 | Hiqqer2019_2 | SAT | 0 | |
eijkbs4863 | Hiqqer2019_1 | SAT | 0 | |
kenflashp04 | Caqe-bloqqer-qdo | SAT | 0 | |
kenflashp12 | Caqe-bloqqer-qdo | SAT | 0 | |
neclaftp4001 | Qute_default | UNSAT | 6.48 | |
pdtpmsmiim | Qute_default | SAT | 0 | |
pdtpmsrotate32 | Qute_default | SAT | 0 |