FlowLog vs Soufflé on DOOP points-to

FL ✓ only FlowLog finished (Soufflé ran out of RAM / timed out) neither engine finished

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.