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

InstanceResultTime
unit9_2_bSAT2.89
unit12_2_bFAIL900.01
unit6_3_bFAIL900.02
unit8_2_bFAIL900.03
unit11_3_bFAIL900.03