Instances of family Adder solved by sSolve
QBFEVAL'06

InstanceResultTime
Adder2-4-sSAT4207.24
Adder2-4-cUNSAT5432.1
adder-12-satFAIL5999.14
adder-6-satFAIL5999.16
adder-10-satFAIL5999.24
adder-8-satFAIL5999.24
adder-16-satFAIL5999.28
adder-14-satFAIL5999.38
adder-4-unsatFAIL5999.47
adder-4-satFAIL5999.57
adder-8-unsatFAIL5999.94
adder-6-unsatFAIL5999.99
Adder2-8-sFAIL6000
Adder2-6-sFAIL6000.04
Adder2-6-cFAIL6000.22
Adder2-8-cFAIL6000.31