CONCRETE BENCHMARK PROBLEMS