|
| SAT 2007 competition |
 |
|
|
|
|
Gold medal for the satisfiable crafted category by march_ks
Gold medal for the unsatisfiable random category by march_ks
Silver medal for the all (SAT+UNSAT) random category by march_ks
|
|
|
| SAT 2005 competition |
|
|
|
|
|
Silver medal for the satisfiable crafted category by march_dl
Bronze medal for the unsatisfiable crafted category by march_dl
Bronze medal for the all (SAT+UNSAT) crafted category by march_dl
Silver medal for the unsatisfiable random category by march_dl
Silver medal for the all (SAT+UNSAT) random category by march_dl
|
|
|
| SAT 2004 competition |
|
|
|
|
|
Winner of the unsatisfiable crafted category by march_eq
Winner of the all (SAT+UNSAT) crafted category by march_eq
|
|
|
|
|
Awards
