TF0_CSA_EQU_ARI
Unbiased SPC size 64
SOTA contributors solved 46 = 0.72 SPC 0.72 attempted
SOTA contributors all solved 25 = 0.39 SPC 0.54 SOTA 21 = 1.00 SSR
Z3---4.4-TPTP C solved 43 = 0.67 SPC 0.93 SOTA 18 = 0.86 SSR
H2WO4---11.07 C solved 34 = 0.53 SPC 0.74 SOTA 9 = 0.43 SSR
CVC4---TFA-1.5pre C solved 29 = 0.45 SPC 0.63 SOTA 4 = 0.19 SSR
