this repository — Stabilizer Rank Challenge

Records held · 71

bound	orbit	γ	tier
$χ_{R} ({\| S ⟩}^{\otimes 1}) \geq 2$	Strange	—	lean
$χ_{R} ({\| S ⟩}^{\otimes 2}) \geq 2$	Strange	—	lean
$χ_{R} ({\| S ⟩}^{\otimes 5}) \leq 8$	Strange	0.3786	lean
$χ_{R} ({\| S ⟩}^{\otimes 7}) \leq 16$	Strange	0.3605	verified
$χ_{R} ({\| S ⟩}^{\otimes 8}) \leq 16$	Strange	0.3155	verified
$χ_{R} ({\| N ⟩}^{\otimes 1}) \geq 2$	Norrell	—	verified
$χ_{R} ({\| N ⟩}^{\otimes 1}) \leq 2$	Norrell	0.6309	verified
$χ_{R} ({\| N ⟩}^{\otimes 2}) \geq 3$	Norrell	—	lean
$χ_{R} ({\| N ⟩}^{\otimes 4}) \geq 7$	Norrell	—	attested · 2/1057 re-run
$χ_{R} ({\| N ⟩}^{\otimes 5}) \geq 7$	Norrell	—	attested · 2/1057 re-run
$χ_{R} ({\| N ⟩}^{\otimes 6}) \geq 7$	Norrell	—	attested · 2/1057 re-run
$χ_{R} ({\| N ⟩}^{\otimes 6}) \leq 16$	Norrell	0.4206	verified
$χ_{R} ({\| H_{3} ⟩}^{\otimes 1}) \geq 2$	H₃	—	verified
$χ_{R} ({\| H_{3} ⟩}^{\otimes 1}) \leq 2$	H₃	0.6309	verified
$χ_{R} ({\| H_{3} ⟩}^{\otimes 2}) \geq 3$	H₃	—	lean
$χ_{R} ({\| H_{3} ⟩}^{\otimes 4}) \geq 7$	H₃	—	attested · 2/1021 re-run
$χ_{R} ({\| H_{3} ⟩}^{\otimes 5}) \geq 7$	H₃	—	attested · 2/1021 re-run
$χ_{R} ({\| H_{3} ⟩}^{\otimes 5}) \leq 12$	H₃	0.4524	verified
$χ_{R} ({\| H_{3} ⟩}^{\otimes 6}) \geq 7$	H₃	—	attested · 2/1021 re-run
$χ_{R} ({\| H_{3} ⟩}^{\otimes 6}) \leq 16$	H₃	0.4206	verified
$χ_{R} ({\| T_{3} ⟩}^{\otimes 1}) \geq 3$	T₃	—	lean
$χ_{R} ({\| T_{3} ⟩}^{\otimes 2}) \geq 3$	T₃	—	lean
$χ_{R} ({\| T_{3} ⟩}^{\otimes 3}) \geq 8$	T₃	—	attested · 2/459 re-run
$χ_{R} ({\| T_{3} ⟩}^{\otimes 4}) \geq 8$	T₃	—	attested · 2/459 re-run
$χ_{R} ({\| T_{3} ⟩}^{\otimes 5}) \geq 8$	T₃	—	attested · 2/459 re-run
$χ_{R} ({\| T_{3} ⟩}^{\otimes 5}) \leq 18$	T₃	0.5262	lean
$χ_{R} ({\| T_{3} ⟩}^{\otimes 6}) \geq 8$	T₃	—	attested · 2/459 re-run
$χ_{R} ({\| T_{3} ⟩}^{\otimes 6}) \leq 27$	T₃	0.5000	verified
$χ_{R} ({\| H ⟩}^{\otimes 1}) \geq 2$	H-type	—	verified
$χ_{R} ({\| H ⟩}^{\otimes 1}) \leq 2$	H-type	1.0000	verified
$χ_{R} ({\| H ⟩}^{\otimes 2}) \geq 2$	H-type	—	lean
$χ_{R} ({\| H ⟩}^{\otimes 3}) \geq 3$	H-type	—	reproduced
$χ_{R} ({\| H ⟩}^{\otimes 4}) \geq 4$	H-type	—	reproduced
$χ_{R} ({\| H ⟩}^{\otimes 5}) \geq 6$	H-type	—	attested · 2/323 re-run
$χ_{R} ({\| H ⟩}^{\otimes 6}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| H ⟩}^{\otimes 7}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| H ⟩}^{\otimes 8}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| H ⟩}^{\otimes 9}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| H ⟩}^{\otimes 9}) \leq 18$	H-type	0.4633	verified
$χ_{R} ({\| H ⟩}^{\otimes 10}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| T ⟩}^{\otimes 1}) \geq 2$	BK T-type	—	verified
$χ_{R} ({\| T ⟩}^{\otimes 1}) \leq 2$	BK T-type	1.0000	verified
$χ_{R} ({\| T ⟩}^{\otimes 2}) \geq 2$	BK T-type	—	lean
$χ_{R} ({\| T ⟩}^{\otimes 2}) \leq 2$	BK T-type	0.5000	lean
$χ_{R} ({\| T ⟩}^{\otimes 3}) \geq 3$	BK T-type	—	reproduced
$χ_{R} ({\| T ⟩}^{\otimes 3}) \leq 3$	BK T-type	0.5283	lean
$χ_{R} ({\| T ⟩}^{\otimes 4}) \geq 3$	BK T-type	—	reproduced
$χ_{R} ({\| T ⟩}^{\otimes 5}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 5}) \leq 6$	BK T-type	0.5170	lean
$χ_{R} ({\| T ⟩}^{\otimes 6}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 7}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 7}) \leq 9$	BK T-type	0.4528	verified
$χ_{R} ({\| T ⟩}^{\otimes 8}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 8}) \leq 9$	BK T-type	0.3962	verified
$χ_{R} ({\| T ⟩}^{\otimes 9}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 9}) \leq 15$	BK T-type	0.4341	verified
$χ_{R} ({\| T ⟩}^{\otimes 10}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| \sqrt{T} ⟩}^{\otimes 6}) \leq 12$	√T	0.5975	verified
$χ_{R} ({\| C S ⟩}^{\otimes 3}) \leq 6$	CS	0.8617	verified
$χ_{R} ({\| T_{5} ⟩}^{\otimes 1}) \geq 3$	T₅	—	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 1}) \leq 3$	T₅	0.6826	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 2}) \geq 5$	T₅	—	reproduced
$χ_{R} ({\| T_{5} ⟩}^{\otimes 2}) \leq 5$	T₅	0.5000	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 3}) \geq 6$	T₅	—	attested · 2/74 re-run
$χ_{R} ({\| T_{5} ⟩}^{\otimes 3}) \leq 15$	T₅	0.5609	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 4}) \geq 6$	T₅	—	attested · 2/74 re-run
$χ_{R} ({\| T_{5} ⟩}^{\otimes 4}) \leq 25$	T₅	0.5000	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 5}) \geq 6$	T₅	—	attested · 2/74 re-run
$χ_{R} ({\| T_{5} ⟩}^{\otimes 5}) \leq 75$	T₅	0.5365	verified
$χ_{R} (\| {cat}_{3} ⟩) \geq 2$	magic cat	—	verified
$χ_{R} (\| {cat}_{4} ⟩) \geq 2$	magic cat	—	verified

