lianghsun/bird-text2sql-bench huggingface dataset:
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
What is the average processed time of the solution paths inside the "https://github.com/zphingphong/DiscardCustomerApp.git"?

### Hint
average processed time = avg(Solution.ProcessedTime);

### SQL
SELECT CAST(SUM(T2.ProcessedTime) AS REAL) / COUNT(T2.RepoId) FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId WHERE T1.Url = 'https://github.com/zphingphong/DiscardCustomerApp.git'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
What is the full comment on the method whose solution path is "bmatzelle_nini\Source\Nini.sln" with a tokenized name of "alias text add alias"?

### SQL
SELECT T2.FullComment FROM Solution AS T1 INNER JOIN Method AS T2 ON T1.Id = T2.SolutionId WHERE T1.Path = 'bmatzelle_niniSourceNini.sln' AND T2.NameTokenized = 'alias text add alias'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
What is the linearized sequenced of API calls of the method whose solution path is "mauriciodeamorim_tdd.encontro2\Tdd.Encontro2.sln"?

### Hint
linearized sequenced of API calls refers to ApiCalls;

### SQL
SELECT T2.ApiCalls FROM Solution AS T1 INNER JOIN Method AS T2 ON T1.Id = T2.SolutionId WHERE T1.Path = 'mauriciodeamorim_tdd.encontro2Tdd.Encontro2.sln'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
How many solution paths that needs to be compiled if user wants to implement it in "https://github.com/jeffdik/tachy.git"?

### Hint
needs to be compiled if user wants to implement refers to WasCompiled = 0; https://github.com/jeffdik/tachy.git is url of repository

### SQL
SELECT COUNT(T2.Path) FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId WHERE T1.Url = 'https://github.com/jeffdik/tachy.git' AND T2.WasCompiled = 0
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
How much is the processed time of the method whose tokenized name is "about box1 dispose"? Indicate the language of the method.

### Hint
language refers to Lang;

### SQL
SELECT DISTINCT T1.ProcessedTime, T2.Lang FROM Solution AS T1 INNER JOIN Method AS T2 ON T1.Id = T2.SolutionId WHERE T2.NameTokenized = 'about box1 dispose'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
In "maxild_playground\Playground.sln", what is the time of sampling for the method "GitHubRepo.Cli.GitHubClientWrapper.GetReleases"?

### Hint
the time of sampling refers to SampledAt; 'maxild_playground\Playground.sln' is the path of a solution

### SQL
SELECT T2.SampledAt FROM Solution AS T1 INNER JOIN Method AS T2 ON T1.Id = T2.SolutionId WHERE T1.Path = 'maxild_playgroundPlayground.sln' AND T2.Name = 'GitHubRepo.Cli.GitHubClientWrapper.GetReleases'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
What is the language of the method used in the solution path "opendns_diagnosticapp\windows\OpenDnsDiagnostic.sln"?

### Hint
language refers to Lang;

### SQL
SELECT T2.Lang FROM Solution AS T1 INNER JOIN Method AS T2 ON T1.Id = T2.SolutionId WHERE T1.Path = 'opendns_diagnosticappwindowsOpenDnsDiagnostic.sln'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
What's the task of the method whose tokenized name is "html parser feed"?

### Hint
tokenized name refers to NameTokenized; task of the method refers to the second part of name deliminated by "."; for example, the task of 'LinqToDelicious.HttpWebRequestFactory.Create' is 'HttpWebRequestFactory'

### SQL
SELECT SUBSTR(SUBSTR(Name, INSTR(Name, '.') + 1), 1, INSTR(SUBSTR(Name, INSTR(Name, '.') + 1), '.') - 1) task FROM Method WHERE NameTokenized = 'html parser feed'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
Are the comments for the method "HtmlSharp.HtmlParser.Feed" in XML format?

### Hint
the comment for this method is not XML refers to CommentsXML = 0; the comments for this method is XML refers to CommentsXML = 1

### SQL
SELECT CASE WHEN CommentIsXml = 0 THEN 'No' WHEN CommentIsXml = 1 THEN 'Yes' END isXMLFormat FROM Method WHERE Name = 'HtmlSharp.HtmlParser.Feed'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
Which method has the summary "Write a command to the log"?

