ID Name Date Solvers Instances Jobs AAC Exp. Status
17 Core solvers, Sequential, Application SAT 29.05.2013
18 Core solvers, Sequential, Application certified UNSAT 29.05.2013
19 Core solvers, Sequential, Application SAT+UNSAT 29.05.2013
20 Core solvers, Sequential, Hard-combinatorial SAT 29.05.2013
21 Core solvers, Sequential, Hard-combinatorial certified UNSAT 29.05.2013
22 Core solvers, Sequential, Hard-combinatorial SAT+UNSAT 29.05.2013
23 Core solvers, Sequential, Random SAT 29.05.2013
24 Core solvers, Sequential, Random certified UNSAT 29.05.2013
25 Core solvers, Sequential, Random SAT+UNSAT 29.05.2013
26 Core Solvers, Parallel, Application SAT+UNSAT 29.05.2013
27 Core Solvers, Parallel, Hard-combinatorial SAT+UNSAT 29.05.2013
29 Open track 29.05.2013
30 Core solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT 29.05.2013