the run

audit-25d5d40f-3fc8-4b0f-800e-6546b3c11f7e exit status 1

The whole of this run is a release asset

This site holds 0 of the 36 question directories this run wrote; the archive holds every one:

archive
minidev-sqlite-gpt-4-32k.tar.gz
size
2,338,557 bytes
sha256
39bd31d2b9ec4c2b2c7092ddd578f395bb304a14a9cc5e4f7f50f01eb47932c4

What it counted

whathow many
questions audited66
EQUAL25
NOT_EQUAL35
ERROR6
probes fired4
the verdicts of run audit-25d5d40f-3fc8-4b0f-800e-6546b3c11f7e, from summary.json25 EQUAL35 NOT_EQUAL6 ERROR
Of the questions this run audited: 25 EQUAL, 35 NOT_EQUAL, 6 ERROR

the probes

probefired on
ordering-over-numeric-text1
arbitrary-cut3
not-a-function-of-the-data0
float-aggregate-order0
direction-against-question0
how many golds each probe fired on, of 66, from summary.json1 ordering-over-numeric-text3 arbitrary-cut0 not-a-function-of-the-data0 float-aggregate-order0 direction-against-question
Of 66 golds this run read, the probes fired on: ordering-over-numeric-text on 1; arbitrary-cut on 3.

credited by BIRD's own check and NOT_EQUAL here

whathow many
credited by BIRD and NOT_EQUAL here4
multiplicity4
type0
order0
truncation0
other0
the test-suite check answered 10
the test-suite check answered 04

What the run was made of

run
audit-25d5d40f-3fc8-4b0f-800e-6546b3c11f7e
summary format
attestql/audit/summary/2
question file
data/questions/mini_dev_sqlite.json sha256:4ba5fa8de55856222f484d380d2ba872b380bf79d825de70478e2120cb0fc43b | https://bird-bench.oss-cn-beijing.aliyuncs.com/minidev.zip (sha256 cc48ba16838204e4e214512030cb572eeb5f7bcdd999bae4b9b6ff12ec13b92f, downloaded 2026-09-07), member minidev/MINIDEV/mini_dev_sqlite.json, 2024-06-19
questions in the file
500
prediction file
data/preds-sqlite/predict_mini_dev_gpt-4-32k_sqlite.json sha256:7ee53fcc67b9eaca363efb53ddb94dabd61526dafc09d835d832989e4911a1ca | https://raw.githubusercontent.com/bird-bench/mini_dev/b3d4bcbbae9a96934ad812551eb400c7a3b23c12/llm/exp_result/sql_output_kg/predict_mini_dev_gpt-4-32k_sqlite.json, 2024-06-19
statements read
500
keyed by
position
data file
data/minidev/dev_databases/formula_1/formula_1.sqlite sha256:79770caf966707e35516fa566e24b40ae515c74ec1ec4631235245645b87b24d | minidev.zip (sha256 cc48ba16838204e4e214512030cb572eeb5f7bcdd999bae4b9b6ff12ec13b92f), member minidev/MINIDEV/dev_databases, formula_1/formula_1.sqlite, 2024-06-13
server
SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/minidev/dev_databases/formula_1/formula_1.sqlite | size=22360064
database role
file
engine
sqlite
parser
validator audit:sqlglot-sqlite-parse, sqlglot 30.18.0, dialect sqlite
serialization
attestql/audit/2
statement timeout
30 s
fixture digest depth
counts
schema digest
sha256:ebbf75002e22243ac49c5a2445ec90cc64863fb33473b2bec8cd22238acff523
data as of
2026-09-08T05:01:50.212472+00:00 the instant the run started
shuffled copies
prepared
shuffle seed
1
experimental probe
off

The session the run was made in

what the engine reported, 9 settings
sqlite_version
3.53.4
encoding
UTF-8
reverse_unordered_selects
0
query_only
1
journal_mode
delete
data_version
1
compile_options
ATOMIC_INTRINSICS=1,COMPILER=clang-21.0.0,DEFAULT_AUTOVACUUM,DEFAULT_CACHE_SIZE=-2000,DEFAULT_FILE_FORMAT=4,DEFAULT_JOURNAL_SIZE_LIMIT=-1,DEFAULT_MMAP_SIZE=0,DEFAULT_PAGE_SIZE=4096,DEFAULT_PCACHE_INITSZ=20,DEFAULT_RECURSIVE_TRIGGERS,DEFAULT_SECTOR_SIZE=4096,DEFAULT_SYNCHRONOUS=2,DEFAULT_WAL_AUTOCHECKPOINT=1000,DEFAULT_WAL_SYNCHRONOUS=2,DEFAULT_WORKER_THREADS=0,DIRECT_OVERFLOW_READ,ENABLE_API_ARMOR,ENABLE_COLUMN_METADATA,ENABLE_DBSTAT_VTAB,ENABLE_FTS3,ENABLE_FTS3_PARENTHESIS,ENABLE_FTS5,ENABLE_GEOPOLY,ENABLE_MATH_FUNCTIONS,ENABLE_MEMORY_MANAGEMENT,ENABLE_PERCENTILE,ENABLE_PREUPDATE_HOOK,ENABLE_RTREE,ENABLE_SESSION,ENABLE_STAT4,ENABLE_UNLOCK_NOTIFY,MALLOC_SOFT_LIMIT=1024,MAX_ATTACHED=10,MAX_COLUMN=2000,MAX_COMPOUND_SELECT=500,MAX_DEFAULT_PAGE_SIZE=8192,MAX_EXPR_DEPTH=1000,MAX_FUNCTION_ARG=1000,MAX_LENGTH=1000000000,MAX_LIKE_PATTERN_LENGTH=50000,MAX_MMAP_SIZE=0x7fff0000,MAX_PAGE_COUNT=0xfffffffe,MAX_PAGE_SIZE=65536,MAX_SQL_LENGTH=1000000000,MAX_TRIGGER_DEPTH=1000,MAX_VARIABLE_NUMBER=250000,MAX_VDBE_OP=250000000,MAX_WORKER_THREADS=8,MUTEX_PTHREADS,SYSTEM_MALLOC,TEMP_STORE=1,THREADSAFE=1,USE_URI
collation_list
RTRIM,NOCASE,BINARY
case_sensitive_like
0

What the run states about itself

ids the question file states twice
137, 138
prediction positions not compared
487, 488

The questions

question rule verdict class probes what was asked
q861 ERROR prediction: execute: execute: ambiguous column name: number
q880 ERROR prediction: statement: the text does not parse: Expecting ). Line 1, Col: 38. SELECT ((results.fastestLapSpeed WHERE raceId = 853 AND driverId = (SELECT driverId FROM drivers WHERE forename = 'Paul' AND surname = 'di
q909 ERROR prediction: execute: execute: no such column: country
q937 ERROR prediction: execute: execute: ambiguous column name: time
q948 ERROR prediction: execute: execute: no such column: points
q954 ERROR prediction: statement: the text does not parse: Expecting ). Line 1, Col: 36. SELECT (DIVIDE(COUNT(DriverID) WHERE time IS NOT NULL AND year BETWEEN 2007 AND 2009 AND nationality = 'Japanese') / COUNT(DriverID) WHE

A question whose statement could not be run wrote no directory, so it is a row here and has no page: the summary holds the side that stopped, the step it stopped at and the engine's own message.

The JSON this page was rendered from