Instances of family Adder solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
Adder2-4-cUNSAT57.92
Adder2-4-sSAT4495.48
adder-4-satFAIL5997.92
adder-10-satFAIL5998.63
adder-8-satFAIL5998.64
adder-12-satFAIL5998.72
adder-14-satFAIL5999.03
adder-6-satFAIL5999.33
adder-16-satFAIL5999.4
adder-4-unsatFAIL5999.67
Adder2-8-sFAIL5999.87
Adder2-6-cFAIL6000.05
adder-6-unsatFAIL6000.06
adder-8-unsatFAIL6000.07
Adder2-6-sFAIL6000.2
Adder2-8-cFAIL6000.25