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

InstanceResultTime
unit9_2_bSAT0.45
unit11_3_bFAIL900
unit12_2_bFAIL900
unit6_3_bFAIL900
unit8_2_bFAIL900