QBF Solver Evaluation Portal
qbflib.orgSuite Castellini 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 | 272.66 | 19.48 | 67.26 | 0.15 | 0.55 | 1 |
| ghostq-plain | 58.82 | 4.2 | 13.65 | 0.13 | 0.23 | 1 |
| qsts | 1203.57 | 85.97 | 209.73 | 0.03 | 0.27 | 0.857 |
| quabs-minisat | 15.18 | 1.08 | 2.51 | 0.03 | 0.14 | 1 |
| quabs-picosat | 205.74 | 14.7 | 51.34 | 0.04 | 0.11 | 1 |
| rareqs-nn | 608.32 | 43.45 | 154.28 | 0.38 | 0.53 | 0.929 |
| xb-bid-qsts | 19.42 | 1.39 | 3.08 | 0.12 | 0.29 | 1 |
| xb-qsts | 64.99 | 4.64 | 14.48 | 0.12 | 0.28 | 1 |