A retrospective on the Wisconsin Benchmark