SAT Competition 2013 Version

EDACC Web Frontend version for the SAT Competition 2013 (http://www.satcompetition.org/2013/), running at http://edacc4.informatik.uni-ulm.de/SC13/