Benchmark: running BigRE, Index, OptRE, m// loop, each for at least 10 CPU seconds...
     BigRE: 11 wallclock secs (10.39 usr +  0.00 sys = 10.39 CPU) @ 12548.26/s (n=130389)
     Index: 10 wallclock secs (10.53 usr +  0.00 sys = 10.53 CPU) @ 56956.89/s (n=599813)
     OptRE: 11 wallclock secs (10.53 usr +  0.00 sys = 10.53 CPU) @ 17720.63/s (n=186616)
  m// loop: 11 wallclock secs (10.48 usr +  0.00 sys = 10.48 CPU) @ 7873.90/s (n=82550)