QBF Solver Evaluation Portal
qbflib.orgFamily Bloem_dqbf results for solvers
DQBF Solvers Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| dqbdd | 50795.32 | 564.39 | 416.26 | 900 | 893.16 | 0.367 |
| hqs | 6953.81 | 77.26 | 240.08 | 0.86 | 0.94 | 0.178 |
| iprover_hqspre_schedule | 58749.48 | 652.77 | 375.26 | 900 | 715.42 | 0.333 |
| iprover_hqspre_single | 60841.8 | 676.02 | 376.15 | 900 | 715.28 | 0.289 |