QBF Solver Evaluation Portal
qbflib.orgSuite Basler results for solvers
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| caqe-minisat-par | 10046.16 | 334.87 | 293.08 | 600 | 599.91 | 0.467 |
| caqe-picosat-par | 9116.72 | 303.89 | 296.69 | 352.77 | 599.91 | 0.5 |
| hiqqerfork | 10335.06 | 344.5 | 293.1 | 600 | 599.97 | 0.433 |
| hordeqbf | 11122.76 | 370.76 | 285.66 | 600 | 598.93 | 0.4 |
| mpiDepQBF | 10462.14 | 348.74 | 290.55 | 600 | 599.89 | 0.433 |
| par-pd-depqbf | 6010.27 | 200.34 | 282.6 | 0.52 | 599.49 | 0.667 |