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

InstanceResultTime
unit12_2_bFAIL900.02
unit8_2_bFAIL900.04
unit9_2_bFAIL900.05
unit11_3_bFAIL900.05
unit6_3_bFAIL900.05