QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ISCAS89
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s00400_PR_9_90 | rareqs | UNSAT | 0 |  |
| s05378_PR_9_75 | rareqs | UNSAT | 0.43 | |
| s09234_PR_9_5 | prefix-opt-depqbf | SAT | 0.12 | |
| s15850_PR_0_50 | prefix-opt-depqbf | SAT | 0.49 | |