Instances of family Adder solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
Adder2-2-cUNSAT0.57
adder-2-unsatUNSAT0.86
Adder2-16-sFAIL105.44
Adder2-8-cUNSAT138.93
Adder2-10-sFAIL258.35
adder-14-satFAIL260.33
adder-10-satFAIL385.14
Adder2-8-sFAIL520.63
adder-12-unsatFAIL599.22
adder-12-satFAIL599.22