QBF Solver Evaluation Portal
qbflib.orgFamily Qshifter results for solvers
QBFEVAL'10 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 20.54 | 3.42 | 2.63 | 2.46 | 1.39 | 1 |
| depqbf | 5001.47 | 833.58 | 521.66 | 1200.16 | 1200.13 | 0.333 |
| depqbf-pre | 4800.68 | 800.11 | 565.76 | 1200.16 | 1200.15 | 0.333 |
| nenofex-qbfeval10 | 596.02 | 99.34 | 199.17 | 2.55 | 4.62 | 1 |
| quantor-3.1 | 17.69 | 2.95 | 5.75 | 0.09 | 0.14 | 1 |
| QuBE7 | 699.1 | 116.52 | 242.39 | 1.29 | 2.4 | 1 |
| QuBE7-c | 699.15 | 116.52 | 242.37 | 1.29 | 2.4 | 1 |
| QuBE7-m | 690.27 | 115.04 | 239.19 | 1.29 | 2.4 | 1 |
| struqs-10 | 2.51 | 0.42 | 0.79 | 0.03 | 0.05 | 1 |