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

InstanceResultTime
add4_REDUCEDSAT0.42
add4_COMPLETESAT3.01
add4_CHOOSESAT4.17
add5_REDUCEDSAT4.54
add5_COMPLETESAT118.26
add6_REDUCEDSAT128.23
add5_CHOOSESAT270.72
add6_COMPLETESAT480.97
add7_COMPLETEFAIL900
add7_REDUCEDFAIL900
add6_CHOOSEFAIL900
add7_CHOOSEFAIL900