The TAA team WeGotYouCovered won the PACE Implementation Challenge 2019 [1] which was about solving the vertex cover problem to optimality. Overall, there have been more than 20 competing submissions for this track.
[1] https://pacechallenge.org/2019/
