Sota solver results for family Chain <br> QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

qbflib.org

Sota solver results for family Chain
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

Instance	Solver	Result	Time
CHAIN12v.13	caqe-minisat-par	SAT	0.02
CHAIN14v.15	hiqqerfork	SAT	0.02
CHAIN16v.17	hiqqerfork	SAT	0.02
CHAIN17v.18	hiqqerfork	SAT	0.02
CHAIN18v.19	hiqqerfork	SAT	0.02
CHAIN19v.20	hiqqerfork	SAT	0.03
CHAIN20v.21	hiqqerfork	SAT	0.03
CHAIN21v.22	hiqqerfork	SAT	0.03
CHAIN22v.23	hiqqerfork	SAT	0.03
CHAIN23v.24	hiqqerfork	SAT	0.03

Contact | Organization | Links | Citing QBFLIB