Instances of family Adder solved by nenofex-qbfeval10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
adder-4-satSAT0.36
adder-6-satSAT2.14
adder-8-satSAT4.57
adder-8-unsatUNSAT18.36
Adder2-4-sSAT22.57
adder-10-unsatUNSAT40.87
adder-10-satSAT46.27
adder-12-unsatUNSAT69.64
adder-14-unsatUNSAT110.66
adder-12-satSAT134.51
adder-16-unsatUNSAT170.6
Adder2-6-cFAIL175.81
adder-14-satSAT177.08
Adder2-6-sSAT709.95
Adder2-10-sFAIL1200.16