QBF Solver Evaluation Portal
qbflib.orgFamily s820 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 | 34.82 | 6.96 | 5.25 | 7.24 | 6.42 | 1 |
| ghostq-plain | 29.42 | 5.88 | 4.02 | 6.88 | 6.49 | 1 |
| qsts | 0.26 | 0.05 | 0.03 | 0.04 | 0.02 | 1 |
| quabs-minisat | 2.93 | 0.59 | 0.44 | 0.63 | 0.63 | 1 |
| quabs-picosat | 4.95 | 0.99 | 0.68 | 1.1 | 0.94 | 1 |
| rareqs-nn | 608 | 121.6 | 97.76 | 133.31 | 132.39 | 1 |
| xb-bid-qsts | 17.69 | 3.54 | 2.26 | 3.98 | 3.23 | 1 |
| xb-qsts | 17.61 | 3.52 | 2.24 | 4.02 | 3.21 | 1 |