An empirical perspective on ten years of QBF solving