[gambit-list] Comparing RPi's with LINPACK benchmark