¿A qué hora cierra el ibex?

Tengo curiosidad por saber cuando deja de cotizar el IBEX 35.
Estoy en varias plataformas de trader y sobre las 18h dejan de cotizar.. pero estoy en una que a esta hora 20_07 todavía puedes comprar y vender...

un saludo

El índice Ibex 35 mueve su precio desde las 9:00 horas y las 17:35 hora peninsular.
Los futuros Ibex 35 se negocian desde las 9:00 horas y las 20:00 hora peninsular.
https://www.rankia.com/blog/operativa-con-futuros/2243099-cual-horario-mercado-futuros

Gracias..