QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s1269
QBFEVAL'16 - Prenex CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s1269_d3_s | qsts | SAT | 0.09 |  |
| s1269_d4_s | qsts | SAT | 0.71 | |
| s1269_d5_s | ghostq-plain | SAT | 11.75 | |
| s1269_d8_s | qsts | SAT | 7.52 | |
| s1269_d9_s | ghostq-plain | SAT | 71.29 | |