Instances of family Adder solved by QUANTOR
QBFEVAL'05

InstanceResultTime
adder-2-satSAT0.01
Adder2-2-sSAT0.01
adder-2-unsatUNSAT0.08
adder-4-satSAT0.17
Adder2-4-sSAT0.17
Adder2-2-cUNSAT0.35
Adder2-6-cFAIL8.57
Adder2-8-cFAIL9.01
adder-6-unsatFAIL9.65
adder-4-unsatFAIL9.71
adder-8-unsatFAIL10.74
adder-10-unsatFAIL11.31
Adder2-12-cFAIL11.35
Adder2-10-cFAIL11.68
Adder2-16-cFAIL12.13
Adder2-14-cFAIL13.08
Adder2-4-cFAIL13.38
adder-16-unsatFAIL13.53
adder-14-satFAIL14.08
adder-12-unsatFAIL14.09
adder-14-unsatFAIL14.43
adder-16-satFAIL15.94
adder-12-satFAIL17.01
Adder2-14-sFAIL19.17
Adder2-16-sFAIL19.38
Adder2-6-sSAT34.31
Adder2-10-sFAIL35.99
adder-6-satSAT37.95
adder-10-satFAIL40.84
Adder2-12-sFAIL118.11
Adder2-8-sFAIL900.42
adder-8-satFAIL900.82