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

InstanceResultTime
Adder2-4-cUNSAT0.36
adder-16-satFAIL260.38
adder-14-satFAIL325.34
adder-12-satFAIL482.48
Adder2-8-cFAIL594.38
Adder2-6-cFAIL599.67
adder-10-satFAIL1300.91
adder-8-satFAIL3685.54
adder-8-unsatFAIL5999.84
adder-6-satFAIL6000.29
Adder2-8-sFAIL6000.46
Adder2-6-sFAIL6000.46
Adder2-4-sFAIL6000.54
adder-4-satFAIL6000.66
adder-6-unsatFAIL6000.7
adder-4-unsatFAIL6000.71