Proceedings of SAT COMPETITION 2014 Solver and Benchmark Descriptions Anton Belov, Daniel Diepold, Marijn J.H. Heule, and Matti Järvisalo (editors) University of Helsinki…