QBF Solver Evaluation Portal
qbflib.orgFamily RankingFunctions results for solvers
QBFEVAL'10 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 17550.29 | 292.5 | 494.99 | 3.04 | 557.81 | 0.733 |
| depqbf | 72009.87 | 1200.16 | 0.02 | 1200.17 | 0.01 | 0 |
| depqbf-pre | 72009.69 | 1200.16 | 0.01 | 1200.16 | 0.01 | 0 |
| nenofex-qbfeval10 | 23072.93 | 384.55 | 319.5 | 325.44 | 519.65 | 0.233 |
| quantor-3.1 | 1688.81 | 28.15 | 10.91 | 25.32 | 6.81 | 0.033 |
| QuBE7 | 22.07 | 0.37 | 0.63 | 0.18 | 0.25 | 1 |
| QuBE7-c | 25.14 | 0.42 | 0.78 | 0.18 | 0.24 | 1 |
| QuBE7-m | 25.58 | 0.43 | 0.8 | 0.19 | 0.26 | 1 |
| struqs-10 | 6126.42 | 102.11 | 331.08 | 0.92 | 3.29 | 0.917 |