{"board": "stabrank", "instance": "T-12", "family": "T", "copies": 12, "n": 12, "r_max": 256, "cpu_seconds": 1800, "mem_mb": 8192, "mode": "ranked", "target": "unnormalized |T>^{\u2297m}: amplitude zeta^{|x|}, zeta = exp(i pi/4); bit q of x = qubit q"}