leap-eval refined