ID Name Date Solvers Instances Jobs AAC Exp. Status
18 Sequential, Application SAT track 20.05.2014
19 Sequential, Application certified UNSAT track 20.05.2014
20 Sequential, Application SAT+UNSAT track 20.05.2014
21 Sequential, Hard-combinatorial SAT track 20.05.2014
22 Sequential, Hard-combinatorial certified UNSAT track 20.05.2014
23 Sequential, Hard-combinatorial SAT+UNSAT track 20.05.2014
24 Sequential, Random SAT track 20.05.2014
27 Parallel, Application SAT+UNSAT track 20.05.2014
28 Parallel, Hard-combinatorial SAT+UNSAT track 20.05.2014
29 Parallel, Random SAT track 20.05.2014
30 Sequential, MiniSAT Hack-track, Application SAT+UNSAT track 20.05.2014