Quando é que os modelos de raciocínio e o cálculo em tempo de teste são justificados, e quando é que isso é excessivo?