Instances of family Adder solved by semprop
QBFEVAL'06

InstanceResultTime
Adder2-4-cUNSAT17.3
Adder2-4-sSAT72.59
adder-6-unsatFAIL600.92
adder-4-unsatFAIL600.92
adder-8-unsatFAIL600.96
adder-14-satFAIL600.99
adder-8-satFAIL600.99
adder-6-satFAIL600.99
Adder2-8-sFAIL600.99
Adder2-8-cFAIL601
adder-4-satFAIL601
adder-12-satFAIL601
adder-10-satFAIL601
Adder2-6-cFAIL601
adder-16-satFAIL601
Adder2-6-sFAIL601