QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'18 - DQBF Solvers Track
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| Balabanov_dqbf | 34 | 18 | 8 | 10 | 1328.28 | idq |
| Bloem_dqbf | 100 | 32 | 28 | 4 | 1523.17 | iprover_hqspre |
| Scholl_dqbf | 100 | 58 | 12 | 46 | 602.76 | hqs |
| Tentrup_dqbf | 100 | 71 | 13 | 58 | 2927.7 | hqs |