QBF Solver Evaluation Portal
qbflib.orgSota solver results for family RankingFunctions
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| rankfunc13_unsigned_64 | quabs___caqe-bloqqer | SAT | 0 |  |
| rankfunc17_unsigned_16 | quabs___caqe-bloqqer | SAT | 0 | |
| rankfunc33_signed_32 | quabs___caqe-bloqqer | SAT | 0 | |