The whole of this run is a release asset
This site holds 0 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
| what | how many |
|---|---|
| questions audited | 30 |
| ERROR | 16 |
| NOT_EQUAL | 13 |
| EQUAL | 1 |
| probes fired | 4 |
the probes
| probe | fired on |
|---|---|
| ordering-over-numeric-text | 0 |
| arbitrary-cut | 2 |
| not-a-function-of-the-data | 2 |
| float-aggregate-order | 0 |
| direction-against-question | 0 |
credited by BIRD's own check and NOT_EQUAL here
| what | how many |
|---|---|
| credited by BIRD and NOT_EQUAL here | 0 |
| multiplicity | 0 |
| type | 0 |
| order | 0 |
| truncation | 0 |
| other | 0 |
| the test-suite check answered 1 | 0 |
| the test-suite check answered 0 | 0 |
What the run was made of
- run
- audit-bc01e4d4-3912-463e-a9b2-bc616e056475
- 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/california_schools/california_schools.sqlite sha256:c0903eec662e63068fd1d14403d3d6c1d473287fc10c4356333ea58f878db983 | minidev.zip (sha256 cc48ba16838204e4e214512030cb572eeb5f7bcdd999bae4b9b6ff12ec13b92f), member minidev/MINIDEV/dev_databases, california_schools/california_schools.sqlite, 2024-06-13
- server
- SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/minidev/dev_databases/california_schools/california_schools.sqlite | size=11116544
- 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:0906a33c0fa9248160fb7cc746501120c03ae1250fe39bda04cf8640bdbbd18d
- data as of
- 2026-09-08T05:04:40.583767+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 |
|---|---|---|---|---|---|
| q5 | ERROR | prediction: execute: execute: no such column: Virtual | |||
| q11 | ERROR | prediction: statement: the text does not parse: Expecting ). Line 4, Col: 45. ROM frpm JOIN schools ON frpm.CDSCode = schools.CDSCode WHERE (Enrollment (K-12) + Enrollment (Ages [4m5[0m-17)) > 500; | |||
| q23 | ERROR | prediction: statement: the text does not parse: Error tokenizing '\_address FROM frpm WHERE `Enrollment (K-' | |||
| q24 | ERROR | prediction: statement: the text does not parse: Error tokenizing 'e = st.cds WHERE f.`Percent (%) Eligible Free (K-' | |||
| q25 | ERROR | prediction: execute: execute: misuse of aggregate: COUNT() | |||
| q31 | ERROR | prediction: execute: execute: incomplete input | |||
| q32 | ERROR | prediction: execute: execute: incomplete input | |||
| q41 | ERROR | prediction: execute: execute: no such column: schools.County | |||
| q45 | ERROR | prediction: execute: execute: no such column: AdminEmail1 | |||
| q46 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 1, Col: 50. SELECT s.CDSCode, s.DOC, s.DOCType, fr.Enrollment[4m\[0m_12 FROM schools s JOIN frpm fr ON s.CDSCode = fr.CDSCode WHERE s.DOC = 31 AND fr.Enrollment\_12 IS | |||
| q47 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 1, Col: 48. SELECT AVG(strftime('%m', OpenDate)) AS monthly[4m\[0m_average FROM schools WHERE County = 'Alameda' AND DOC = 52 AND strftime('%Y', OpenDate) = 1980; | |||
| q48 | ERROR | prediction: execute: execute: no such column: frpm.DOC | |||
| q62 | ERROR | prediction: statement: the text does not parse: Expecting ). Line 1, Col: 14. SELECT COUNT([4m\[0m*) FROM frpm JOIN schools ON frpm.CDSCode = schools.CDSCode WHERE Charter = 0 AND `Percent (%) Eligi | |||
| q72 | ERROR | prediction: statement: the text does not parse: Expecting ). Line 1, Col: 29. SELECT SUM(Enrollment (Ages [4m5[0m-17)) as total_enrollment FROM frpm WHERE `Academic Year` = '2014-2015' AND `County Name` = 'Fremont | |||
| q79 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 1, Col: 41. SELECT s.County, COUNT(s.CDSCode) as num[4m\[0m_virtual\_schools FROM schools s JOIN frpm f ON s.CDSCode = f.CDSCode WHERE s.Virtual = 'T' AND s.Co | |||
| q85 | ERROR | prediction: statement: the text does not parse: Error tokenizing '0.0 \* `Free Meal Count (K-12)` / `Enrollment (K-' |
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
- summary.json attestql/audit/summary/2