Instances of family Adder solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
Adder2-4-sSAT0.19
adder-4-satSAT0.21
adder-4-unsatFAIL12.48
Adder2-6-cFAIL12.69
Adder2-8-cFAIL14.68
adder-8-unsatFAIL16.57
Adder2-4-cFAIL22.88
adder-16-satFAIL24.62
adder-6-unsatFAIL25.69
adder-12-satFAIL27.46
Adder2-6-sSAT34.83
adder-6-satSAT38.34
adder-10-satFAIL46.96
adder-14-satFAIL48.96
Adder2-8-sFAIL600.33
adder-8-satFAIL600.54