Sota solver results for family Qq2k3k2v80v80m2 <br> QBFEVAL'06

qbflib.org

Sota solver results for family Qq2k3k2v80v80m2
QBFEVAL'06

Instance	Solver	Result	Time
Qq2k3k2v80v80m2s0	sKizzo-0.9-std	SAT	0
Qq2k3k2v80v80m2s1	yQuaffle	SAT	0
Qq2k3k2v80v80m2s2	GRL	SAT	0
Qq2k3k2v80v80m2s3	GRL	SAT	0
Qq2k3k2v80v80m2s4	qube4.0	SAT	0
Qq2k3k2v80v80m2s5	GRL	SAT	0
Qq2k3k2v80v80m2s6	2clsQ	SAT	0
Qq2k3k2v80v80m2s7	WalkQSAT	SAT	0
Qq2k3k2v80v80m2s8	QUANTOR	SAT	0
Qq2k3k2v80v80m2s9	WalkQSAT	SAT	0

Contact | Organization | Links | Citing QBFLIB