TF1

TF1_THM_EQU_NAR
Unbiased SPC size               537
SOTA contributors      solved   193 = 0.36 SPC 0.36 attempted
SOTA contributors all  solved   193 = 0.36 SPC 1.00 SOTA    0 =  1.00 SSR
Alt-Ergo---0.95.1    C solved   193 = 0.36 SPC 1.00 SOTA    0 =  0.00 SSR