Recycle connections every hour to prevent timeouts from MySQL
Merge branch 'master' into satcompetition2014
Add requirements file
Move SC13 scripts
Move scripts
SC14 scripts
Adapt to WTForm library changes
Additional field for UNSAT parameters
Change submission form layout
Show error message instead of 404 when activation link is outdated
Fix redirect
Submission form
Solver descriptions are PDFs now
Solver descriptions are ZIPs
Update form
Show penalized time in results CSV
Merge branch 'master' into satcompetition2014
Add script for certified UNSAT statistics