The main track of SMTCOMP-12 is now underway. You can watch the results at http://www.smtexec.org/exec/?jobs=1004 . If you are at IJCAR, the results are also displayed on the wall in the room adjacent to the break room. - David