Added ICSE table
Remove DISTINCT stuff from checker
Roll in reruns of benchmarks #9 and #14