specmicp/benchmark

configuration