QBF Solver Evaluation Portal
qbflib.orgSota solver results for family disjunctive_decomposition
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| eijkbs4863 | rev_qfun0.1 | SAT | 0.14 |  |
| kenflashp12 | ijtihad_v1 | SAT | 0.01 | |
| neclaftp4001 | caqe_2017_v2 | UNSAT | 1.56 | |
| pdtpmsmiim | qesto | SAT | 0.02 | |