Reynolds, 2021. Fair and Adventurous Enumeration of Quantifier Instantiations.