Instances of family Adder solved by GRL
QBFEVAL'04

InstanceResultTime
Adder2-2-cUNSAT0.01
adder-4-unsatFAIL901
adder-10-satFAIL901
adder-8-unsatFAIL901
Adder2-16-cFAIL901
adder-6-satFAIL901.01
adder-6-unsatFAIL901.01
Adder2-12-sFAIL901.03