the run

audit-30bc63cf-2630-4cad-b46a-51686307e05f exit status 1

The whole of this run is a release asset

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

archive
minidev-sqlite-phi-3-medium-128k-instruct-1.tar.gz
size
2,180,708 bytes
sha256
cfed02286a542624870170d3a8e8db52a8d16040c78937a5db5f9a2a02d00770

What it counted

whathow many
questions audited66
NOT_EQUAL33
EQUAL11
ERROR22
probes fired1
the verdicts of run audit-30bc63cf-2630-4cad-b46a-51686307e05f, from summary.json33 NOT_EQUAL11 EQUAL22 ERROR
Of the questions this run audited: 33 NOT_EQUAL, 11 EQUAL, 22 ERROR

the probes

probefired on
ordering-over-numeric-text0
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.json0 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: arbitrary-cut on 1.

credited by BIRD's own check and NOT_EQUAL here

whathow many
credited by BIRD and NOT_EQUAL here3
multiplicity3
type0
order0
truncation0
other0
the test-suite check answered 10
the test-suite check answered 03

What the run was made of

run
audit-30bc63cf-2630-4cad-b46a-51686307e05f
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_phi-3-medium-128k-instruct-1_sqlite.json sha256:5e1a3a37cb174cbe62ff3bd269b293b6473c99da34f3fe3ac6f186dd5a1a7ff5 | https://raw.githubusercontent.com/bird-bench/mini_dev/b3d4bcbbae9a96934ad812551eb400c7a3b23c12/llm/exp_result/sql_output_kg/predict_mini_dev_phi-3-medium-128k-instruct-1_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:05:32.439967+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
q862 ERROR prediction: execute: execute: no such column: d.time
q865 ERROR prediction: execute: execute: no such column: drivers.time
q879 ERROR prediction: execute: execute: no such column: lapTimes.fastestLapSpeed
q884 ERROR prediction: execute: execute: no such column: month
q892 ERROR prediction: execute: execute: no such column: constructorResults.driverId
q898 ERROR prediction: execute: execute: no such column: drivers.name
q901 ERROR prediction: execute: execute: no such function: MONTH
q902 ERROR prediction: execute: execute: no such column: races.position
q906 ERROR prediction: execute: execute: no such column: constructorResults.driverId
q909 ERROR prediction: execute: execute: no such column: country
q915 ERROR prediction: execute: execute: no such column: country
q933 ERROR prediction: execute: execute: no such column: driverStandings.positionOrder
q940 ERROR prediction: execute: execute: no such column: drivers.time
q954 ERROR prediction: execute: execute: no such column: races.driverId
q959 ERROR prediction: execute: execute: no such column: lap
q962 ERROR prediction: execute: execute: no such column: laps
q963 ERROR prediction: execute: execute: ambiguous column name: driverId
q967 ERROR prediction: statement: 2 statements in one text; an audit runs one
q971 ERROR prediction: execute: execute: no such column: drivers.name
q981 ERROR prediction: execute: execute: no such column: drivers.name
q988 ERROR prediction: execute: execute: no such function: year
q1002 ERROR prediction: execute: execute: no such column: r2.driverId

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