Write-ups from actually running these tools on real problems — what worked, what didn’t, and where the current limits are. See the pages below.