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

InstanceResultTime
Adder2-2-cUNSAT0.02
adder-2-unsatUNSAT0.1
Adder2-8-sSAT464.92
Adder2-8-cFAIL599.71
adder-14-satFAIL599.81
Adder2-10-sFAIL599.81
adder-10-satFAIL599.81
Adder2-16-sFAIL599.81
adder-12-satFAIL599.81
adder-12-unsatFAIL599.81