Sota solver results for family Adder <br> QBFEVAL'18 - Prenex CNF Track

qbflib.org

Sota solver results for family Adder
QBFEVAL'18 - Prenex CNF Track

Instance	Solver	Result	Time
adder-10-sat	Qute_opt500	SAT	2.12
adder-12-sat	Qute_random	SAT	4.52
adder-12-unsat	Qute_opt500	SAT	7.66
adder-14-sat	Qute_opt500	SAT	8.35
Adder2-10-s	Qute_random	SAT	1.7
Adder2-14-s	Qute_random	SAT	4.36
Adder2-16-c	Heretiq-simple	UNSAT	1.61
Adder2-16-s	Qute_default	SAT	6.44
Adder2-8-c	Heretiq-cube	UNSAT	0
Adder2-8-s	Qute_random	SAT	0.95

Contact | Organization | Links | Citing QBFLIB