symbolic-bench-private