the run

audit-2de2a0e6-5baf-4c67-9c77-dabd5ac35670 exit status 1

The whole of this run is a release asset

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

archive
minidev-sqlite-mistralai-mixtral-8x7b-instru-4.tar.gz
size
1,132,352 bytes
sha256
04c3064b0256e3699c616da431fd7e205efbf369bd8c2a3cf5882504cd719b51

What it counted

whathow many
questions audited30
EQUAL5
ERROR11
NOT_EQUAL14
probes fired2
the verdicts of run audit-2de2a0e6-5baf-4c67-9c77-dabd5ac35670, from summary.json5 EQUAL11 ERROR14 NOT_EQUAL
Of the questions this run audited: 5 EQUAL, 11 ERROR, 14 NOT_EQUAL

the probes

probefired on
ordering-over-numeric-text0
arbitrary-cut0
not-a-function-of-the-data0
float-aggregate-order0
duplicate-full-row2
direction-against-question0
how many golds each probe fired on, of 30, from summary.json0 ordering-over-numeric-text0 arbitrary-cut0 not-a-function-of-the-data0 float-aggregate-order2 duplicate-full-row0 direction-against-question
Of 30 golds this run read, the probes fired on: duplicate-full-row on 2.

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-2de2a0e6-5baf-4c67-9c77-dabd5ac35670
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/debit_card_specializing/debit_card_specializing.sqlite sha256:b3d149ad05746dbbe5116e229e17e18f09c39db43cf117d9ef3441753608b691 | minidev.zip (sha256 cc48ba16838204e4e214512030cb572eeb5f7bcdd999bae4b9b6ff12ec13b92f), member minidev/MINIDEV/dev_databases, debit_card_specializing/debit_card_specializing.sqlite, 2024-06-13
server
SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/minidev/dev_databases/debit_card_specializing/debit_card_specializing.sqlite | size=34635776
database role
file
engine
sqlite
parser
validator audit:sqlglot-sqlite-parse, sqlglot 30.18.0, dialect sqlite
serialization
attestql/audit/4
statement timeout
30 s
fixture digest depth
counts
schema digest
sha256:2131b6310cf40e1cc434bfe0408cde4b5b6dfac61f5767ff8b67293a07027579
data as of
2026-09-14T07:42:02.309283+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, 10 settings
sqlite_version
3.53.4
encoding
UTF-8
reverse_unordered_selects
0
query_only
1
journal_mode
delete
data_version
1
automatic_index
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
q1472 ERROR prediction: execute: execute: no such column: Segment
q1476 ERROR prediction: statement: the text does not parse: Error tokenizing 'cy IN ('CZK', 'EUR') GROUP BY Date, currency ) ``'
q1479 ERROR prediction: execute: execute: no such column: products.Price
q1481 ERROR prediction: statement: the text does not parse: Expecting ). Line 6, Col: 6. am_avg AS diff_sme_lam, lam_avg - kam_avg AS diff_lam_kam, kam_avg - sme_avg AS diff_kam_sme FROM ( SELECT
q1482 ERROR prediction: statement: the text does not parse: Expecting ). Line 52, Col: 15. month.transactionid WHERE currency = 'EUR' AND strftime('%Y', date) = '2013' GROUP BY segment, strft
q1506 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 2, Col: 18. SELECT products.Description FROM transactions\_1k JOIN gasstations ON transactions\_1k.GasStationID = gasstations.GasStationID JOIN products ON tr
q1521 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 2, Col: 18. SELECT COUNT(*) FROM transactions\_1k WHERE Time BETWEEN '08:00:00' AND '09:00:00' AND Date = '2012-08-26' AND GasStationID IN ( SELEC
q1526 ERROR prediction: execute: execute: no such function: Year
q1528 ERROR prediction: execute: execute: incomplete input
q1529 ERROR prediction: statement: 2 statements in one text; an audit runs one
q1531 ERROR prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 1, Col: 56. SELECT c.CustomerID, AVG(t."Price" / t."Amount") AS avg\_price, c."Currency" FROM customers c JOIN "transactions_1k" t ON c.CustomerID = t.CustomerID GROUP

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