Instances of family Adder solved by yQuaffle
QBFEVAL'06

InstanceResultTime
Adder2-8-sFAIL537.22
Adder2-8-cFAIL541.08
Adder2-6-sFAIL556.36
Adder2-6-cFAIL556.89
adder-16-satFAIL559.24
adder-14-satFAIL563.86
adder-12-satFAIL570.67
adder-10-satFAIL578.87
Adder2-4-sFAIL583.85
adder-8-satFAIL583.86
Adder2-4-cFAIL584.2
adder-6-unsatFAIL587.83
adder-8-unsatFAIL591.79
adder-6-satFAIL592.11
adder-4-unsatFAIL593.31
adder-4-satFAIL598.44