QBF Solver Evaluation Portal
qbflib.orgSota solver results for family RankingFunctions
QBFEVAL'16 - Prenex non-CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| rankfunc13_unsigned_64 | xb-qsts | SAT | 0.97 |  |
| rankfunc14_signed_64 | xb-qsts | SAT | 0.63 | |
| rankfunc17_unsigned_16 | xb-bid-qsts | SAT | 0.31 | |
| rankfunc33_signed_32 | xb-bid-qsts | SAT | 0.79 | |
| rankfunc5_unsigned_64 | xb-bid-qsts | SAT | 0.69 | |