Data mining of benchmark results