QBF Solver Evaluation Portal
qbflib.orgFamily ToiletC 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 | 267.5 | 53.5 | 104.23 | 1.14 | 2.5 | 1 |
| ghostq-plain | 54.67 | 10.93 | 21.21 | 0.3 | 0.4 | 1 |
| qsts | 601.59 | 120.32 | 239.7 | 0.27 | 0.9 | 0.8 |
| quabs-minisat | 11.24 | 2.25 | 3.6 | 0.52 | 0.76 | 1 |
| quabs-picosat | 201.6 | 40.32 | 79.73 | 0.48 | 0.79 | 1 |
| rareqs-nn | 602.26 | 120.45 | 239.63 | 0.61 | 0.59 | 0.8 |
| xb-bid-qsts | 11.97 | 2.39 | 4.25 | 0.36 | 0.23 | 1 |
| xb-qsts | 57.57 | 11.51 | 22.51 | 0.35 | 0.23 | 1 |