Sota solver results for family Adder
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
adder-10-satsqueezebf+aqmeSAT274.23
adder-2-unsatcaqe-portfolioUNSAT0.12
Adder2-2-ccaqe-portfolioUNSAT0.12
Adder2-8-saqme-10SAT9.85