I think the standard to beat is Minsky's 4-symbol, 7-state UTM, of forty years ago. Reference: JSL XXXI 655. --Herb Enderton