QBF Solver Evaluation Portal
qbflib.orgFamily Bloem_dqbf results for solvers
QBFEVAL'18 - DQBF Solvers Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| dCaqe | 74874.7 | 748.75 | 328.55 | 900 | 0 | 0.18 |
| hqs | 65453.06 | 654.53 | 396.75 | 900 | 883.64 | 0.28 |
| idq | 77775.13 | 777.75 | 303.56 | 900 | 0 | 0.14 |
| iprover_dqbf18 | 67004.79 | 670.05 | 388.2 | 900 | 820.44 | 0.26 |
| iprover_hqspre | 62723.17 | 627.23 | 406.39 | 900 | 874.78 | 0.32 |