{
    // See https://go.microsoft.com/fwlink/?LinkId=733558
    // for the documentation about the tasks.json format
    "version": "2.0.0",
    "tasks": [
        {
            "label": "Timing benchmark",
            "type": "process",
            "command": "python",
            "args": [
                "-m",
                "benchmark.timing"
            ]
        },
        {
            "label": "Unsolved benchmark",
            "type": "process",
            "command": "python",
            "args": [
                "-m",
                "benchmark.unsolved"
            ],
        }
    ]
}