I have an N100 in that listing on the linked GitHub project, it's the best Intel system I've tested, and it gets around 2.5 Gflops/W (which is a little less than a Raspberry Pi 5, which is not known for being the most efficient Arm system).