Nə zaman reasoning modelləri və test vaxtı hesablamalar əsaslandırılıb, və nə zaman bu artıqdır?