Awards

SMT Competitions

  SMT-COMP 2020 (details)

• entered: 139 divisions
• overall: 212 gold medals , 3 silver medals , 1 bronze medal
• division awards: 198 gold medals (out of 453)
• competition-wide awards:
  • 14 gold medals (out of 20)
  • 3 silver medals (out of 20)
  • 1 bronze medal (out of 20)

  SMT-COMP 2019 (details)

• entered: 146 divisions
• overall: 102 gold medals
• division awards: 89 gold medals (out of 433)
• competition-wide awards:
  • 13 gold medals (out of 18)

  SMT-COMP 2018 (details)

• entered: 153 divisions
• overall: 48 gold medals
• division awards: 46 gold medals (out of 255)
• competition-wide awards:
  • 1 gold medal (out of 1)
• FLOC Olympic Games: 1 gold medal

  SMT-COMP 2017 (details)

• entered: 57 divisions
• overall: 41 gold medals
• division awards: 39 gold medals (out of 107)
• competition-wide awards:
  • 2 gold medals (out of 2)

  SMT-COMP 2016 (details)

• entered: 58 divisions
• overall: 25 gold medals
• division awards: 23 gold medals (out of 83)
• competition-wide awards:
  • 2 gold medals (out of 2)

  SMT-COMP 2015 (details)

• entered: 42 divisions
• overall: 68 gold medals
• division awards: 64 gold medals (out of 124)
• competition-wide awards:
  • 4 gold medals (out of 4)

  SMT-COMP 2014 (details)

• entered: 42 divisions
• overall: 16 gold medals
• division awards: 16 gold medals (out of 42)

SyGuS Competitions

• no SyGus-COMP in 2020
• SyGuS-COMP 2019:  4 gold medals (details)
• SyGuS-COMP 2018:  4 gold medals (details)
• SyGuS-COMP 2017:  3 gold medals (details)
• SyGuS-COMP 2016:  1 gold medal (details)
• SyGuS-COMP 2015:  2 gold medals (details)

CASC Competitions

• CASC 25 (2015):  1 gold medal (details)
• CASC J7 (2014):  1 gold medal (details)
• CASC 24 (2013):  1 bronze medal (details)