Seems like modern top-line racing cars do 30-45 minutes between pit stops across formats and styles. 20 minutes is within a factor of two. For a prototype that's pretty solid, and I take it as a message that the technology is approaching parity.

Source: https://en.wikipedia.org/wiki/Pit_stop#Frequency