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 | 50 |
| NOT_EQUAL | 21 |
| EQUAL | 7 |
| ERROR | 22 |
| probes fired | 1 |
the probes
| probe | fired on |
|---|---|
| ordering-over-numeric-text | 0 |
| arbitrary-cut | 0 |
| not-a-function-of-the-data | 1 |
| 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 | 4 |
| multiplicity | 4 |
| type | 0 |
| order | 0 |
| truncation | 0 |
| other | 0 |
| the test-suite check answered 1 | 0 |
| the test-suite check answered 0 | 4 |
What the run was made of
- run
- audit-b68452b6-171f-402e-b881-1718b15970bc
- 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/thrombosis_prediction/thrombosis_prediction.sqlite sha256:87583183c3dc472fba04de702965560a9d7c0a548836613f242317e0eeb83f00 | minidev.zip (sha256 cc48ba16838204e4e214512030cb572eeb5f7bcdd999bae4b9b6ff12ec13b92f), member minidev/MINIDEV/dev_databases, thrombosis_prediction/thrombosis_prediction.sqlite, 2024-06-13
- server
- SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/minidev/dev_databases/thrombosis_prediction/thrombosis_prediction.sqlite | size=7327744
- 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:298ea928481863c7fc307a09fb41749798d78f06fce1aecfdb6b4aaef3ed6d54
- data as of
- 2026-09-08T05:05:01.021515+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 |
|---|---|---|---|---|---|
| q1153 | ERROR | prediction: execute: execute: ambiguous column name: Diagnosis | |||
| q1156 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 6, Col: 3. %Y', Birthday) AS age FROM Patient JOIN Examination ON Patient.ID = Examination.ID WHERE RVVT = '+' [4m``` ```[0m | |||
| q1162 | ERROR | prediction: execute: execute: no such function: YEAR | |||
| q1164 | ERROR | prediction: execute: execute: no such column: Examination.`Examination Date` | |||
| q1166 | ERROR | prediction: execute: execute: ambiguous column name: Diagnosis | |||
| q1168 | ERROR | prediction: statement: the text does not parse: Error tokenizing 'tient WHERE Diagnosis = 'SJS' ) ``` ``' | |||
| q1175 | ERROR | prediction: execute: execute: ambiguous column name: Diagnosis | |||
| q1185 | ERROR | prediction: execute: execute: no such column: Birthday | |||
| q1201 | ERROR | prediction: execute: execute: no such function: DIVIDE | |||
| q1208 | ERROR | prediction: execute: execute: ambiguous column name: ID | |||
| q1225 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 1, Col: 18. SELECT SEX, GROUP[4m\[0m_CONCAT(DISTINCT ID) as PatientIDs FROM Patient p JOIN Laboratory l ON p.ID = l.ID WHERE T\_BIL >= 2 | |||
| q1227 | ERROR | prediction: execute: execute: no such function: DIVIDE | |||
| q1229 | ERROR | prediction: execute: execute: no such function: SUBTRACT | |||
| q1235 | ERROR | prediction: execute: execute: no such column: e.RBC | |||
| q1238 | ERROR | prediction: execute: execute: ambiguous column name: ID | |||
| q1241 | ERROR | prediction: statement: the text does not parse: Invalid expression / Unexpected token. Line 2, Col: 16. SELECT COUNT(*) AS num[4m\[0m_of\_patients FROM ( SELECT Patient.ID FROM Patient JOIN Laboratory ON Patient.ID = Laboratory.ID WH | |||
| q1242 | ERROR | prediction: execute: execute: no such function: YEAR | |||
| q1243 | ERROR | prediction: execute: execute: no such function: DIVIDE | |||
| q1254 | ERROR | prediction: execute: execute: no such function: YEAR | |||
| q1257 | ERROR | prediction: execute: execute: no such function: SUBTRACT | |||
| q1267 | ERROR | prediction: execute: execute: no such column: e.SM | |||
| q1275 | ERROR | prediction: execute: execute: no such column: e.CENTROMEA |
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