QBF Solver Evaluation Portal
qbflib.orgFamily term1 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 | 1.35 | 0.34 | 0.34 | 0.16 | 0.43 | 1 |
| ghostq-plain | 2.68 | 0.67 | 0.93 | 0.15 | 1.09 | 1 |
| qsts | 169.6 | 42.4 | 73.32 | 0.09 | 84.76 | 1 |
| quabs-minisat | 11.99 | 3 | 5.12 | 0.06 | 5.98 | 1 |
| quabs-picosat | 18.34 | 4.59 | 7.82 | 0.1 | 9.14 | 1 |
| rareqs-nn | 30.55 | 7.64 | 4.77 | 8.14 | 7.11 | 1 |
| xb-bid-qsts | 0.76 | 0.19 | 0.2 | 0.08 | 0.24 | 1 |
| xb-qsts | 0.62 | 0.16 | 0.14 | 0.08 | 0.17 | 1 |