QBF Solver Evaluation Portal
qbflib.orgFamily Scholl_dqbf results for solvers
QBFEVAL'18 - DQBF Solvers Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| dCaqe | 64657.05 | 646.57 | 397.36 | 900 | 830.7 | 0.29 |
| hqs | 38402.76 | 384.03 | 441.24 | 2.54 | 899.13 | 0.58 |
| idq | 72517.45 | 725.17 | 350.6 | 900 | 0 | 0.2 |
| iprover_dqbf18 | 62830.31 | 628.3 | 399.71 | 900 | 819.66 | 0.32 |
| iprover_hqspre | 57424.15 | 574.24 | 425.55 | 900 | 894.61 | 0.37 |