Instances of family Adder solved by QUANTOR
QBFEVAL'04

InstanceResultTime
Adder2-2-cUNSAT0.39
adder-6-unsatFAIL12.33
adder-4-unsatFAIL12.84
adder-8-unsatFAIL13.4
Adder2-16-cFAIL16.97
adder-6-satSAT27.12
Adder2-12-sFAIL78.13
adder-10-satFAIL901.02