Skip to content

Two dev gold queries exceed the default --meta_time_out 30.0: dev has a hard ceiling of 0.9987 and the ceiling depends on the grader's hardware #43

Description

@christian-gheorghe

evaluation_ex.py scores a timed-out query as incorrect. Two dev gold queries cannot finish in 30 s on the shipped SQLite databases (measured on an M1 Pro laptop):

question_id database gold runtime difficulty
701 codebase_community ~192 s challenging
518 card_games ~39 s moderate

Consequence: submitting dev.json's own SQL as the prediction scores 1532/1534 = 0.9987, not 1.0. Both queries execute correctly and deterministically without the timeout — this is a budget problem, not bad SQL. Because the limit is wall-clock, the maximum reachable dev score varies with the grading machine, which makes entrants' dev numbers not strictly comparable.

Suggested fix: either exempt gold from the timeout when it is the gold that is slow, raise the default, or document the ceiling. Could you also confirm whether the same two questions breach the timeout in the hidden-test scoring environment?

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions