QBF Solver Evaluation Portal
qbflib.orgFamily k_ph_n 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 | 865.06 | 173.01 | 235.01 | 6.46 | 130.72 | 0.8 |
| ghostq-plain | 897.01 | 179.4 | 238.8 | 2.72 | 147.84 | 0.8 |
| qsts | 0.22 | 0.04 | 0.04 | 0.04 | 0.03 | 1 |
| quabs-minisat | 599.93 | 119.99 | 239.86 | 0.03 | 0.08 | 0.8 |
| quabs-picosat | 8.94 | 1.79 | 2.66 | 0.24 | 0.88 | 1 |
| rareqs-nn | 1860.83 | 372.17 | 279.17 | 599.61 | 568.67 | 0.4 |
| xb-bid-qsts | 52.88 | 10.58 | 19.01 | 0.73 | 1.7 | 1 |
| xb-qsts | 52.26 | 10.45 | 18.84 | 0.71 | 1.65 | 1 |