Title: contents Contents Information Matrix CFrac MallocLarge Z3 Agda RpTest MStress RbStress AllocTest Larson XmallocTest Barnes Redis Espresso Sh6Bench Sh8Bench CacheScratch CacheThrash Ebizzy (RUST)Xactor (RUST)BTree (RUST)Skiplist (RUST)Rayon (RUST)HashBrown (RUST)SIMDJson