We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won two gold medals in CTL and LTL model checking, two silver medals in upper-bounds and reachability and one bronz medal in global properties. We are particularly pround of the gold medal in the LTL model checking as this was the first time TAPAAL participated in this category.The detailed results can be found here: https://mcc.lip6.fr/results.php.