Instances of family Adder solved by Rareqs_2018
Prenex CNF Track

InstanceResultTime
Adder2-8-cUNSAT0
Adder2-16-cUNSAT1.67
Adder2-8-sSAT322.22
Adder2-16-sFAIL900
adder-12-unsatFAIL900
Adder2-10-sFAIL900
adder-10-satFAIL900
Adder2-14-sFAIL900