Superposition Benchmark | Key