Initial commit from SAT competition 2014