64-bit system benchmark derived from HINT