> Do we have the pseudoknot program in our benchmarks? > http://www.ecs.soton.ac.uk/publications/rj/1995-1996/decsys/phh/hartel2.htm I pulled down some sources off of http://www.science.uva.nl/pub/functional/packages/ and I think that it's essentially the nucleic benchmark (which we took from the SML/NJ benchmark suite).