Instances of family Chain solved by <a href='solver_detail.php?solver=260'>par-pd-depqbf</a> <br> QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

qbflib.org

Instances of family Chain solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

Instance	Result	Time
CHAIN19v.20	SAT	0.51
CHAIN22v.23	SAT	0.51
CHAIN17v.18	SAT	0.51
CHAIN14v.15	SAT	0.51
CHAIN21v.22	SAT	0.51
CHAIN12v.13	SAT	0.51
CHAIN16v.17	SAT	0.51
CHAIN23v.24	SAT	0.51
CHAIN18v.19	SAT	0.51
CHAIN20v.21	SAT	0.52

Contact | Organization | Links | Citing QBFLIB