TIMATI and GIBDD