Instances of family Adder solved by caqe-picosat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
adder-2-unsatUNSAT0.01
Adder2-2-cUNSAT0.03
Adder2-16-sFAIL600
Adder2-8-cFAIL600
adder-12-satFAIL600
adder-12-unsatFAIL600
adder-14-satFAIL600
Adder2-10-sFAIL600
Adder2-8-sFAIL600
adder-10-satFAIL600