Instances of family Adder solved by rev_qfun0.1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
Adder2-8-cUNSAT1.67
Adder2-16-cUNSAT7.85
adder-10-satFAIL900
Adder2-8-sFAIL900
Adder2-14-sFAIL900
Adder2-16-sFAIL900
adder-12-satFAIL900
adder-12-unsatFAIL900
adder-14-satFAIL900
Adder2-10-sFAIL900