QBF Solver Evaluation Portal
qbflib.orgFamily s713 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 | 129.31 | 25.86 | 32.08 | 1.46 | 25.22 | 1 |
| ghostq-plain | 73.85 | 14.77 | 17.73 | 0.98 | 15.86 | 1 |
| qsts | 1.23 | 0.25 | 0.27 | 0.05 | 0.27 | 1 |
| quabs-minisat | 11.74 | 2.35 | 2.77 | 0.37 | 2.54 | 1 |
| quabs-picosat | 38.77 | 7.75 | 9.47 | 0.41 | 8.27 | 1 |
| rareqs-nn | 1303.17 | 260.63 | 279.37 | 102.82 | 350.8 | 0.6 |
| xb-bid-qsts | 3.82 | 0.76 | 0.46 | 0.82 | 0.68 | 1 |
| xb-qsts | 3.82 | 0.76 | 0.46 | 0.82 | 0.68 | 1 |