### SQL
SELECT Name FROM Method WHERE Summary = 'Write a command to the log'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
How many solutions contain files found within the repository most people like?

### Hint
more stars mean more people like this repository; most people like refers to max(Stars);

### SQL
SELECT COUNT(T2.RepoId) FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId WHERE T1.Stars = ( SELECT MAX(Stars) FROM Repo )
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
Please list the path of the solution that contains files found within the repository most people like.

### Hint
more stars mean more people like this repository; most people like refers to max(Stars);

### SQL
SELECT DISTINCT T2.Path FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId WHERE T1.Stars = ( SELECT MAX(Stars) FROM Repo )
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
What is the github address of the repository that contains files used by solution ID12?

### Hint
github address refers to Url;

### SQL
SELECT T1.Url FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId WHERE T2.Id = 12
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
Among the solutions that contain files within the repository followed by over 1000 people, how many of them can be
implemented without needs of compilation?

### Hint
followed by over 1000 people refers to Forks >1000; can be
implemented without needs of compilation refers to WasCompiled = 1;

### SQL
SELECT COUNT(T2.RepoId) FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId WHERE T1.Forks > 1000 AND T2.WasCompiled = 1
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
Which solution contains files within a more popular repository, the solution ID18 or solution ID19?

### Hint
more watchers mean that this repository is more popular;

### SQL
SELECT CASE WHEN SUM(CASE WHEN T2.Id = 18 THEN T1.Watchers ELSE 0 END) > SUM(CASE WHEN T2.Id = 19 THEN T1.Watchers ELSE 0 END) THEN 'SolutionID18' WHEN SUM(CASE WHEN T2.Id = 18 THEN T1.Watchers ELSE 0 END) < SUM(CASE WHEN T2.Id = 19 THEN T1.Watchers ELSE 0 END) THEN 'SolutionID19' END isMorePopular FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
Among the solutions that contain files within the repository needing the longest processed time to download, how many of them doesn't need to be
compiled if user wants to implement it?

### Hint
longest processed time refers to max(Solution.ProcessedTime); needs to be compiled if user wants to implement it refers to WasCompiled = 0；

### SQL
SELECT COUNT(T2.RepoId) FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId WHERE T1.ProcessedTime = ( SELECT MAX(ProcessedTime) FROM Repo ) AND T2.WasCompiled = 1
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
What is the processed time to download the repository whose files are contained in the solution with the path "jeffdik_tachy\src\Tachy.sln".

### SQL
SELECT DISTINCT T2.ProcessedTime FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId WHERE T2.Path = 'jeffdik_tachysrcTachy.sln'
### Database Schema
CREATE TABLE sqlite_sequence(name,seq)

CREATE TABLE "Method"
(
    Id            INTEGER not null
        primary key autoincrement,
    Name          TEXT,
    FullComment   TEXT,
    Summary       TEXT,
    ApiCalls      TEXT,
    CommentIsXml  INTEGER,
    SampledAt     INTEGER,
    SolutionId    INTEGER,
    Lang          TEXT,
    NameTokenized TEXT
)

CREATE TABLE "MethodParameter"
(
    Id       INTEGER not null
        primary key autoincrement,
    MethodId TEXT,
    Type     TEXT,
    Name     TEXT
)

CREATE TABLE Repo
(
    Id            INTEGER not null
        primary key autoincrement,
    Url           TEXT,
    Stars         INTEGER,
    Forks         INTEGER,
    Watchers      INTEGER,
    ProcessedTime INTEGER
)

CREATE TABLE Solution
(
    Id            INTEGER not null
        primary key autoincrement,
    RepoId        INTEGER,
    Path          TEXT,
    ProcessedTime INTEGER,
    WasCompiled   INTEGER
)

### Question
Please give the url of the repository whose files are contained in solution ID 9?

### SQL
SELECT T1.Url FROM Repo AS T1 INNER JOIN Solution AS T2 ON T1.Id = T2.RepoId WHERE T2.Id = 9