Teams at OpenEXA