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

InstanceResultTime
Adder2-4-sSAT4222.35
Adder2-4-cUNSAT5416.15
adder-6-satFAIL6000.22
Adder2-6-cFAIL6000.26
adder-14-satFAIL6000.27
Adder2-8-cFAIL6000.27
Adder2-8-sFAIL6000.28
adder-8-unsatFAIL6000.3
adder-4-unsatFAIL6000.3
adder-16-satFAIL6000.32
Adder2-6-sFAIL6000.34
adder-4-satFAIL6000.34
adder-10-satFAIL6000.34
adder-8-satFAIL6000.34
adder-6-unsatFAIL6000.35
adder-12-satFAIL6000.35