Instances of family Adder solved by caqe-minisat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
Adder2-2-cUNSAT0.33
adder-2-unsatUNSAT0.64
Adder2-8-sFAIL92.67
Adder2-10-sFAIL104.27
Adder2-16-sFAIL113.61
adder-12-unsatFAIL181.49
adder-14-satFAIL184.61
adder-12-satFAIL198.38
adder-10-satFAIL209.9
Adder2-8-cFAIL600