Instances of family Adder solved by openQbf
QBFEVAL'05

InstanceResultTime
Adder2-2-cUNSAT0.28
Adder2-2-sSAT0.36
adder-2-satSAT0.43
adder-2-unsatUNSAT3.69
Adder2-6-sFAIL900.48
Adder2-4-sFAIL900.88
Adder2-16-cFAIL900.89
adder-4-unsatFAIL900.9
adder-4-satFAIL900.9
adder-6-unsatFAIL900.9
Adder2-10-cFAIL900.91
Adder2-8-cFAIL900.92
Adder2-6-cFAIL900.92
Adder2-4-cFAIL900.92
adder-14-satFAIL900.93
Adder2-10-sFAIL900.93
adder-8-satFAIL900.93
adder-6-satFAIL900.93
Adder2-14-sFAIL900.94
adder-16-unsatFAIL900.94
Adder2-8-sFAIL900.94
adder-14-unsatFAIL900.95
Adder2-16-sFAIL900.95
Adder2-14-cFAIL900.95
Adder2-12-cFAIL900.95
adder-12-unsatFAIL900.95
adder-16-satFAIL900.95
adder-12-satFAIL900.95
adder-10-unsatFAIL900.95
adder-8-unsatFAIL900.96
Adder2-12-sFAIL900.98
adder-10-satFAIL900.99