Eight: 12 wallclock secs (10.00 usr +  0.00 sys = 10.00 CPU) @ 130970.90/s (n=1309709)
      Four: 11 wallclock secs (10.39 usr +  0.00 sys = 10.39 CPU) @ 88839.36/s (n=923041)
     Seven: 10 wallclock secs (10.49 usr +  0.00 sys = 10.49 CPU) @ 122499.33/s (n=1285018)
       Six: 10 wallclock secs (10.54 usr +  0.00 sys = 10.54 CPU) @ 121918.22/s (n=1285018)