crt_emudriver can be set up to deliver either 15kHz or 25kHz pretty much equally well. However, it's best to display games at native res. Most 80's arcade games were 15kHz.
25kHz is medium res, which apart from Sega Model 2 and Model 3 games is pretty obscure.