Instances of family Adder solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
adder-2-unsatUNSAT0.04
Adder2-2-cFAIL0.07
adder-14-satFAIL133.54
Adder2-16-sFAIL162.63
Adder2-8-cFAIL275.15
adder-12-unsatFAIL303.64
adder-10-satFAIL374.34
adder-12-satFAIL418.84
Adder2-10-sFAIL599.12
Adder2-8-sFAIL599.12