Is the benchmark suite that produced the following results available? http://www.iro.umontreal.ca/~gambit/bench.html The results look a bit out dated. It would be nice to have a package so that everybody can try the benchmarks.