Instances of family Adder solved by SQBF
QBFEVAL'06

InstanceResultTime
Adder2-4-sSAT0.16
adder-4-satSAT0.17
Adder2-6-sSAT23
adder-6-satSAT27.61
adder-16-satFAIL609.91
Adder2-4-cFAIL714.71
adder-8-satFAIL828.62
adder-14-satFAIL850.57
adder-10-satFAIL860.02
adder-12-satFAIL1018.41
adder-8-unsatFAIL1070.66
adder-6-unsatFAIL1140.26
Adder2-6-cFAIL1374.72
Adder2-8-sFAIL2802.62
Adder2-8-cFAIL3016.86
adder-4-unsatFAIL3142.6