Instances of family Adder solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
Adder2-4-sSAT0.2
adder-4-satSAT0.45
adder-4-unsatFAIL0.62
adder-8-unsatFAIL2.57
Adder2-6-sSAT39.49
adder-6-satSAT83.1
Adder2-8-cFAIL175.24
Adder2-4-cFAIL398.7
Adder2-8-sSAT532.62
adder-6-unsatFAIL584.51
Adder2-6-cFAIL595.83
adder-14-satFAIL5589.39
adder-12-satFAIL6000.5
adder-10-satFAIL6000.53
adder-8-satFAIL6000.72
adder-16-satFAIL6000.89