QBF Solver Evaluation Portal
qbflib.orgSuite Tentrup results for solvers
QBFEVAL'19 - DQBF Solvers Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| dCaqe | 16052.2 | 172.6 | 345.16 | 0.97 | 29.6 | 0.817 |
| hqs | 14893.7 | 160.15 | 326.96 | 6.01 | 43.86 | 0.839 |
| hqs+ql | 12159.81 | 130.75 | 298.86 | 5.66 | 28.64 | 0.871 |
| hqs+ql+fs | 15861.49 | 170.55 | 335.68 | 6.2 | 41.82 | 0.828 |
| iprover_hqspre | 46451.56 | 499.48 | 433.77 | 900.01 | 896.62 | 0.462 |