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

qbflib.org

Sota solver results for family k_dum_n
QBFEVAL'05

Instance	Solver	Result	Time
k_dum_n-12	QUANTOR	SAT	0.02
k_dum_n-16	QUANTOR	SAT	0.03
k_dum_n-20	QUANTOR	SAT	0.02
k_dum_n-21	QUANTOR	SAT	0.03
k_dum_n-4	semprop	SAT	0.01
k_dum_n-8	semprop	SAT	0.02

Contact | Organization | Links | Citing QBFLIB