1 problem

Tseitin SPR− conjecture. The tautology ${\mathrm{TS}}_G$ has polynomial-size ${\mathrm{SPR}}^-$ refutations for every graph $G$.