Instances of family formula_add solved by Rareqs_2018
Prenex CNF Track

InstanceResultTime
add4_CHOOSESAT4.17
add5_REDUCEDSAT4.51
add5_COMPLETESAT120.25
add6_REDUCEDSAT128.95
add5_CHOOSESAT290.55
add6_COMPLETESAT491.08
add7_CHOOSEFAIL900
add7_COMPLETEFAIL900
add6_CHOOSEFAIL900
add7_REDUCEDFAIL900