Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.