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

qbflib.org

Sota solver results for family k_dum_n
QBFEVAL'04

Instance	Solver	Result	Time
k_dum_n-1	QUANTOR	SAT	0
k_dum_n-16	QUANTOR	SAT	0.03
k_dum_n-18	semprop	SAT	0.12
k_dum_n-3	QUANTOR	SAT	0.02
k_dum_n-4	QUANTOR	SAT	0
k_dum_n-5	QUANTOR	SAT	0.01
k_dum_n-6	QUANTOR	SAT	0.01
k_dum_n-8	QUANTOR	SAT	0.02

Contact | Organization | Links | Citing QBFLIB