  To solve 3SAT instances on quantum annealers they need to be transformed to
an instance of Quadratic Unconstrained Binary Optimization (QUBO). When there
are multiple transformations available, the question arises whether different
transformations lead to differences in the obtained solution quality. Thus, in
this paper we conduct an empirical benchmark study, in which we compare four
structurally different QUBO transformations for the 3SAT problem with regards
to the solution quality on D-Wave's Advantage_system4.1. We show that the
choice of QUBO transformation can significantly impact the number of correct
solutions the quantum annealer returns. Furthermore, we show that the size of a
QUBO instance (i.e., the dimension of the QUBO matrix) is not a sufficient
predictor for solution quality, as larger QUBO instances may produce better
results than smaller QUBO instances for the same problem. We also empirically
show that the number of different quadratic values of a QUBO instance, combined
with their range, can significantly impact the solution quality.
