Trophies
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 (clasp, claspd, iclingo, clingcon, bingo) |
1st | Global, Decision (P, NP), Optimization |
| 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
| pbclasp (clasp) |
1st | PURE-SAT |