ID Name Date Solvers Instances Jobs AAC Exp. Status
18 Application SAT+UNSAT 14.05.2012
19 Random SAT 16.05.2012
20 Parallel Solvers - Application SAT+UNSAT 16.05.2012
21 Hard Combinatorial SAT+UNSAT 23.05.2012
24 Sequential Portfolio Solvers 29.05.2012