j
k
j a
j l
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.
Retour au fil de discussion
Retour à la liste