QBF Solver Evaluation Portal
qbflib.orgSota solver results for family irqlkeapclte
QBFEVAL'16 - Prenex CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| stmt17_62_98 | AIGSolve | SAT | 18.67 |  |
| stmt17_63_82 | depqbf-v2 | SAT | 7.11 | |
| stmt17_70_90 | AIGSolve | SAT | 19.68 | |
| stmt17_70_98 | AIGSolve | SAT | 19.44 | |
| stmt17_82_98 | AIGSolve | SAT | 21.95 | |
| stmt17_86_98 | AIGSolve | SAT | 19.5 | |
| stmt19_64_99 | AIGSolve | SAT | 12.44 | |
| stmt23_66_96 | AIGSolve | SAT | 13.96 | |
| stmt23_72_76 | hiqqer3 | SAT | 1.44 | |
| stmt28_68_81 | AIGSolve | SAT | 14.55 | |