Mark_Friedenbach comments on Open thread, Mar. 9 - Mar. 15, 2015

[Mark_Friedenbach]

A miniscule fraction of real time, but a meaningful speed for research purposes.