the run

audit-13cf0492-cbc3-4df7-96f5-bedeafd4f2c5 exit status 1

The whole of this run is a release asset

This site holds 2 of the 14 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 audited30
EQUAL5
ERROR11
NOT_EQUAL14
probes fired0
the verdicts of run audit-13cf0492-cbc3-4df7-96f5-bedeafd4f2c5, from summary.json5 EQUAL11 ERROR2 multiplicity12 NOT_EQUAL
Of the questions this run audited: 5 EQUAL, 11 ERROR, 2 multiplicity, 12 NOT_EQUAL

the probes

probefired on
ordering-over-numeric-text0
arbitrary-cut0
not-a-function-of-the-data0
float-aggregate-order0
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-order0 direction-against-question
Of 30 golds this run read, the probes fired on: none.

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-13cf0492-cbc3-4df7-96f5-bedeafd4f2c5
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/2
statement timeout
30 s
fixture digest depth
counts
schema digest
sha256:2131b6310cf40e1cc434bfe0408cde4b5b6dfac61f5767ff8b67293a07027579
data as of
2026-09-08T05:04:43.380030+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
q1507 R-SET NOT_EQUAL multiplicity Please list the disparate time of the transactions taken place in the gas stations from chain no. 11.
q1514 R-SET NOT_EQUAL multiplicity What kind of currency did the customer paid at 16:25:00 in 2012/8/24?
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 same index, restricted

Each of these is a page of its own, so a filtered view has an address a reader can send. Nothing here is done by a script or by a query string.

The JSON this page was rendered from