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

qbflib.org

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

Instance	Solver	Result	Time
k_t4p_n-12	qesto	SAT	0.07
k_t4p_n-13	qesto	SAT	0.07
k_t4p_n-14	qesto	SAT	0.08
k_t4p_n-15	qesto	SAT	0.09
k_t4p_n-2	qesto	SAT	0.01
k_t4p_n-4	qesto	SAT	0.02
k_t4p_n-5	qesto	SAT	0.03
k_t4p_n-6	qesto	SAT	0.03
k_t4p_n-8	qesto	SAT	0.04
k_t4p_n-9	qesto	SAT	0.05

Contact | Organization | Links | Citing QBFLIB