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

InstanceResultTime
unit9_2_bSAT1.36
unit11_3_bUNSAT2.46
unit12_2_bSAT4.73
unit8_2_bSAT5.81
unit6_3_bUNSAT130.18