Per 5è any, com a primera pràctica de l’assignatura de Programació Avançada en Intel·ligència Artificial (PAIA) s’organitza una competició de solvers per resoldre el problema SAT (Satisfactibilitat Booleana). Els alumnes, durant el quadrimestre han de desenvolupar un algorisme per resoldre el problema i just abans del període d’exàmens s’organitza una competició interna, “La Race”, per  determinar quin d’ells és el més ràpid en resoldre’l, i de la classificació final se’n deriva directament la nota de la primera pràctica.

Els tres equips primer equips classificats en l’edició del curs 2016-17 han estat:

1ers classificats: Team Cuñao

(amb un temps total de 158,56 segons)

Membres del grup: Alba Lamas Varela i Humbert Vallés Teixidó

2ns classificats: Team SteveSat

(amb un temps total de 171,07 segons)

Membres del grup: Marcel Porta Vallés i Jordi Ricard Onrubia Palacios

.

3ers classificats: Team DMMTSat

(amb un temps total de 197,94 segons)

Membres del grup: Alexandru Martinas i Kevin Garcia Milan