Superposition Benchmark (Advanced Edition)