Describe SymbolicBenchmarks here.