Instances of family genpatch solved by Qute_opt500
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
unit9_2_bFAIL2.76
unit8_2_bFAIL3.29
unit12_2_bFAIL32.1
unit6_3_bFAIL102.59
unit11_3_bFAIL900.02