[SMT-LIB] SMTCOMP'12

cok at frontiernet.net cok at frontiernet.net
Tue Jun 26 05:33:01 EDT 2012


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


More information about the SMT-LIB mailing list