Submit to the Configurable SAT Solver Challenge 2013

Please use this form to make a submission to the CSSC. You can use it to submit both solvers and benchmark distributions. (If you'd like to submit in both categories, please fill out the form twice.) We ask that you make your submission in the form of a web-accessible zip file. We'll confirm by email once we've downloaded it.
    This is a required question
    This is a required question
    This is a required question
    This is a required question
    This is a required question
Request edit access