Instances of family Adder solved by Quaffle
QBFEVAL'06

InstanceResultTime
Adder2-4-sFAIL525.31
Adder2-4-cFAIL528.36
adder-4-satFAIL535.39
Adder2-6-cFAIL536.3
adder-4-unsatFAIL536.76
adder-6-unsatFAIL538.16
Adder2-6-sFAIL539.5
adder-8-unsatFAIL540.33
Adder2-8-cFAIL550.21
Adder2-8-sFAIL554.31
adder-6-satFAIL554.98
adder-8-satFAIL559.77
adder-10-satFAIL563.74
adder-12-satFAIL566.56
adder-14-satFAIL571.57
adder-16-satFAIL574.34