QBF Solver Evaluation Portal
qbflib.orgFamily Balabanov_dqbf results for solvers
QBFEVAL'18 - DQBF Solvers Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| dCaqe | 24762.28 | 728.3 | 316.72 | 900 | 463.86 | 0.235 |
| hqs | 18773.02 | 552.15 | 396.21 | 900 | 779.89 | 0.441 |
| idq | 15728.28 | 462.6 | 427.09 | 491.23 | 893.09 | 0.529 |
| iprover_dqbf18 | 16105.07 | 473.68 | 428.33 | 538.53 | 879.44 | 0.5 |
| iprover_hqspre | 20913.91 | 615.12 | 394.11 | 900 | 820.33 | 0.353 |