QBF Solver Evaluation Portal
qbflib.orgFamily trafficlight-controller 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 | 783.57 | 78.36 | 175.65 | 12.11 | 17.28 | 0.9 |
| caqe-picosat-par | 1449.12 | 144.91 | 231.2 | 12.07 | 85.56 | 0.8 |
| hiqqerfork | 50.67 | 5.07 | 7.79 | 1.29 | 2.31 | 1 |
| hordeqbf | 1077.45 | 107.75 | 198.11 | 2.66 | 16.13 | 0.9 |
| mpiDepQBF | 1198.11 | 119.81 | 214.48 | 5.64 | 32.13 | 0.9 |
| par-pd-depqbf | 619.15 | 61.92 | 177.23 | 3.02 | 8.02 | 0.7 |