Instances of family Adder solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
adder-2-unsatUNSAT0
adder-4-unsatUNSAT0.01
Adder2-2-cUNSAT0.01
Adder2-2-sSAT0.04
Adder2-14-sFAIL0.07
Adder2-14-cFAIL0.07
adder-2-satSAT0.07
Adder2-16-cFAIL0.09
Adder2-16-sFAIL0.09
adder-6-unsatUNSAT0.13
adder-8-unsatUNSAT0.27
adder-10-unsatUNSAT0.63
adder-12-unsatUNSAT2.12
adder-14-unsatUNSAT4.83
adder-16-unsatUNSAT22.23
Adder2-4-cFAIL51.22
Adder2-6-cFAIL80.23
Adder2-8-cFAIL138.27
Adder2-10-cFAIL296.92
Adder2-12-cFAIL355.59
adder-10-satFAIL886.18
adder-12-satFAIL889.37
Adder2-4-sFAIL889.99
adder-8-satFAIL891.41
adder-14-satFAIL891.65
adder-4-satFAIL893.56
adder-16-satFAIL893.96
Adder2-6-sFAIL894.55
Adder2-8-sFAIL896.72
adder-6-satFAIL897.62
Adder2-10-sFAIL898.34
Adder2-12-sFAIL899.1