hal result analysis