the run

audit-a9fc8296-fc59-4760-a04f-d45621b64d4d exit status 1

The whole of this run is a release asset

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

archive
minidev-sqlite-mistralai-mixtral-8x7b-instru-4.tar.gz
size
1,075,349 bytes
sha256
7f34c38f4a2fbc7c9cfd7720ee1dcc8af8c27748e47e2bdd6ebe556f7e3703ea

What it counted

whathow many
questions audited66
ERROR27
NOT_EQUAL27
EQUAL12
probes fired2
the verdicts of run audit-a9fc8296-fc59-4760-a04f-d45621b64d4d, from summary.json27 ERROR27 NOT_EQUAL12 EQUAL
Of the questions this run audited: 27 ERROR, 27 NOT_EQUAL, 12 EQUAL

the probes

probefired on
ordering-over-numeric-text1
arbitrary-cut1
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-text1 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 1.

credited by BIRD's own check and NOT_EQUAL here

whathow many
credited by BIRD and NOT_EQUAL here2
multiplicity2
type0
order0
truncation0
other0
the test-suite check answered 10
the test-suite check answered 02

What the run was made of

run
audit-a9fc8296-fc59-4760-a04f-d45621b64d4d
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_mistralai-mixtral-8x7b-instru-4_sqlite.json sha256:53cdf9142e3f2e49941eb7b50ebbea90361b2c5b46de37d5ba1c244187d643a2 | https://raw.githubusercontent.com/bird-bench/mini_dev/b3d4bcbbae9a96934ad812551eb400c7a3b23c12/llm/exp_result/sql_output_kg/predict_mini_dev_mistralai-mixtral-8x7b-instru-4_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:04:56.081883+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
q846 ERROR prediction: execute: execute: no such column: driverRef
q850 ERROR prediction: statement: the text does not parse: Error tokenizing ' circuits.circuitId WHERE country = 'Germany'; ``'
q880 ERROR prediction: execute: execute: incomplete input
q895 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 11, Col: 130. es the average lap time for Lewis Hamilton in the 2009 Malaysian Grand Prix by joining the `lapTimes` and `drivers` tables, filtering for the specific driver and race, and then calculating the average of the
q896 ERROR prediction: statement: the text does not parse: Expecting ). Line 4, Col: 4. SELECT DIVIDE( COUNT(r.raceId) FROM results r JOIN drivers d ON r.driverId = d.driverId WHERE d.surname = 'Hamilton' AND r.position > 1
q898 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 6, Col: 14. ' ' || surname as name FROM drivers WHERE nationality = 'Japanese' GROUP BY nationality; This SQL query calculates the minimum age of Japanese drivers by subtracting their year of birth from the current
q902 ERROR prediction: statement: the text does not parse: Error tokenizing 'd by looking at the round, year, and date columns'
q904 ERROR prediction: execute: execute: no such column: r.year
q906 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 1, Col: 58. SELECT r.year, r.name, r.date, r.time, cr.name as circuit\_name, res.points FROM results res JOIN races r ON res.raceId = r.raceId JOIN drivers d ON res.drive
q909 ERROR prediction: execute: execute: incomplete input
q915 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 6, Col: 116. SELECT nationality FROM drivers WHERE dob = (SELECT min(dob) FROM drivers) ``` This SQL query will return the nationality of the oldest driver. It first finds the minimum date of birth from the `drivers` table, and then returns the nationality of the driver who has this minimum date of birth. `
q928 ERROR prediction: execute: execute: no such column: driverRef
q930 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 2, Col: 27. SELECT r.name, MIN(ranks.rank) AS highest\_rank FROM results AS ranks JOIN drivers ON ranks.driverId = drivers.driverId JOIN races r ON ranks.
q940 ERROR prediction: statement: the text does not parse: Error tokenizing ' = 'Chinese Grand Prix' AND r.time IS NOT NULL; ``'
q945 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 5, Col: 14. SELECT COUNT(*) FROM circuits WHERE location = 'Melbourne' AND country = 'Australia'; This SQL query will return the number of circuits in Melbourne, Australia. However, based on the provided external
q948 ERROR prediction: execute: execute: no such column: nationality
q954 ERROR prediction: execute: execute: incomplete input
q962 ERROR prediction: statement: the text does not parse: Expecting ). Line 5, Col: 39. s.driverId) / ( SELECT COUNT(driverId) FROM drivers WHERE year(dob) BETWEEN 2000 AND 2
q967 ERROR prediction: statement: 2 statements in one text; an audit runs one
q971 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 11, Col: 14. driverRef FROM drivers d WHERE d.nationality = 'German' GROUP BY d.driverRef; This SQL query will return the driverRef of the oldest German driver, by finding the minimum value of the dob (dat
q972 ERROR prediction: execute: execute: ambiguous column name: driverId
q978 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 8, Col: 14. rcuits.country = 'Austria' GROUP BY circuits.circuitId ORDER BY COUNT(races.raceId) DESC; This SQL query will return the location, latitude, and longitude of the circuits in Austria, along with the number
q981 ERROR prediction: execute: execute: no such column: r.date
q989 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 7, Col: 14. raceId FROM races WHERE name = 'Canadian Grand Prix' AND year = 2008) AND R.position = 1; This SQL query will return the driverId, forename, surname, and finish time of the champion of the Canadian Grand
q994 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 2, Col: 33. SELECT SUM(results.points) AS total\_points, constructors.name,
q1001 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 1, Col: 42. SELECT forename || ' ' || surname AS full\_name FROM drivers JOIN qualifying ON drivers.driverId = qualifying.driverId WHERE raceId = ( SE
q1002 ERROR prediction: execute: execute: no such column: r.name

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