Instances of family Adder solved by yQuaffle
QBFEVAL'05

InstanceResultTime
adder-2-unsatUNSAT0.01
adder-2-satSAT0.09
Adder2-2-cUNSAT0.11
Adder2-2-sSAT0.56
Adder2-16-sFAIL763.93
Adder2-14-sFAIL769.4
Adder2-12-sFAIL775.8
Adder2-16-cFAIL781.1
Adder2-14-cFAIL786.88
Adder2-10-sFAIL789.29
Adder2-12-cFAIL793.71
Adder2-10-cFAIL805.58
Adder2-8-sFAIL809.11
Adder2-8-cFAIL820.17
adder-16-satFAIL840.8
Adder2-6-sFAIL842.63
Adder2-6-cFAIL845.08
adder-14-satFAIL847.6
adder-12-satFAIL858.06
adder-10-satFAIL870.35
Adder2-4-sFAIL878.72
adder-8-satFAIL878.89
Adder2-4-cFAIL879.91
adder-6-unsatFAIL881.64
adder-16-unsatFAIL883.13
adder-8-unsatFAIL885.45
adder-12-unsatFAIL887.92
adder-14-unsatFAIL889.15
adder-6-satFAIL890.3
adder-10-unsatFAIL890.59
adder-4-unsatFAIL890.86
adder-4-satFAIL897.51