Instances of family Adder solved by Rareqs_2018
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
Adder2-8-cUNSAT0
Adder2-16-cUNSAT1.68
Adder2-8-sSAT365.09
adder-12-satFAIL900.03
Adder2-16-sFAIL900.03
adder-12-unsatFAIL900.04
adder-14-satFAIL900.05
Adder2-10-sFAIL900.07
Adder2-14-sFAIL900.07
adder-10-satFAIL900.09