| layout | title | permalink |
|---|---|---|
page |
Trophies |
/trophies/ |
| clasp | 1st | Crafted Track |
| 1st | Random Track |
| aspuncud (unclasp) |
1st | Paranoid, Basic User, Full User |
| aspcud (clasp) |
2nd | Paranoid, Basic User, Full User |
| 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) |
| clasp-crafted | 1st | Main Track (Hard Combinatorial SAT+UNSAT) |
| 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) |
| 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 |
| 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) |
| aspuncud (unclasp) |
1st | Paranoid, Trendy |
| 2nd | Total User | |
| aspcud (clasp) |
3rd | Paranoid |
| fimo (iclingo) |
2nd | FNT |
| Best Newcomer award |
| Potassco (clasp, claspd, iclingo, clingcon, bingo) |
1st | Global, Decision (P, NP), Optimization |
| claspfolio | 2nd | Global, Decision (NP), Optimization |
| clasp | 1st | Crafted (SAT+UNSAT, SAT) |
| 2nd | Crafted (UNSAT) |
| pbclasp (clasp) |
1st | OPT-SMALLINT-LIN (UNSAT) |
| 3rd | DEC-SMALLINT-NLC (SAT+UNSAT), OPT-SMALLINT-NLC (OPT+UNSAT, OPT) |
| clasp | 1st | SCore, SLparse |
| 3rd | MGS |
| pbclasp (clasp) |
1st | PURE-SAT |