I was also surprised to not find any benchmark for RTL in the model card. Wonder how it would score on - say, CVDP