QBF Solver Evaluation Portal
qbflib.orgFamily Chain 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 | 1653.72 | 330.74 | 245.11 | 340.72 | 413.63 | 0.4 |
| ghostq-plain | 2.94 | 0.59 | 0.22 | 0.62 | 0.37 | 1 |
| qsts | 0.11 | 0.02 | 0.01 | 0.02 | 0.01 | 1 |
| quabs-minisat | 2046.6 | 409.32 | 241.34 | 599.71 | 475.98 | 0.4 |
| quabs-picosat | 2481.2 | 496.24 | 206.94 | 599.71 | 258.68 | 0.2 |
| rareqs-nn | 102.79 | 20.56 | 12.58 | 20.89 | 19.25 | 1 |
| xb-bid-qsts | 3.44 | 0.69 | 0.32 | 0.72 | 0.51 | 1 |
| xb-qsts | 3.42 | 0.68 | 0.32 | 0.71 | 0.51 | 1 |