The 2012 SMT Competition. - Cok, David R.; Griggio, Alberto; Bruttomesso, Roberto; Deters, Morgan (2012)