Instances of family Adder solved by aqua-s3o
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
Adder2-2-cUNSAT0
adder-2-unsatUNSAT0.01
Adder2-10-sFAIL599.72
Adder2-8-sFAIL599.72
adder-10-satFAIL599.82
adder-12-unsatFAIL599.82
Adder2-16-sFAIL599.85
adder-14-satFAIL599.85
Adder2-8-cFAIL599.92
adder-12-satFAIL599.92