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

qbflib.org

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

Instance	Result	Time
Adder2-4-s	SAT	0.22
adder-4-sat	SAT	0.49
Adder2-6-s	SAT	1.75
adder-6-sat	SAT	5.96
adder-8-sat	SAT	8.9
Adder2-8-s	SAT	16.07
adder-10-sat	SAT	26.45
adder-6-unsat	FAIL	57.34
Adder2-6-c	FAIL	61.19
adder-4-unsat	FAIL	66.3
adder-8-unsat	FAIL	124.63
Adder2-4-c	FAIL	142.66
Adder2-8-c	FAIL	350.79
adder-12-sat	SAT	383.5
adder-14-sat	SAT	588.46
adder-16-sat	SAT	3833.82

Contact | Organization | Links | Citing QBFLIB