Sota solver results for family k_poly_n <br> QBFEVAL'04

qbflib.org

Sota solver results for family k_poly_n
QBFEVAL'04

Instance	Solver	Result	Time
k_poly_n-1	QMRes	SAT	0.01
k_poly_n-11	QUANTOR	SAT	0.03
k_poly_n-15	QUANTOR	SAT	0.02
k_poly_n-18	QUANTOR	SAT	0.05
k_poly_n-3	QUANTOR	SAT	0.01
k_poly_n-4	QUANTOR	SAT	0.01
k_poly_n-7	QUANTOR	SAT	0.02
k_poly_n-8	QUANTOR	SAT	0.02

Contact | Organization | Links | Citing QBFLIB