Unique instances for nenofex-qbfeval10
QBFEVAL'10 - Competitive Track.


InstanceTimeResult
adder-14-unsat110.66UNSAT
adder-12-unsat69.64UNSAT
adder-16-unsat170.6UNSAT