QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Qshifter
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| qshifter_7 | quabs___caqe-bloqqer | SAT | 1.5 |  |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| qshifter_7 | quabs___caqe-bloqqer | SAT | 1.5 | |