Instances of family Adder solved by AIGSolve
QBFEVAL'10 - Competitive Track.

InstanceResultTime
adder-4-satSAT0.08
adder-6-satSAT0.64
Adder2-4-sSAT1.92
adder-8-satSAT2.32
adder-10-satSAT6.39
Adder2-6-sSAT9.45
adder-12-satSAT11.74
adder-14-satSAT23.49
adder-8-unsatUNSAT45.5
Adder2-6-cUNSAT68.12
Adder2-10-sSAT88.71
adder-10-unsatUNSAT318.06
adder-12-unsatFAIL1200
adder-14-unsatFAIL1200
adder-16-unsatFAIL1200