Instances of family Adder solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
Adder2-2-sSAT0.04
adder-2-satSAT0.06
Adder2-4-sSAT0.21
Adder2-2-cUNSAT0.35
adder-4-satSAT0.77
adder-2-unsatUNSAT0.95
adder-4-unsatFAIL1.32
Adder2-6-sSAT2.66
Adder2-6-cFAIL5.6
Adder2-8-cFAIL8.09
adder-6-satSAT8.95
Adder2-4-cFAIL10.75
Adder2-8-sSAT42.49
adder-16-unsatFAIL93.03
Adder2-10-cFAIL133.8
adder-6-unsatFAIL149.65
adder-8-satSAT209.29
adder-12-unsatFAIL230.62
adder-14-unsatFAIL659.49
adder-8-unsatFAIL678.22
adder-10-unsatFAIL680.04
Adder2-16-cFAIL682.98
Adder2-10-sFAIL803.54
Adder2-14-cFAIL807.05
Adder2-12-sFAIL851.22
Adder2-12-cFAIL900.54
Adder2-16-sFAIL900.59
Adder2-14-sFAIL900.62
adder-16-satFAIL900.8
adder-10-satFAIL900.8
adder-12-satFAIL900.89
adder-14-satFAIL900.9