Instances of family formula_add solved by caqe-pre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
add4_REDUCEDSAT9.38
add5_REDUCEDSAT16.02
add5_COMPLETESAT72.77
add6_REDUCEDSAT250.78
add5_CHOOSESAT531.54
add6_COMPLETEFAIL900.02
add6_CHOOSEFAIL900.05