QBF Solver Evaluation Portal
qbflib.orgFamily DFlipFlop 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 | 48.11 | 9.62 | 11.17 | 1.33 | 10.52 | 1 |
| ghostq-plain | 47.71 | 9.54 | 11.15 | 1.15 | 10.48 | 1 |
| qsts | 7.79 | 1.56 | 2.14 | 0.07 | 1.12 | 1 |
| quabs-minisat | 236.82 | 47.36 | 70.67 | 0.24 | 27.18 | 1 |
| quabs-picosat | 247.01 | 49.4 | 73.27 | 0.44 | 28.85 | 1 |
| rareqs-nn | 77.14 | 15.43 | 18.99 | 1.57 | 14.34 | 1 |
| xb-bid-qsts | 1203.42 | 240.68 | 293.19 | 3.05 | 300.97 | 0.6 |
| xb-qsts | 1203.3 | 240.66 | 293.17 | 3.06 | 300.98 | 0.6 |