QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Chain
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| CHAIN20v.21 | Qute_hybrid | SAT | 0.09 |  |
| CHAIN22v.23 | Qute_opt617 | SAT | 0.12 | |
| CHAIN23v.24 | Qute_opt993 | SAT | 0.13 | |