Instances of family Adder solved by Qbfl
QBFEVAL'06

InstanceResultTime
adder-4-satFAIL590.86
adder-6-satFAIL594.62
adder-8-satFAIL597.33
Adder2-4-sFAIL598.2
adder-4-unsatFAIL598.62
adder-10-satFAIL599.03
adder-12-satFAIL599.43
Adder2-6-sFAIL599.59
adder-6-unsatFAIL599.7
adder-14-satFAIL599.97
Adder2-4-cFAIL5981.23
adder-8-unsatFAIL5982.59
adder-16-satFAIL5984.37
Adder2-8-sFAIL5989.68
Adder2-6-cFAIL5991.07
Adder2-8-cFAIL5993.15