QBF Solver Evaluation Portal
qbflib.orgFamily q2k3k3 results for solvers
QBFEVAL'10 - Random QBFs Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 143194.86 | 530.35 | 583.58 | 17.03 | 1198.06 | 0.596 |
| depqbf | 204721.59 | 758.23 | 576.25 | 1200.16 | 1194.92 | 0.37 |
| depqbf-pre | 204627.48 | 757.88 | 576.66 | 1200.13 | 1195.39 | 0.37 |
| nenofex-qbfeval10 | 54091.23 | 200.34 | 207.98 | 145.04 | 74.14 | 0.111 |
| quantor-3.1 | 8811.16 | 32.63 | 29.33 | 26.74 | 6.19 | 0.237 |
| QuBE7 | 204786.67 | 758.47 | 575.76 | 1200.02 | 1195.64 | 0.37 |
| QuBE7-c | 205067.67 | 759.51 | 574.47 | 1200.02 | 1193.46 | 0.37 |
| QuBE7-m | 205289.48 | 760.33 | 573.46 | 1200.02 | 1192.78 | 0.37 |
| struqs-10 | 208519.29 | 772.29 | 559.23 | 1200.08 | 1161.64 | 0.37 |