QBF Solver Evaluation Portal
qbflib.orgSuite Rintanen 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 | 4349.97 | 197.73 | 260.43 | 6 | 340.63 | 0.682 |
| ghostq-plain | 3055.64 | 138.89 | 250.07 | 0.82 | 10.84 | 0.773 |
| qsts | 2091.25 | 95.06 | 203.59 | 0.03 | 0.48 | 0.864 |
| quabs-minisat | 5437.39 | 247.15 | 274.34 | 68.42 | 599.65 | 0.636 |
| quabs-picosat | 6227.18 | 283.05 | 290.4 | 101.18 | 599.64 | 0.545 |
| rareqs-nn | 6197.55 | 281.71 | 290.58 | 47.5 | 593.45 | 0.545 |
| xb-bid-qsts | 2173.97 | 98.82 | 202.93 | 1.02 | 31.02 | 0.864 |
| xb-qsts | 3283.89 | 149.27 | 247.47 | 0.92 | 117.71 | 0.773 |