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

qbflib.org

Sota solver results for family k_ph_n
QBFEVAL'04

Instance	Solver	Result	Time
k_ph_n-1	CSBJ	SAT	0
k_ph_n-21	QSAT	UNSAT	22.22
k_ph_n-3	CLearn	SAT	0
k_ph_n-4	semprop	SAT	0
k_ph_n-6	CLearn	SAT	0.05
k_ph_n-7	QUANTOR	SAT	0.16
k_ph_n-8	yQuaffle	SAT	0.43

Contact | Organization | Links | Citing QBFLIB