Instances of family Adder solved by ssolve-A
QBFEVAL'08

InstanceResultTime
adder-2-satSAT0.01
Adder2-2-sSAT0.01
Adder2-2-cUNSAT0.02
Adder2-4-sSAT0.49
adder-4-satSAT1.12
adder-2-unsatUNSAT2.34
Adder2-6-sSAT19.44
adder-6-satSAT163.51
Adder2-8-sSAT539.51
adder-14-satFAIL600
Adder2-12-cFAIL600
Adder2-8-cFAIL600
adder-12-unsatFAIL600
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-10-unsatFAIL600
Adder2-4-cFAIL600
adder-8-unsatFAIL600
Adder2-12-sFAIL600
adder-14-unsatFAIL600
Adder2-14-sFAIL600
adder-4-unsatFAIL600
Adder2-16-cFAIL600
Adder2-16-sFAIL600
Adder2-14-cFAIL600