Sota solver results for family mA-t2-3qbf-5cnf-160var-640cl <br> QBFEVAL'05

qbflib.org

Sota solver results for family mA-t2-3qbf-5cnf-160var-640cl
QBFEVAL'05

Instance	Solver	Result	Time
3qbf-5cnf-160var-640cl.0	WalkQSAT	SAT	0
3qbf-5cnf-160var-640cl.1	QbflHR	SAT	0
3qbf-5cnf-160var-640cl.2	QbflHR	SAT	0
3qbf-5cnf-160var-640cl.3	sSolve	SAT	0
3qbf-5cnf-160var-640cl.4	QbflHR	SAT	0
3qbf-5cnf-160var-640cl.5	GRL	SAT	0
3qbf-5cnf-160var-640cl.6	WalkQSAT	SAT	0
3qbf-5cnf-160var-640cl.7	semprop	SAT	0
3qbf-5cnf-160var-640cl.8	QbflHR	SAT	0
3qbf-5cnf-160var-640cl.9	WalkQSAT	SAT	0

Contact | Organization | Links | Citing QBFLIB