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

qbflib.org

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

Instance	Solver	Result	Time
adder-10-sat	AIGSolve	SAT	9.99
adder-12-sat	AIGSolve	SAT	17.88
adder-12-unsat	AIGSolve	UNSAT	29.69
adder-14-sat	AIGSolve	SAT	26.04
Adder2-10-s	caqe_2017_v2	SAT	1.01
Adder2-14-s	caqe_2017_v2	SAT	3.38
Adder2-16-c	QELL_unit	UNSAT	0.43
Adder2-16-s	caqe_2017_v2	SAT	5.44
Adder2-8-c	QELL_default	UNSAT	0.07
Adder2-8-s	caqe_2017_v2	SAT	0.47

Contact | Organization | Links | Citing QBFLIB