Sota solver results for family Adder
QBFEVAL'06


InstanceSolverResultTime
adder-10-satsKizzo-0.9-stdSAT26.45
adder-12-satsKizzo-0.9-stdSAT383.5
adder-14-satsKizzo-0.9-stdSAT588.46
adder-16-satsKizzo-0.9-stdSAT3833.82
adder-4-satSQBFSAT0.17
adder-6-satsKizzo-0.9-absSAT5.8
adder-8-satsKizzo-0.9-stdSAT8.9
Adder2-4-cqube4.0UNSAT0.35
Adder2-4-s2clsQSAT0.16
Adder2-6-ssKizzo-0.9-absSAT1.66
Adder2-8-ssKizzo-0.9-absSAT15.33