> Did others benchmark some approaches that can be compared? I didn't see anything, other than a mention that DrScheme didn't finish the computation in 17 hours.