added public icfp benchmarks