linbox
benchmark