Sota solver results for family Adder
QBFEVAL'07


InstanceSolverResultTime
adder-10-satqZillaSAT37.96
adder-12-satqZillaSAT115.94
adder-14-satqSSSAT587.71
adder-4-satEBDDRESSAT0.05
adder-6-satEBDDRESSAT0.86
adder-8-satpreQuel_sKizzo-0.10SAT8.95
Adder2-4-cAQME-1NNUNSAT0.93
Adder2-4-sQUANTOR_2.15SAT0.17
Adder2-6-ssKizzo-0.10-qckSAT1.2
Adder2-8-spreQuel_sKizzo-0.10SAT11.17