impl, tested exp results, TODO:main, new test results impl, heuristic