Instances of family Adder solved by <a href='solver_detail.php?solver=34'>sKizzo-0.9-abs</a> <br> QBFEVAL'06

qbflib.org

Instances of family Adder solved by sKizzo-0.9-abs
QBFEVAL'06

Instance	Result	Time
Adder2-4-s	SAT	0.2
adder-4-sat	SAT	0.46
Adder2-6-s	SAT	1.66
adder-6-sat	SAT	5.8
adder-8-sat	SAT	10.74
Adder2-8-s	SAT	15.33
adder-10-sat	SAT	45.7
adder-6-unsat	FAIL	64.08
adder-4-unsat	FAIL	66.04
Adder2-6-c	FAIL	83.73
Adder2-4-c	FAIL	86.83
adder-8-unsat	FAIL	149.27
Adder2-8-c	FAIL	346.24
adder-12-sat	SAT	415.68
adder-14-sat	SAT	874.33
adder-16-sat	FAIL	6000.85

Contact | Organization | Links | Citing QBFLIB