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

InstanceResultTime
Adder2-8-sSAT6.57
Adder2-8-cUNSAT8.44
adder-10-satSAT9.99
adder-12-satSAT17.88
adder-14-satSAT26.04
adder-12-unsatUNSAT29.69
Adder2-10-sSAT40.95
Adder2-14-sSAT97.64
Adder2-16-sSAT157.17
Adder2-16-cFAIL900