Instances of family k_d4_p solved by <a href='solver_detail.php?solver=8'>semprop</a> <br> QBFEVAL'04

qbflib.org

Instances of family k_d4_p solved by semprop
QBFEVAL'04

Instance	Result	Time
k_d4_p-3	UNSAT	0.05
k_d4_p-6	UNSAT	0.9
k_d4_p-7	UNSAT	1.98
k_d4_p-13	UNSAT	82.84
k_d4_p-14	UNSAT	140.37
k_d4_p-16	UNSAT	391.92
k_d4_p-17	UNSAT	645.03
k_d4_p-19	FAIL	901.01

Contact | Organization | Links | Citing QBFLIB