Add problem dump and benchmarks