Instances of family Adder solved by qube4.0
QBFEVAL'06

InstanceResultTime
Adder2-4-cUNSAT0.35
adder-16-satFAIL258.81
adder-14-satFAIL322.22
adder-12-satFAIL481.35
Adder2-8-cFAIL594.12
Adder2-6-cFAIL599.77
adder-10-satFAIL1296.43
adder-8-satFAIL3691.26
adder-8-unsatFAIL5999.49
Adder2-8-sFAIL6000.28
adder-6-satFAIL6000.38
Adder2-6-sFAIL6000.45
Adder2-4-sFAIL6000.5
adder-4-satFAIL6000.61
adder-4-unsatFAIL6000.7
adder-6-unsatFAIL6000.74