Actually TIC-80 not run at full speed on Raspberry Pi 3, only 16/18FPS on RetroPie (based on Raspbian Jessie), on Pi 2 only 1-2FPS
Just used the perfomance_monitor cartridge for testing. you can read about this in this issue
Just used the perfomance_monitor cartridge for testing. you can read about this in this issue