Instances of family genpatch solved by qbfrelay
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
unit9_2_bSAT3.35
unit8_2_bFAIL19.9
unit12_2_bFAIL273.06
unit6_3_bFAIL886.15
unit11_3_bFAIL900