The Del Sol VTEC was another DOHC VTEC civic.
Fastest DOHC VTEC Civic was probably the CRX SiR not sold in the U.S., but it is pretty close between the CRX, EG SiRII and the EK Type-R. I could be wrong.