Sota solver results for family Chain <br> QBFEVAL'16 - Prenex CNF Track.

qbflib.org

Sota solver results for family Chain
QBFEVAL'16 - Prenex CNF Track.

Instance	Solver	Result	Time
CHAIN12v.13	qesto	SAT	0
CHAIN14v.15	AIGSolve	SAT	0
CHAIN16v.17	AIGSolve	SAT	0.01
CHAIN17v.18	rareqs	SAT	0.01
CHAIN18v.19	qesto	SAT	0.01
CHAIN19v.20	AIGSolve	SAT	0.01
CHAIN20v.21	AIGSolve	SAT	0.01
CHAIN21v.22	rareqs	SAT	0.01
CHAIN22v.23	qesto	SAT	0.01
CHAIN23v.24	AIGSolve	SAT	0.02

Contact | Organization | Links | Citing QBFLIB