checking for timeout to not rely on individual reasoners