Instances of family formula_add solved by depqbf_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
add7_CHOOSEFAIL3600
add7_COMPLETEFAIL3600
add7_REDUCEDFAIL3600