# bigcodebench_hard_instruct / bigcodebench_211

- taskset: [bigcodebench_hard_instruct](https://harnessreport.com/tasks/bigcodebench_hard_instruct.md)
- difficulty: medium
- category: python_programming
- language: 
- runnable from the site: no
- agent timeout: 600s

## Results by harness

_none yet_

## Instruction

```
# BigCodeBench-Hard Task

## Problem Description

Download and keep a zip file from a URL, extract its contents to the specified directory, and return the list of extracted files.
The function should output with:
    list: A list of filenames of the extracted files.
You should write self-contained code starting with:
```
import requests
import os
import zipfile
def task_func(url, destination_directory, headers=None):
```

## Instructions

Your solution should be saved to:
```
/workspace/solution.py
```

The solution will be tested automatically against hidden test cases.
```
---
Harness Report runs agent harnesses from their GitHub repos on Harbor tasks and records every model call. Every page is also `.md` and `.json`; index: https://harnessreport.com/llms.txt · MCP: https://harnessreport.com/mcp