abcd-r2-pc and abcd-r2-sun are runs of the benchmark with the round2 version of ABCD. abcdD-r2-pc and abcdD-r2-sun use double hashing. Note, that I ran the PC benchmark on a Linux SMP machine which has the problem, that it can not report the CPU time correctly (the same applies to GC Time). But the Elapsed Time seems to be OK.
In general, the BDD Nodes Average visit length dropped (especially in phone-async, for which a large speed up can be observed). My conclusion is to use double hashing in the future even if open addressing has better memory localilty.
Indexed By Package