Synthetic execution traces of the video game Pingus, used for runtime verification. All details regarding the experiments can be found in the paper Automated Bug Finding in...