{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"mmlu","formal_name":"MMLU","introduction":"MMLU asks four-way multiple-choice questions across 57 subjects, from elementary material to professional-level examinations. Since 2020 it has been the most widely cited single reference point for general capability.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://github.com/hendrycks/test","indexing_mode":"index","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[],"history":"","construction":"","limitations":"","saturation":"","scores":[]}},"task_id":"536a9d99-c593-52cd-a35c-c4f1effe5d66","task_key":"all--test--536a9d99-c593-52cd-a35c-c4f1effe5d66","task_revision_id":"1","upstream_id":"","short_description":"What does EXE do when the STP solver times out on a constraint query for a…","config":"all","split":"test","body":"{\"choices\":\"['Assume that the query is satisfiable and continue executing the path.', 'Assume that the query is not satisfiable and stop executing the path', 'Restart STP and retry the query, up to a limited number of retries.', 'Remove a subset of the constraints and retry the query.']\",\"question\":\"What does EXE do when the STP solver times out on a constraint query for a particular path?\",\"subject\":\"computer_security\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://github.com/hendrycks/test","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}