Instances of family Adder solved by Qute_hybrid
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
adder-14-satFAIL877.11
Adder2-16-sFAIL877.32
adder-10-satFAIL877.81
adder-12-unsatFAIL877.91