Estimating the difficulty of Tartarus instances