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

InstanceResultTime
Adder2-4-cUNSAT2.04
adder-16-satFAIL281.94
adder-14-satFAIL351.45
adder-12-satFAIL503.56
Adder2-8-cFAIL598.72
adder-10-satFAIL1312.06
Adder2-8-sFAIL2993.42
adder-8-satFAIL3890.92
Adder2-6-sFAIL4243.98
Adder2-6-cFAIL5998.71
adder-8-unsatFAIL5999.97
Adder2-4-sFAIL6000.14
adder-6-satFAIL6000.36
adder-4-satFAIL6000.63
adder-4-unsatFAIL6000.73
adder-6-unsatFAIL6000.81