update results from carl with implementation example