• Woodstock won the General Game Playing 2016 international competition.
  • CoQuiAAS got the first place of the first International Competition on Computational Models of Argumentation (ICCMA).
  • Ppfolio got 16 medals during the SAT’11 competition.
  • Glucose got 9 medals (4 gold medals, 3 silver medals and 2 bronze medals) during solvers international competitions SAT’09, SAT’11 and SAT’13
  • ManySat:
    • one silver medal and one bronze medal got at the Sat Race 2010,
    • received a Special Jury Award in competition SAT 2009,
    • winner of the Sat Race 2008 in the parallel search track.
  • LySat got 2 bronze medals at SAT'09 international competition
  • The solver PENELOPE was ranked second in category "applications - UNSAT instances and second in category "applications - SAT+UNSAT instances" at SAT’09.
  • PRESAT was designated as the best solver (qualifiers) and sixth during the finals, "sequential track", of SAT-Race’08.
  • Abscon 109 was ranked first in category "non-binary extension constraints", second in categories "non-binary intension constraints" and "global constraints", and third in category "binary intension constraints". Most robust solver of CSP'06 internation competition (the one that solved the most instances).
  • ValCSP was ranked first in category "binary extension constraints" in competition CSP’06.