Instances of family formula_add solved by Caqe-bloqqer-qdo
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
add4_REDUCEDSAT2.11
add5_REDUCEDSAT7.02
add5_CHOOSESAT103.2
add6_REDUCEDSAT114.31
add5_COMPLETESAT468.81
add6_COMPLETEFAIL900.02
add6_CHOOSEFAIL900.04