Were those gaming or non-gaming benchmarks? And was the 1200 overclocked to 3.80Ghz? I'll admit that the 8100 might be faster for gaming, if you'll admit that the 1200's higher clock speed (3.80Ghz versus the 3.60Ghz max clock of the 8100) would allow the 1200 to edge it out in productivity.
A mix. If I was a budget that restrictive I wouldn't be buying a new PC but, if I was forced to buy yes the 1200/1300 would be better with OC. If AMD follows through on R2 I can see a landscape where HT is offered on all I series chips and overclockng isn't restricted to K chips.