QBF Solver Evaluation Portal
qbflib.orgFamily Balabanov_dqbf results for solvers
DQBF Solvers Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| dqbdd | 18646.67 | 548.43 | 415.32 | 900 | 892.59 | 0.353 |
| hqs | 19197.09 | 564.62 | 423.37 | 900 | 891.83 | 0.382 |
| iprover_hqspre_schedule | 25959.24 | 763.51 | 296.61 | 900 | 0 | 0.176 |
| iprover_hqspre_single | 26603.84 | 782.47 | 283.87 | 900 | 0 | 0.147 |