Instances of family Adder solved by sKizzo-0.10-std
QBFEVAL'07

InstanceResultTime
Adder2-4-sSAT0.17
adder-4-satSAT0.5
Adder2-6-sSAT1.2
adder-6-satSAT5.84
adder-8-satSAT10.96
Adder2-8-sSAT19.01
adder-10-satSAT41.61
Adder2-4-cFAIL69.34
adder-12-satSAT278.15
adder-14-satFAIL600
adder-16-satFAIL600