Instances of family s820 solved by iprover_bloqqer_single
Prenex CNF Track

InstanceResultTime
s820_d10_sFAIL450.81
s820_d11_uFAIL590.41