Instances of family Adder solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
adder-2-unsatUNSAT0.04
Adder2-2-cUNSAT0.04
Adder2-2-sSAT0.04
adder-2-satSAT0.05
Adder2-4-cUNSAT1.16
adder-14-satFAIL600
Adder2-12-cFAIL600
Adder2-8-cFAIL600
adder-12-unsatFAIL600
adder-4-satFAIL600
adder-16-satFAIL600
adder-12-satFAIL600
Adder2-10-sFAIL600
adder-6-unsatFAIL600
adder-8-satFAIL600
Adder2-6-cFAIL600
adder-10-satFAIL600
Adder2-10-cFAIL600
adder-16-unsatFAIL600
adder-6-satFAIL600
adder-10-unsatFAIL600
Adder2-4-sFAIL600
adder-8-unsatFAIL600
Adder2-6-sFAIL600
Adder2-12-sFAIL600
Adder2-8-sFAIL600
adder-14-unsatFAIL600
Adder2-14-sFAIL600
adder-4-unsatFAIL600
Adder2-16-cFAIL600
Adder2-16-sFAIL600
Adder2-14-cFAIL600