QBF Solver Evaluation Portal
qbflib.orgFamily k_lin_n results for solvers
QBFEVAL'10 - Competitive Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 690.25 | 138.05 | 158.22 | 71.11 | 62.42 | 1 |
| aqme-10 | 283.95 | 56.79 | 33.89 | 55.14 | 40.91 | 1 |
| depqbf | 1544.11 | 308.82 | 414.4 | 136.52 | 117.89 | 1 |
| depqbf-pre | 1226.17 | 245.23 | 308.9 | 126.28 | 98.01 | 1 |
| nenofex-qbfeval10 | 2383.17 | 476.63 | 386.99 | 241.14 | 205.09 | 0.2 |
| qmaiga | 612.41 | 122.48 | 132.96 | 81.89 | 64.34 | 1 |
| quantor-3.1 | 4824.39 | 964.88 | 470.24 | 1200 | 587.81 | 0.2 |
| QuBE7 | 17.31 | 3.46 | 3.23 | 2.28 | 1.55 | 1 |
| QuBE7-c | 9.12 | 1.82 | 1.57 | 1.34 | 0.89 | 1 |
| QuBE7-m | 9.49 | 1.9 | 1.67 | 1.52 | 0.93 | 1 |
| struqs-10 | 6000.44 | 1200.09 | 0.01 | 1200.09 | 0.01 | 0 |