Instances of family s1269 solved by iprover_bloqqer_single
Prenex CNF Track

InstanceResultTime
s1269_d13_uFAIL742.81
s1269_d10_sFAIL752.57
s1269_d14_uFAIL833.35
s1269_d12_uFAIL900
s1269_d15_uFAIL900