Instances of family Adder solved by struqs-10
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
Adder2-2-cUNSAT0.01
adder-2-unsatUNSAT0.2
Adder2-8-cFAIL599.71
adder-12-unsatFAIL599.71
adder-14-satFAIL599.71
Adder2-10-sFAIL599.71
Adder2-8-sFAIL599.71
adder-10-satFAIL599.71
Adder2-16-sFAIL599.72
adder-12-satFAIL599.81