Openbenchmarking.org has a nice comparison of the standard HDMI Mini-PC's running Ubuntu 12.04 natively.
The comparison is a Phoronix Test Suite of the MK802+, UG802 and GK802. It also has ODROID-U2, MK803, Exynos 5 Chromebook, and Intel Core i7-950 thrown in for good measure. Unfortunately the RK3188 is not in the comparison. Obviously the Core i7 comes out way on top in all tasks with the Exynos 5 far behind. Then comes the Exynos 4 ODROID and the RK3066-powered UG802. The iMX6q-powered GK802 is slightly slower than the UG802 in most tasks. The AmLogic-powered MK803 and the A10-based MK802 are at the bottom of the performance scale.
Using existing Antutu results as a comparison baseline I would expect the A31 to finish the cpu-related tasks somewhere below the performance of the GK802. The RK3188 should be significantly faster than the Exynos 4 ODROID in most tasks.
Therefore the conclusion of the benchmarks is that RK3066 currently offers the best value for the money in a HDMI Mini-PC. The RK3188 would be the fastest currently if it was available. Thus the RK3188-powered UG007B is a much better value than the GK802 as the UG007B already has a much lower price in presale then the GK802. The GK802 offers better Linux support, however, and if you need SATA it is currrently the best option provided you are willing to pay the "developer board" premium for that feature.
I think the person who did the testing should have included the Acer C7 Chromebook. It would by far be the winner.
The comparison is a Phoronix Test Suite of the MK802+, UG802 and GK802. It also has ODROID-U2, MK803, Exynos 5 Chromebook, and Intel Core i7-950 thrown in for good measure. Unfortunately the RK3188 is not in the comparison. Obviously the Core i7 comes out way on top in all tasks with the Exynos 5 far behind. Then comes the Exynos 4 ODROID and the RK3066-powered UG802. The iMX6q-powered GK802 is slightly slower than the UG802 in most tasks. The AmLogic-powered MK803 and the A10-based MK802 are at the bottom of the performance scale.
Using existing Antutu results as a comparison baseline I would expect the A31 to finish the cpu-related tasks somewhere below the performance of the GK802. The RK3188 should be significantly faster than the Exynos 4 ODROID in most tasks.
Therefore the conclusion of the benchmarks is that RK3066 currently offers the best value for the money in a HDMI Mini-PC. The RK3188 would be the fastest currently if it was available. Thus the RK3188-powered UG007B is a much better value than the GK802 as the UG007B already has a much lower price in presale then the GK802. The GK802 offers better Linux support, however, and if you need SATA it is currrently the best option provided you are willing to pay the "developer board" premium for that feature.
I think the person who did the testing should have included the Acer C7 Chromebook. It would by far be the winner.