benchmark1.0.91.0.1193.vce1cf2c4175eSum
2.60.311
2.15811
2.190.211
2.190.311
2.204.111
2.204.411
2.222.111
2.23411
2.249.111
2.249.311
2.25111
2.263.411
2.277.111
2.289.311
2.29611
2.303.111
2.332.333
2.346.111
2.346.311
2.35611
2.375.222
2.375.311
2.375.422
2.387.111
2.387.311
2.401.111
2.414.222
2.414.333
2.426.111
2.426.222
2.426.322
2.440.111
2.440.266
2.44411
2.44911
2.452.111
2.452.211
2.452.488
2.45311
2.462.11111
2.462.211
2.462.31616
2.46811
2.47722
2.47811
Total1276492