QBF Solver Evaluation Portal
qbflib.orgSuite Wintersteiger 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 | 8995.9 | 599.73 | 0.13 | 599.71 | 0.28 | 0 |
| ghostq-plain | 8024.52 | 534.97 | 105.61 | 599.81 | 243.09 | 0 |
| qsts | 8384.53 | 558.97 | 60.52 | 599.61 | 122.66 | 0 |
| quabs-minisat | 8995.75 | 599.72 | 0.03 | 599.71 | 0 | 0 |
| quabs-picosat | 8998.35 | 599.89 | 0.67 | 599.71 | 0 | 0 |
| rareqs-nn | 8424.83 | 561.66 | 142.02 | 599.71 | 0.4 | 0.067 |
| xb-bid-qsts | 3061.71 | 204.11 | 279.84 | 3.35 | 598.62 | 0.667 |
| xb-qsts | 3061.79 | 204.12 | 279.86 | 3.35 | 598.79 | 0.667 |