Instances of family Adder solved by 2clsQ
QBFEVAL'06

InstanceResultTime
Adder2-4-sSAT0.16
adder-4-satSAT0.19
Adder2-6-sSAT22.89
adder-6-satSAT28.15
Adder2-4-cUNSAT29.88
adder-16-satFAIL106.11
adder-12-satFAIL255.7
adder-14-satFAIL258.01
adder-10-satFAIL800.32
adder-8-satFAIL1113.7
Adder2-6-cFAIL5999.77
Adder2-8-sFAIL6000.42
Adder2-8-cFAIL6000.42
adder-8-unsatFAIL6000.42
adder-4-unsatFAIL6002.48
adder-6-unsatFAIL6002.66