QBF Solver Evaluation Portal
qbflib.orgFamily (D)-QBF_Autarkies results for solvers
DQBF Solvers Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| dqbdd | 1631.08 | 32.62 | 127.29 | 8.53 | 16.99 | 0.98 |
| hqs | 8310.79 | 166.22 | 310.51 | 14.83 | 51 | 0.6 |
| iprover_hqspre_schedule | 818.11 | 16.36 | 39.1 | 0.17 | 2.24 | 1 |
| iprover_hqspre_single | 810.98 | 16.22 | 38.56 | 0.16 | 2.25 | 1 |