QBF Solver Evaluation Portal
qbflib.orgSota solver results for family HardwareFixpoint
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| sdlx-fixpoint-3 | quabs___caqe-bloqqer | UNSAT | 1.58 |  |
| small-swap1-fixpoint-3 | quabs___caqe-bloqqer | SAT | 0 | |
| small-swap2-fixpoint-4 | quabs___caqe-bloqqer | SAT | 0 | |