All bounds · 99

bound	orbit	γ	tier
$χ_{R} ({\| S ⟩}^{\otimes 1}) \geq 2$	Strange	—	lean
$χ_{R} ({\| S ⟩}^{\otimes 2}) \geq 2$	Strange	—	lean
$χ_{R} ({\| S ⟩}^{\otimes 5}) \geq 4$	Strange	—	reproduced
$χ_{R} ({\| S ⟩}^{\otimes 5}) \geq 5$	Strange	—	reproduced
$χ_{R} ({\| S ⟩}^{\otimes 5}) \leq 8$	Strange	0.3786	lean
$χ_{R} ({\| S ⟩}^{\otimes 6}) \geq 5$	Strange	—	reproduced
$χ_{R} ({\| S ⟩}^{\otimes 7}) \geq 5$	Strange	—	reproduced
$χ_{R} ({\| S ⟩}^{\otimes 7}) \leq 16$	Strange	0.3605	verified
$χ_{R} ({\| S ⟩}^{\otimes 8}) \geq 5$	Strange	—	reproduced
$χ_{R} ({\| S ⟩}^{\otimes 8}) \leq 16$	Strange	0.3155	verified
$χ_{R} ({\| N ⟩}^{\otimes 1}) \geq 2$	Norrell	—	verified
$χ_{R} ({\| N ⟩}^{\otimes 1}) \leq 2$	Norrell	0.6309	verified
$χ_{R} ({\| N ⟩}^{\otimes 2}) \geq 3$	Norrell	—	lean
$χ_{R} ({\| N ⟩}^{\otimes 4}) \geq 3$	Norrell	—	reproduced
$χ_{R} ({\| N ⟩}^{\otimes 4}) \geq 5$	Norrell	—	reproduced · 3600 s
$χ_{R} ({\| N ⟩}^{\otimes 4}) \geq 6$	Norrell	—	attested · 2/171 re-run
$χ_{R} ({\| N ⟩}^{\otimes 4}) \geq 7$	Norrell	—	attested · 2/1057 re-run
$χ_{R} ({\| N ⟩}^{\otimes 5}) \geq 7$	Norrell	—	attested · 2/1057 re-run
$χ_{R} ({\| N ⟩}^{\otimes 5}) \leq 12$	Norrell	0.4524	verified
$χ_{R} ({\| N ⟩}^{\otimes 6}) \geq 7$	Norrell	—	attested · 2/1057 re-run
$χ_{R} ({\| N ⟩}^{\otimes 6}) \leq 16$	Norrell	0.4206	verified
$χ_{R} ({\| H_{3} ⟩}^{\otimes 1}) \geq 2$	H₃	—	verified
$χ_{R} ({\| H_{3} ⟩}^{\otimes 1}) \leq 2$	H₃	0.6309	verified
$χ_{R} ({\| H_{3} ⟩}^{\otimes 2}) \geq 3$	H₃	—	lean
$χ_{R} ({\| H_{3} ⟩}^{\otimes 4}) \geq 3$	H₃	—	reproduced
$χ_{R} ({\| H_{3} ⟩}^{\otimes 4}) \geq 5$	H₃	—	reproduced · 3600 s
$χ_{R} ({\| H_{3} ⟩}^{\otimes 4}) \geq 6$	H₃	—	attested · 2/57 re-run
$χ_{R} ({\| H_{3} ⟩}^{\otimes 4}) \geq 7$	H₃	—	attested · 2/1021 re-run
$χ_{R} ({\| H_{3} ⟩}^{\otimes 5}) \geq 7$	H₃	—	attested · 2/1021 re-run
$χ_{R} ({\| H_{3} ⟩}^{\otimes 5}) \leq 12$	H₃	0.4524	verified
$χ_{R} ({\| H_{3} ⟩}^{\otimes 6}) \geq 7$	H₃	—	attested · 2/1021 re-run
$χ_{R} ({\| H_{3} ⟩}^{\otimes 6}) \leq 16$	H₃	0.4206	verified
$χ_{R} ({\| T_{3} ⟩}^{\otimes 1}) \geq 3$	T₃	—	lean
$χ_{R} ({\| T_{3} ⟩}^{\otimes 2}) \geq 3$	T₃	—	lean
$χ_{R} ({\| T_{3} ⟩}^{\otimes 3}) \geq 6$	T₃	—	reproduced
$χ_{R} ({\| T_{3} ⟩}^{\otimes 3}) \geq 7$	T₃	—	verified
$χ_{R} ({\| T_{3} ⟩}^{\otimes 3}) \geq 8$	T₃	—	attested · 2/459 re-run
$χ_{R} ({\| T_{3} ⟩}^{\otimes 4}) \geq 6$	T₃	—	reproduced
$χ_{R} ({\| T_{3} ⟩}^{\otimes 4}) \geq 8$	T₃	—	attested · 2/459 re-run
$χ_{R} ({\| T_{3} ⟩}^{\otimes 5}) \geq 6$	T₃	—	reproduced
$χ_{R} ({\| T_{3} ⟩}^{\otimes 5}) \geq 8$	T₃	—	attested · 2/459 re-run
$χ_{R} ({\| T_{3} ⟩}^{\otimes 5}) \leq 18$	T₃	0.5262	lean
$χ_{R} ({\| T_{3} ⟩}^{\otimes 6}) \geq 8$	T₃	—	attested · 2/459 re-run
$χ_{R} ({\| T_{3} ⟩}^{\otimes 6}) \leq 27$	T₃	0.5000	verified
$χ_{R} ({\| H ⟩}^{\otimes 1}) \geq 2$	H-type	—	verified
$χ_{R} ({\| H ⟩}^{\otimes 1}) \leq 2$	H-type	1.0000	verified
$χ_{R} ({\| H ⟩}^{\otimes 2}) \geq 2$	H-type	—	lean
$χ_{R} ({\| H ⟩}^{\otimes 3}) \geq 3$	H-type	—	reproduced
$χ_{R} ({\| H ⟩}^{\otimes 4}) \geq 3$	H-type	—	reproduced
$χ_{R} ({\| H ⟩}^{\otimes 4}) \geq 4$	H-type	—	reproduced
$χ_{R} ({\| H ⟩}^{\otimes 5}) \geq 4$	H-type	—	reproduced
$χ_{R} ({\| H ⟩}^{\otimes 5}) \geq 5$	H-type	—	reproduced · 3600 s
$χ_{R} ({\| H ⟩}^{\otimes 5}) \geq 6$	H-type	—	attested · 2/323 re-run
$χ_{R} ({\| H ⟩}^{\otimes 6}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| H ⟩}^{\otimes 7}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| H ⟩}^{\otimes 8}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| H ⟩}^{\otimes 9}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| H ⟩}^{\otimes 9}) \leq 18$	H-type	0.4633	verified
$χ_{R} ({\| H ⟩}^{\otimes 10}) \geq 6$	H-type	—	attested · 2/180 re-run
$χ_{R} ({\| T ⟩}^{\otimes 1}) \geq 2$	BK T-type	—	verified
$χ_{R} ({\| T ⟩}^{\otimes 1}) \leq 2$	BK T-type	1.0000	verified
$χ_{R} ({\| T ⟩}^{\otimes 2}) \geq 2$	BK T-type	—	lean
$χ_{R} ({\| T ⟩}^{\otimes 2}) \leq 2$	BK T-type	0.5000	lean
$χ_{R} ({\| T ⟩}^{\otimes 3}) \geq 3$	BK T-type	—	reproduced
$χ_{R} ({\| T ⟩}^{\otimes 3}) \leq 3$	BK T-type	0.5283	lean
$χ_{R} ({\| T ⟩}^{\otimes 4}) \geq 3$	BK T-type	—	reproduced
$χ_{R} ({\| T ⟩}^{\otimes 5}) \geq 3$	BK T-type	—	reproduced
$χ_{R} ({\| T ⟩}^{\otimes 5}) \geq 4$	BK T-type	—	reproduced
$χ_{R} ({\| T ⟩}^{\otimes 5}) \geq 5$	BK T-type	—	attested · 2/6 re-run
$χ_{R} ({\| T ⟩}^{\otimes 5}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 5}) \leq 6$	BK T-type	0.5170	lean
$χ_{R} ({\| T ⟩}^{\otimes 6}) \geq 4$	BK T-type	—	reproduced
$χ_{R} ({\| T ⟩}^{\otimes 6}) \geq 5$	BK T-type	—	attested · 2/6 re-run
$χ_{R} ({\| T ⟩}^{\otimes 6}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 7}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 7}) \leq 9$	BK T-type	0.4528	verified
$χ_{R} ({\| T ⟩}^{\otimes 8}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 8}) \leq 9$	BK T-type	0.3962	verified
$χ_{R} ({\| T ⟩}^{\otimes 9}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 9}) \leq 15$	BK T-type	0.4341	verified
$χ_{R} ({\| T ⟩}^{\otimes 10}) \geq 6$	BK T-type	—	attested · 2/160 re-run
$χ_{R} ({\| T ⟩}^{\otimes 10}) \leq 18$	BK T-type	0.4170	verified
$χ_{R} ({\| \sqrt{T} ⟩}^{\otimes 6}) \leq 12$	√T	0.5975	verified
$χ_{R} ({\| C S ⟩}^{\otimes 3}) \leq 6$	CS	0.8617	verified
$χ_{R} ({\| T_{5} ⟩}^{\otimes 1}) \geq 3$	T₅	—	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 1}) \leq 3$	T₅	0.6826	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 2}) \geq 5$	T₅	—	reproduced
$χ_{R} ({\| T_{5} ⟩}^{\otimes 2}) \leq 5$	T₅	0.5000	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 2}) \leq 8$	T₅	0.6460	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 3}) \geq 5$	T₅	—	reproduced
$χ_{R} ({\| T_{5} ⟩}^{\otimes 3}) \geq 6$	T₅	—	attested · 2/74 re-run
$χ_{R} ({\| T_{5} ⟩}^{\otimes 3}) \leq 15$	T₅	0.5609	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 4}) \geq 5$	T₅	—	reproduced
$χ_{R} ({\| T_{5} ⟩}^{\otimes 4}) \geq 6$	T₅	—	attested · 2/74 re-run
$χ_{R} ({\| T_{5} ⟩}^{\otimes 4}) \leq 25$	T₅	0.5000	lean
$χ_{R} ({\| T_{5} ⟩}^{\otimes 5}) \geq 6$	T₅	—	attested · 2/74 re-run
$χ_{R} ({\| T_{5} ⟩}^{\otimes 5}) \leq 75$	T₅	0.5365	verified
$χ_{R} (\| {cat}_{3} ⟩) \geq 2$	magic cat	—	verified
$χ_{R} (\| {cat}_{4} ⟩) \geq 2$	magic cat	—	verified