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

InstanceResultTime
add4_CHOOSESAT8.32
add4_REDUCEDSAT10.39
add4_COMPLETESAT20.16
add5_REDUCEDSAT100.36
add5_COMPLETESAT344.74
add6_CHOOSEFAIL900
add7_CHOOSEFAIL900
add7_COMPLETEFAIL900
add6_REDUCEDFAIL900
add6_COMPLETEFAIL900
add5_CHOOSEFAIL900
add7_REDUCEDFAIL900