Also remove tref when time limit exceeded