We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won three gold medals in CTL and LTL model checking and we regained the gold medal also in the reachability category this year. Moreover, we won two silver medals in upper-bounds and in global properties. The detailed results can be found here: https://mcc.lip6.fr/results.php.