3 ms·The 115x was obtained by doing a (less plausable) large amount of optimization...by tromp 1y agoThe 115x was obtained by doing a (less plausable) large amount of optimization...