QBF Solver Evaluation Portal
qbflib.orgSuite Mneimneh-Sakallah 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 | 3657.46 | 73.15 | 177.15 | 4.29 | 20.94 | 0.9 |
| ghostq-plain | 3564.11 | 71.28 | 177.15 | 3.86 | 23.2 | 0.9 |
| qsts | 6.04 | 0.12 | 0.19 | 0.06 | 0.07 | 1 |
| quabs-minisat | 3050.1 | 61 | 179.58 | 0.41 | 1.36 | 0.9 |
| quabs-picosat | 3156.85 | 63.14 | 178.97 | 0.66 | 4.92 | 0.9 |
| rareqs-nn | 11762.27 | 235.25 | 261 | 118.07 | 598.68 | 0.7 |
| xb-bid-qsts | 2530.44 | 50.61 | 161.91 | 1.36 | 4.27 | 0.92 |
| xb-qsts | 2530.02 | 50.6 | 161.91 | 1.37 | 4.19 | 0.92 |