Instances of family Adder solved by openQbf
QBFEVAL'06

InstanceResultTime
adder-4-unsatFAIL6000.71
adder-4-satFAIL6000.72
Adder2-4-cFAIL6000.73
adder-6-satFAIL6000.79
adder-8-satFAIL6000.8
Adder2-4-sFAIL6000.81
Adder2-6-cFAIL6000.84
Adder2-6-sFAIL6000.84
adder-12-satFAIL6000.87
adder-10-satFAIL6000.87
adder-8-unsatFAIL6000.89
adder-14-satFAIL6000.89
Adder2-8-cFAIL6000.89
Adder2-8-sFAIL6000.9
adder-6-unsatFAIL6000.92
adder-16-satFAIL6000.97