{"board": "stabrank", "instance": "CCZ-2", "family": "CCZ", "copies": 2, "n": 6, "r_max": 256, "cpu_seconds": 1800, "mem_mb": 8192, "mode": "ranked", "target": "unnormalized (CCZ|+++>)^{\u2297k}: amplitude prod_b (-1)^{x_{3b} x_{3b+1} x_{3b+2}}"}