Instances of family Adder solved by Caqe-hqspre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
Adder2-8-sSAT0.92
Adder2-10-sSAT4.11
Adder2-8-cUNSAT9.55
Adder2-14-sSAT23.09
Adder2-16-sSAT47.03
adder-10-satSAT133.37
Adder2-16-cUNSAT195.17
adder-14-satFAIL900.02
adder-12-satFAIL900.03
adder-12-unsatFAIL900.1