A paper describing these benchmarks and an appendix giving the details in LWB code and Prolog are now available.