Instances of family Adder solved by dynQBF-bloqqer-hqspre
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
adder-10-satSAT37.51
Adder2-8-sSAT139.82
Adder2-10-sSAT283.62
adder-12-satSAT866.34
Adder2-14-sFAIL900
Adder2-16-sFAIL900
Adder2-8-cFAIL900
adder-12-unsatFAIL900
adder-14-satFAIL900
Adder2-16-cFAIL900