Sota solver results for family Adder
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
adder-10-satxb-bid-qstsUNSAT27.02
adder-14-satxb-bid-qstsUNSAT75.28
Adder2-16-sxb-bid-qstsUNSAT285.7
Adder2-2-cqstsUNSAT0.05