The whole of this run is a release asset
This site holds 0 of the 21 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 | 49 |
| ERROR | 20 |
| NOT_EQUAL | 21 |
| EQUAL | 8 |
| probes fired | 3 |
the probes
| probe | fired on |
|---|---|
| ordering-over-numeric-text | 0 |
| arbitrary-cut | 1 |
| 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-7d7e763d-a218-426c-8687-86848f5983a5
- 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/codebase_community/codebase_community.sqlite sha256:92101be6d2a9f6adceea59d38f6d1c556087f9eea1432432a21268cb1348036d | minidev.zip (sha256 cc48ba16838204e4e214512030cb572eeb5f7bcdd999bae4b9b6ff12ec13b92f), member minidev/MINIDEV/dev_databases, codebase_community/codebase_community.sqlite, 2024-06-13
- server
- SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/minidev/dev_databases/codebase_community/codebase_community.sqlite | size=481419264
- 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:486946f86da61f185ded65fa40ebd1c1d34f6761a295222563857ffb491c6d5d
- data as of
- 2026-09-08T05:04:41.811133+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 |
|---|---|---|---|---|---|
| q531 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 1, Col: 33. SELECT MAX(Reputation) as Harlan[4m\[0m_Reputation FROM users WHERE DisplayName = 'Harlan' UNION ALL SELECT MAX(Reputation) as Jarrod\_Di | |||
| q532 | ERROR | prediction: execute: execute: no such function: year | |||
| q547 | ERROR | prediction: statement: the text does not parse: Expecting ). Line 1, Col: 14. SELECT COUNT([4m\[0m*) FROM posts p JOIN users u ON p.OwnerUserId = u.Id WHERE u.Age > 65 AND p.Score >= 20; | |||
| q555 | ERROR | prediction: statement: 2 statements in one text; an audit runs one | |||
| q557 | ERROR | prediction: statement: the text does not parse: Error tokenizing 'UserId = u.Id WHERE p.Score > 5 AND u.Age > 65; ``' | |||
| q565 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 15, Col: 14. rs u ON c.UserId = u.Id WHERE u.Id = 23853 AND c.CreationDate = '2013-07-12 09:08:18' ) ; This SQL [4mquery[0m will return the well\_finished status of the post that user 23853 commented on at 9:08:18 on 2013/7 | |||
| q587 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 1, Col: 31. SELECT AVG(p.ViewCount) AS avg[4m\[0m_view\_count, h.Title, c.Text FROM posts p JOIN postTags h ON p.Id = h.PostId JOIN tags t ON h.TagId | |||
| q598 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 42, Col: 14. ) ) * 100, 2 ) AS "Percentage Difference of Student Badges during 2010 and 2011" ; This SQL [4mquery[0m calculates the percentage difference of student badges given during 2010 and 2011 by finding the co | |||
| q604 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 2, Col: 22. SELECT AVG(u.UpVotes) AS avg[4m\[0m_upvotes, AVG(u.Age) AS avg\_age FROM users u JOIN posts p ON u.Id = p.OwnerUserId GROUP BY u.Id HAV | |||
| q629 | ERROR | prediction: statement: the text does not parse: Error tokenizing 'es WHERE YEAR(CreationDate) = 2011) FROM votes; ``' | |||
| q634 | ERROR | prediction: execute: execute: misuse of aggregate function SUM() | |||
| q639 | ERROR | run: row_counts: row_counts: no such table: main.postTags | |||
| q665 | ERROR | prediction: statement: the text does not parse: Expecting ). Line 6, Col: 37. _month FROM postLinks pl JOIN posts p ON pl.PostId = p.Id WHERE YEAR(pl.CreationDate) = [4m201[0m | |||
| q678 | ERROR | prediction: execute: execute: no such column: Views | |||
| q682 | ERROR | prediction: statement: the text does not parse: Error tokenizing 't) AND strftime('%Y', p.CreationDate) = '2010'; ``' | |||
| q683 | ERROR | prediction: execute: execute: incomplete input | |||
| q685 | ERROR | prediction: execute: execute: no such column: last_editor_displayname | |||
| q687 | ERROR | prediction: statement: 2 statements in one text; an audit runs one | |||
| q701 | ERROR | prediction: statement: the text does not parse: Error tokenizing 'putation = (SELECT MAX(Reputation) FROM users); ``' | |||
| q716 | ERROR | prediction: execute: execute: incomplete input |
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