@Inproceedings{EPTCS240.2, author = {Healy, Andrew and Monahan, Rosemary and Power, James F.}, year = {2017}, title = {Predicting SMT Solver Performance for Software Verification}, editor = {Dubois, Catherine and Masci, Paolo and M\'ery, Dominique}, booktitle = {{\rm Proceedings of the Third Workshop on} Formal Integrated Development Environment, {\rm Limassol, Cyprus, November 8, 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {240}, publisher = {Open Publishing Association}, pages = {20-37}, doi = {10.4204/EPTCS.240.2}, }