Instances of family Adder solved by preQuantor
QBFEVAL'06

InstanceResultTime
Adder2-4-sSAT0.16
adder-4-satSAT0.23
Adder2-6-cFAIL15.7
Adder2-8-cFAIL16.34
adder-4-unsatFAIL16.74
adder-6-unsatFAIL17.39
adder-8-unsatFAIL18.74
Adder2-4-cFAIL22.78
Adder2-6-sSAT23.15
adder-6-satSAT27.65
adder-16-satFAIL29.97
adder-12-satFAIL140.02
adder-14-satFAIL171.3
adder-10-satFAIL6000.51
Adder2-8-sFAIL6000.67
adder-8-satFAIL6000.85