QBF Solver Evaluation Portal
qbflib.orgFamily blackbox_design 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 | 2.19 | 0.44 | 0.3 | 0.25 | 0.19 | 1 |
| ghostq-plain | 1.52 | 0.3 | 0.13 | 0.23 | 0.12 | 1 |
| qsts | 8.09 | 1.62 | 1.36 | 0.87 | 1.23 | 1 |
| quabs-minisat | 2.8 | 0.56 | 0.7 | 0.14 | 0.43 | 1 |
| quabs-picosat | 0.84 | 0.17 | 0.1 | 0.11 | 0.11 | 1 |
| rareqs-nn | 6.42 | 1.28 | 0.73 | 0.71 | 0.74 | 1 |
| xb-bid-qsts | 4.96 | 0.99 | 0.83 | 0.38 | 0.64 | 1 |
| xb-qsts | 4.7 | 0.94 | 0.76 | 0.4 | 0.58 | 1 |