Instances of family s820 solved by iprover_bloqqer_schedule
Prenex CNF Track

InstanceResultTime
s820_d10_sFAIL443.32
s820_d11_uFAIL587.39