QBF Solver Evaluation Portal
qbflib.orgFamily ISCAS89 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 | 659.06 | 94.15 | 206.65 | 11.84 | 12.05 | 0.857 |
| caqe-picosat-par | 641.11 | 91.59 | 207.63 | 2.82 | 13.07 | 0.857 |
| hiqqerfork | 25.84 | 3.69 | 4.15 | 1.48 | 1.59 | 1 |
| hordeqbf | 7.61 | 1.09 | 0.03 | 1.08 | 0.02 | 1 |
| mpiDepQBF | 7.19 | 1.03 | 1.05 | 0.23 | 1.55 | 1 |
| par-pd-depqbf | 29.68 | 4.24 | 3.04 | 3.02 | 3.5 | 1 |