SYNTCOMP will be a part of the FLoC’14 Olympic Games. The winners in the competition categories will be awarded Kurt Goedel medals (in silver) at the FLoC Olympic Games award ceremonies. Details to be announced.