Sota solver results for family mA-t2-5qbf-5cnf-80var-320cl <br> QBFEVAL'05

qbflib.org

Sota solver results for family mA-t2-5qbf-5cnf-80var-320cl
QBFEVAL'05

Instance	Solver	Result	Time
5qbf-5cnf-80var-320cl.0	QbflHR	SAT	0
5qbf-5cnf-80var-320cl.1	QbflHR	SAT	0
5qbf-5cnf-80var-320cl.2	QbflHR	SAT	0
5qbf-5cnf-80var-320cl.3	skizzo_v0.4	SAT	0
5qbf-5cnf-80var-320cl.4	QUANTOR	SAT	0
5qbf-5cnf-80var-320cl.5	semprop	SAT	0
5qbf-5cnf-80var-320cl.6	sSolve	SAT	0
5qbf-5cnf-80var-320cl.7	QbflHR	SAT	0
5qbf-5cnf-80var-320cl.8	QbflHR	SAT	0
5qbf-5cnf-80var-320cl.9	QUANTOR	SAT	0

Contact | Organization | Links | Citing QBFLIB