FlowLog only (Soufflé did not finish)neither finished (out of memory or 30-min timeout)
24 families × 6 DaCapo programs · FlowLog (-w32) vs Soufflé 2.5 (-j32) · run time via .printsize, median of 3 · AMD EPYC 7763, 32 cores, 503 GB, ext4. Hover a cell for run & compile times and peak RAM.