> does anyone know an updated publication for these? Hans Mittelmann (also a wonderful individual) has you covered: http://plato.la.asu.edu/bench.html http://p

> does anyone know an updated publication for these? Hans Mittelmann (also a wonderful individual) has you covered: http://plato.la.asu.edu/bench.html http://plato.la.asu.edu/bench.html