QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
DQBF Solvers Track
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| (D)-QBF_Autarkies | 50 | 50 | 50 | 0 | 810.98 | iprover_hqspre_single |
| Balabanov_dqbf | 34 | 13 | 4 | 9 | 368.66 | hqs |
| Bloem_dqbf | 90 | 33 | 31 | 2 | 1804.81 | dqbdd |
| Scholl_dqbf | 90 | 80 | 24 | 56 | 874.16 | dqbdd |
| Tentrup_dqbf | 90 | 83 | 9 | 74 | 1888.15 | dqbdd |