Sota solver results for family k_path_p <br> QBFEVAL'16 - Prenex CNF Track.

qbflib.org

Sota solver results for family k_path_p
QBFEVAL'16 - Prenex CNF Track.

Instance	Solver	Result	Time
k_path_p-10	qesto	UNSAT	0.02
k_path_p-13	qesto	UNSAT	0.02
k_path_p-14	qesto	UNSAT	0.02
k_path_p-15	qesto	UNSAT	0.03
k_path_p-16	qesto	UNSAT	0.03
k_path_p-18	qestos	UNSAT	0.03
k_path_p-19	qesto	UNSAT	0.03
k_path_p-2	qesto	UNSAT	0
k_path_p-21	qestos	UNSAT	0.04
k_path_p-5	qesto	UNSAT	0.01

Contact | Organization | Links | Citing QBFLIB