QBF Solver Evaluation Portal
qbflib.orgSuite Herbstritt results for solvers
QBFEVAL'16 - Prenex non-CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| ghostq-cegar | 603.93 | 60.39 | 179.77 | 0.27 | 0.43 | 0.9 |
| ghostq-plain | 94.84 | 9.48 | 27.54 | 0.25 | 0.29 | 1 |
| qsts | 652.1 | 65.21 | 178.64 | 0.87 | 2.49 | 0.9 |
| quabs-minisat | 20.31 | 2.03 | 3.58 | 0.1 | 0.77 | 1 |
| quabs-picosat | 10.28 | 1.03 | 2.72 | 0.1 | 0.19 | 1 |
| rareqs-nn | 449.64 | 44.96 | 128.31 | 1.42 | 2.11 | 1 |
| xb-bid-qsts | 11.11 | 1.11 | 1.06 | 0.48 | 1.42 | 1 |
| xb-qsts | 10.36 | 1.04 | 0.97 | 0.48 | 1.28 | 1 |