QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ISCAS89
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s01238_PR_8_2 | caqe-picosat-cert | SAT | 0.09 |  |
| s05378_PR_1_75 | depqbf-cert-v1 | UNSAT | 0.71 | |
| s05378_PR_9_2 | depqbf-cert-v2 | SAT | 0.41 | |
| s09234_PR_8_2 | depqbf-cert-v2 | SAT | 0.41 | |
| s09234_PR_8_5 | depqbf-cert-v2 | SAT | 2.41 | |
| s15850_PR_2_2 | depqbf-cert-v2 | SAT | 25.61 | |