{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"bigcodebench","formal_name":"BigCodeBench","introduction":"BigCodeBench poses 1,140 function-level tasks drawn across 139 libraries. It tests whether a model can compose several real APIs correctly rather than write one self-contained function.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://bigcode-bench.github.io/","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":"6d02fc86-305f-50ff-904e-8db06e07005c","task_key":"default--v0~2e1~2e0~5fhf--6d02fc86-305f-50ff-904e-8db06e07005c","task_revision_id":"1","upstream_id":"","short_description":"BigCodeBench v0.1.0_hf 6d02fc86-305f-50ff-904e-8db06e07005c","config":"default","split":"v0.1.0_hf","body":"{\"code_prompt\":\"import pytz\\nfrom dateutil.parser import parse\\n# Constants\\nTIME_FORMAT = \\\"%d/%m/%y %H:%M:%S.%f\\\"\\ndef task_func(time_string, from_tz, to_tz):\\n\",\"complete_prompt\":\"import pytz\\nfrom dateutil.parser import parse\\n\\n# Constants\\nTIME_FORMAT = \\\"%d/%m/%y %H:%M:%S.%f\\\"\\n\\n\\ndef task_func(time_string, from_tz, to_tz):\\n    \\\"\\\"\\\"\\n    Converts a time string from one timezone to another, considering various cases such as daylight saving time.\\n\\n    Parameters:\\n    - time_string (str): A time string in the format 'dd/mm/yy HH:MM:SS.fff'. This string should represent a valid date and time.\\n    - from_tz (str): The timezone of the given time string. The timezone should be a valid IANA timezone name (e.g., 'UTC', 'America/New_York').\\n    - to_tz (str): The target timezone to which the time string should be converted. This should also be a valid IANA timezone name (e.g., 'Asia/Tokyo').\\n\\n    Returns:\\n    - str: The converted time string in the format 'dd/mm/yy HH:MM:SS.fff'. The conversion takes into account any differences in daylight saving rules between the source and target timezones.\\n\\n    Requirements:\\n    - pytz\\n    - dateutil\\n\\n    Example:\\n    >>> task_func('30/03/09 16:31:32.123', 'UTC', 'America/New_York')\\n    '30/03/09 12:31:32.123000'\\n\\n    Note: The example assumes no daylight saving time shift between the given timezones at the specified date and time.\\n    \\\"\\\"\\\"\\n\",\"entry_point\":\"task_func\",\"instruct_prompt\":\"Converts a time string from one timezone to another, considering various cases such as daylight saving time.\\nNote that: The example assumes no daylight saving time shift between the given timezones at the specified date and time.\\nThe function should output with:\\n    str: The converted time string in the format 'dd/mm/yy HH:MM:SS.fff'. The conversion takes into account any differences in daylight saving rules between the source and target timezones.\\nYou should write self-contained code starting with:\\n```\\nimport pytz\\nfrom dateutil.parser import parse\\n# Constants\\nTIME_FORMAT = \\\"%d/%m/%y %H:%M:%S.%f\\\"\\ndef task_func(time_string, from_tz, to_tz):\\n```\",\"libs\":\"['pytz', 'dateutil']\"}","display_format":"code","language":"","answer_status":"published","assets":[],"source_url":"https://bigcode-bench.github.io/","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}