QBF Solver Evaluation Portal
qbflib.orgFamily ISCAS89 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 | 609.51 | 203.17 | 280.42 | 9.59 | 9.38 | 0.667 |
| ghostq-plain | 612.42 | 204.14 | 279.76 | 12.52 | 12.33 | 0.667 |
| qsts | 191.02 | 63.67 | 89.95 | 0.13 | 0.12 | 0.667 |
| quabs-minisat | 1799.14 | 599.71 | 0.01 | 599.71 | 0 | 0 |
| quabs-picosat | 600.69 | 200.23 | 282.48 | 0.94 | 0.9 | 0.667 |
| rareqs-nn | 1798.94 | 599.65 | 0.12 | 599.61 | 0.09 | 0 |
| xb-bid-qsts | 64.51 | 21.5 | 24.8 | 7.44 | 6.73 | 1 |
| xb-qsts | 62.46 | 20.82 | 24.02 | 7.2 | 6.52 | 1 |