Instances of family Adder solved by ssolveB
QBFEVAL'08

InstanceResultTime
adder-2-satSAT0.01
Adder2-2-cUNSAT0.02
Adder2-2-sSAT0.02
Adder2-4-sSAT0.56
adder-4-satSAT0.86
adder-2-unsatUNSAT2.5
Adder2-6-sSAT22.23
adder-6-satSAT59.99
adder-6-unsatFAIL600
adder-8-satFAIL600
Adder2-6-cFAIL600
adder-10-satFAIL600
Adder2-10-cFAIL600
adder-16-unsatFAIL600
adder-10-unsatFAIL600
Adder2-4-cFAIL600
adder-8-unsatFAIL600
Adder2-12-sFAIL600
Adder2-8-sFAIL600
adder-14-unsatFAIL600
Adder2-14-sFAIL600
adder-4-unsatFAIL600
Adder2-16-cFAIL600
Adder2-16-sFAIL600
Adder2-14-cFAIL600
adder-14-satFAIL600
Adder2-12-cFAIL600
Adder2-8-cFAIL600
adder-12-unsatFAIL600
adder-16-satFAIL600
adder-12-satFAIL600
Adder2-10-sFAIL600