QBF Solver Evaluation Portal
qbflib.orgSota solver results for family toy
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| bs128n.sat | quabs___caqe-bloqqer | SAT | 0 |  |
| bs128n.unsat | Qute_hybrid | UNSAT | 0 | |
| mv16y.sat | quabs___caqe-bloqqer | SAT | 0 | |
| stay22n.unsat | Qute_hybrid | UNSAT | 0 | |
| stay24n.sat | Qute_hybrid | SAT | 0 | |