The FeasNewt benchmark