The Symbolic Benchmark Challenge Suite