# TPC-H SF100: GenDB-V with plain-array storage

Every column of every table is a plain typed array in the original row order, generated by GenDB. For each template a query agent wrote the verified query code.

| | |
|---|---:|
| Sum of medians, binding `v0`, 1 / 32 / 64 workers (s) | 50.750 / 4.496 / 3.975 |
| Sum of medians, all 3 bindings, 1 / 32 / 64 workers (s) | 150.402 / 13.355 / 11.859 |
| Stored bytes | 158.62 GB |
| Packages verified whole crate (Verus, 0 errors) | 22/22 |
| Provider-reported cost of the agents | \$1,284.80 |

Per query: the items Verus verified in the complete crate, and the median of 3 hot calls (ms) per binding at 1 / 32 / 64 workers.

| Query | Verified items | `v0` | `v1` | `v2` |
|---|---:|---:|---:|---:|
| [Q01](queries/q01/) | 1123 | 6041.524 / 878.151 / 727.243 | 6059.897 / 879.149 / 769.152 | 6084.317 / 795.655 / 746.310 |
| [Q02](queries/q02/) | 1287 | 167.245 / 22.795 / 24.110 | 164.457 / 24.336 / 26.202 | 164.283 / 24.771 / 24.069 |
| [Q03](queries/q03/) | 1265 | 1943.378 / 184.827 / 161.746 | 2002.976 / 160.490 / 166.481 | 2019.682 / 201.260 / 185.647 |
| [Q04](queries/q04/) | 1134 | 1603.391 / 176.595 / 157.904 | 1607.994 / 180.036 / 152.229 | 1603.351 / 176.782 / 154.488 |
| [Q05](queries/q05/) | 1394 | 2094.571 / 173.949 / 151.053 | 2096.803 / 195.646 / 165.988 | 2093.384 / 198.046 / 165.674 |
| [Q06](queries/q06/) | 1085 | 2911.244 / 238.466 / 149.175 | 2945.932 / 234.283 / 147.884 | 2937.065 / 231.197 / 146.025 |
| [Q07](queries/q07/) | 1296 | 2328.944 / 256.590 / 223.897 | 2232.004 / 218.250 / 221.595 | 2240.128 / 231.848 / 250.032 |
| [Q08](queries/q08/) | 1433 | 1980.423 / 114.282 / 117.940 | 1902.739 / 135.235 / 100.469 | 1675.326 / 145.451 / 111.153 |
| [Q09](queries/q09/) | 1510 | 10475.537 / 561.136 / 438.971 | 10379.509 / 550.167 / 433.989 | 9378.991 / 542.551 / 424.354 |
| [Q10](queries/q10/) | 1348 | 2206.143 / 184.648 / 174.516 | 2113.696 / 173.063 / 164.194 | 2194.944 / 177.395 / 168.828 |
| [Q11](queries/q11/) | 1253 | 326.768 / 43.366 / 42.451 | 331.725 / 43.788 / 38.774 | 335.790 / 43.913 / 41.200 |
| [Q12](queries/q12/) | 1178 | 1492.571 / 180.482 / 175.582 | 1505.440 / 183.045 / 176.833 | 1520.067 / 183.766 / 175.635 |
| [Q13](queries/q13/) | 1238 | 3202.714 / 254.617 / 228.244 | 3259.426 / 251.163 / 218.897 | 3295.926 / 239.216 / 224.666 |
| [Q14](queries/q14/) | 1206 | 1066.012 / 71.499 / 58.592 | 1085.143 / 74.955 / 66.392 | 1087.225 / 77.142 / 68.060 |
| [Q15](queries/q15/) | 1227 | 1910.555 / 151.871 / 140.778 | 1811.173 / 150.478 / 136.013 | 1815.910 / 151.942 / 131.268 |
| [Q16](queries/q16/) | 1519 | 555.741 / 60.215 / 63.547 | 547.482 / 70.655 / 62.848 | 546.615 / 65.030 / 64.501 |
| [Q17](queries/q17/) | 1256 | 1394.881 / 126.108 / 126.018 | 1395.560 / 121.281 / 101.416 | 1448.956 / 120.386 / 102.559 |
| [Q18](queries/q18/) | 1151 | 2611.919 / 167.587 / 158.230 | 2670.512 / 163.402 / 157.197 | 2671.498 / 166.471 / 159.357 |
| [Q19](queries/q19/) | 1289 | 1301.515 / 108.532 / 115.629 | 1396.626 / 101.231 / 114.885 | 1412.690 / 99.265 / 102.480 |
| [Q20](queries/q20/) | 1447 | 2235.011 / 234.481 / 203.132 | 1939.009 / 198.320 / 178.261 | 1899.144 / 210.230 / 189.515 |
| [Q21](queries/q21/) | 1302 | 2203.425 / 208.452 / 237.786 | 2177.543 / 233.076 / 235.312 | 2190.557 / 238.892 / 218.384 |
| [Q22](queries/q22/) | 1216 | 696.620 / 96.926 / 98.440 | 706.795 / 99.240 / 96.694 | 703.128 / 96.789 / 98.137 |

| Path | Content |
|---|---|
| [`times.json`](times.json) | The median of every cell (ms), per query, binding and worker count |
| `queries/<query>/` | `query.sql` (the template), `spec.rs` (its SQLSpec statement), `code/` (the verified query code) |
| [`storage/`](storage/README.md) | The storages the queries read: layout, `interface/` (the `represents` relation and the readers) and `builder/` |
| [`crates/`](crates/README.md) | The complete crates Verus checked |