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

qbflib.org

Sota solver results for family s3271
QBFEVAL'04

Instance	Solver	Result	Time
s3271_d12_s	QBFL-JW	UNSAT	0.16
s3271_d15_s	QBFL-BS	UNSAT	0.22
s3271_d18_u	QBFL-BS	UNSAT	0.31
s3271_d19_u	QBFL-BS	UNSAT	0.32
s3271_d20_u	QBFL-JW	UNSAT	0.35
s3271_d22_u	QBFL-JW	UNSAT	0.4
s3271_d2_s	QBFL-BS	UNSAT	0.02
s3271_d5_s	QBFL-BS	UNSAT	0.05

Contact | Organization | Links | Citing QBFLIB