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

InstanceResultTime
add4_REDUCEDSAT153.37
add5_REDUCEDSAT386.74
add6_REDUCEDFAIL900.01
add6_CHOOSEFAIL900.02
add5_COMPLETEFAIL900.05
add6_COMPLETEFAIL900.07
add5_CHOOSEFAIL900.07