We have moved!
Our new web portal is at potassco.org.ASP Competition 2014
| clasp | 1st | Overall, Basic Track, Optimization Track, Unrestricted Track |
| 2nd | Advanced Track | |
| clasp (mt) | 1st | Multi Processor Track |
Configurable SAT Solver Challenge 2014
| clasp | 1st | Crafted SAT+UNSAT, Random SAT+UNSAT |
| 3rd | Industrial SAT+UNSAT |
Max-SAT Evaluation 2014
| clasp | 2nd | Unweighted Max-SAT - Industrial |
ASP Competition 2013
| Potassco | 1st | Model and Solve Track |
| gringo 3 + claspD | 1st | System Track |
| gringo 4 + claspD | 2nd | System Track |
| gringo 4 + claspfolio | 3rd | System Track |
| gringo 3 + claspD (mt) | 1st | System Track for parallel systems |
| gringo 4 + claspfolio (mt) | 2nd | System Track for parallel systems |
| gringo 3 + clasp (mt) | 3rd | System Track for parallel systems |
Configurable SAT Solver Challenge 2013
| clasp | 1st | Crafted Track |
| 1st | Random Track |
MISC 2012 CUDF Solver Competition
| aspuncud (unclasp) | 1st | Paranoid, Basic User, Full User |
| aspcud (clasp) | 2nd | Paranoid, Basic User, Full User |
PB Competition 2012
| clasp | 1st | PBS/PBO DEC-SMALLINT-LIN (SAT), WBO PARTIAL-SMALLINT-LIN (UNSAT), WBO SOFT-SMALLINT-LIN (UNSAT) |
| 2nd | WBO PARTIAL-SMALLINT-LIN (OPT+UNSAT, OPT) | |
| 3rd | PBS/PBO DEC-SMALLINT-LIN (SAT+UNSAT), WBO SOFT-SMALLINT-LIN (OPT+UNSAT, OPT) |
SAT Challenge 2012
| clasp-crafted | 1st | Main Track (Hard Combinatorial SAT+UNSAT) |
ASP Competition 2011
| clasp | 1st | System Track (P Problems), Model + Solve (Overall, P, NP, Beyond NP, Optimization) |
| 2nd | System Track (NP Problems) | |
| 3rd | System Track (Overall) | |
| claspD | 1st | System Track (Overall, Beyond NP) |
| 3rd | System Track (P) | |
| aclasp | 2nd | Model + Solve (Optimization) |
| 3rd | Model + Solve (Overall, P, Optimization) | |
| claspfolio | 1st | System Track (NP Problems) |
| 2nd | System Track (Overall, P) |
SAT 2011 Competition
| clasp | 1st | CPU Time Crafted UNSAT |
| 2nd | WC Time Crafted UNSAT | |
| clasp (multi-threaded) | 1st | WC Time Crafted UNSAT |
| 2nd | WC Time Crafted SAT+UNSAT |
PB Competition 2011
| clasp | 1st | WBO PARTIAL-SMALLINT-LIN (OPT+UNSAT, OPT, UNSAT), WBO SOFT-SMALLINT-LIN (OPT+UNSAT, OPT) |
| 3rd | PBS/PBO OPT-SMALLINT-LIN (UNSAT), PBS/PBO OPT-SMALLINT-NLC (OPT+UNSAT, OPT), WBO SOFT-SMALLINT-LIN (UNSAT) |
MISC 2011 CUDF Solver Competion
| aspuncud (unclasp) | 1st | Paranoid, Trendy |
| 2nd | Total User | |
| aspcud (clasp) | 3rd | Paranoid |
CADE ATP System Competition 2011
| fimo (iClingo) | 2nd | FNT |
| Best Newcomer award |
ASP Competition 2009
| Potassco | 1st | Global, Decision (P, NP), Optimization |
| (clasp, claspd, iClingo, clingcon, bingo) | ||
| claspfolio | 2nd | Global, Decision (NP), Optimization |
SAT Competition 2009
| clasp | 1st | Crafted (SAT+UNSAT, SAT) |
| 2nd | Crafted (UNSAT) |
PB Evaluation 2009
| pbclasp (clasp) | 1st | OPT-SMALLINT-LIN (UNSAT) |
| 3rd | DEC-SMALLINT-NLC (SAT+UNSAT), OPT-SMALLINT-NLC (OPT+UNSAT, OPT) |
ASP System Competition 2007
| clasp | 1st | SCore, SLparse |
| 3rd | MGS |
PB Evaluation 2007
| PB-clasp (clasp) | 1st | PURE-SAT |
