QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'10 - Small Hard Track.
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| Abduction | 2 | 2 | 1 | 1 | 257.13 | depqbf |
| C499 | 3 | 3 | 0 | 3 | 17.92 | AIGSolve |
| C880 | 6 | 4 | 0 | 4 | 54.19 | AIGSolve |
| circuits | 1 | 1 | 1 | 0 | 187.02 | AIGSolve |
| Counter | 4 | 4 | 4 | 0 | 429.15 | AIGSolve |
| jmc_quant | 5 | 5 | 2 | 3 | 6.61 | AIGSolve |
| jmc_quant_squaring | 5 | 5 | 2 | 3 | 32.44 | AIGSolve |
| k_branch_n | 2 | 2 | 2 | 0 | 9.5 | AIGSolve |
| Sorting_networks | 4 | 4 | 2 | 2 | 15634.9 | aqme-10 |
| tipdiam | 1 | 1 | 0 | 1 | 0.44 | AIGSolve |
| tipfixpoint | 13 | 9 | 9 | 0 | 389.97 | AIGSolve |
| uclid | 2 | 1 | 1 | 0 | 12.09 | AIGSolve |
| wmiforward | 2 | 2 | 2 | 0 | 0.67 | AIGSolve |