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.25011
2.263.411
2.277.111
2.289.311
2.29611
2.332.322
2.346.111
2.346.311
2.35611
2.375.211
2.375.311
2.387.111
2.387.311
2.414.222
2.414.333
2.426.111
2.426.211
2.426.322
2.440.111
2.440.255
2.44411
2.452.111
2.452.211
2.452.499
2.45311
2.462.11010
2.462.366
2.46811
2.479.111
2.479.211
2.479.333
2.48411
2.49211
2.492.122
2.492.211
2.492.31616
2.50211
2.50622
2.50811
Total1227699