Instance | Solver | Result | Time | |
---|---|---|---|---|
bobtuint31neg | aspq2v3 | SAT | 0 | |
eijkbs3330 | aspq2v3 | SAT | 0 | |
eijkbs4863 | aspq2v3 | SAT | 0 | |
kenflashp04 | Cued_2_2018 | SAT | 0 | |
kenflashp12 | aspq2v3 | SAT | 0 | |
neclaftp2002 | Cued_3_2018 | UNSAT | 253.83 | |
neclaftp4001 | CADET_2017 | UNSAT | 0 | |
pdtpmsmiim | Caqe-hqspre | SAT | 0 | |
pdtpmsrotate32 | Caqe-hqspre | SAT | 0 |