// 1 ns/element, a 10k-element posting list goes by in 0.01 ms, which is way beyond
// instantaneous in practice).
fprintf(stderr, "%.1f MB/sec (compressed), %.1f MB/sec (uncompressed), %.1f ns/element\n", posting_list_bytes / own_sec / 1048576.0,
// 1 ns/element, a 10k-element posting list goes by in 0.01 ms, which is way beyond
// instantaneous in practice).
fprintf(stderr, "%.1f MB/sec (compressed), %.1f MB/sec (uncompressed), %.1f ns/element\n", posting_list_bytes / own_sec / 1048576.0,