Prerequisitos:

Virtualbox
Imagen OVA descargada de aquí: ​http://152.67.53.179/boca/download.php

Instalación:

Seleccionar importar en el menú Archivo o File:

Buscar la ruta de la imagen y seleccionar Siguiente o Next:

Configurar los parámetros necesarios, pero se recomienda mantener valores por defecto, y
luego seleccionar Importar o Import:
Esperar a que termine el proceso y debería aparecer en el listado de máquinas virtuales:

Para iniciar, darle doble click, o seleccionarla y darle en el botón de la parte superior de
Iniciar o Start.
Una vez iniciado, se debería poder entrar con estas credenciales:
Usuario: icpc
Contraseña: icpc