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

qbflib.org

Sota solver results for family Qq3k3k1k1v80v80v80m8
QBFEVAL'06

Instance	Solver	Result	Time
Qq3k3k1k1v80v80v80m8s0	sKizzo-0.9-std	SAT	0
Qq3k3k1k1v80v80v80m8s1	sKizzo-0.9-std	SAT	0
Qq3k3k1k1v80v80v80m8s2	preQuantor	SAT	0
Qq3k3k1k1v80v80v80m8s3	sKizzo-0.9-std	SAT	0
Qq3k3k1k1v80v80v80m8s4	Qbfl	SAT	0
Qq3k3k1k1v80v80v80m8s5	yQuaffle	SAT	0
Qq3k3k1k1v80v80v80m8s6	Qbfl	SAT	0
Qq3k3k1k1v80v80v80m8s7	2clsQ	SAT	0
Qq3k3k1k1v80v80v80m8s8	sKizzo-0.9-abs	SAT	0
Qq3k3k1k1v80v80v80m8s9	QUANTOR	SAT	0

Contact | Organization | Links | Citing QBFLIB