Instances of family Chain solved by <a href='solver_detail.php?solver=8'>semprop</a> <br> QBFEVAL'05

qbflib.org

Instances of family Chain solved by semprop
QBFEVAL'05

Instance	Result	Time
CHAIN18v.19	SAT	0.01
CHAIN20v.21	SAT	0.02
CHAIN14v.15	SAT	0.02
CHAIN12v.13	SAT	0.02
CHAIN19v.20	SAT	0.02
CHAIN17v.18	SAT	0.02
CHAIN21v.22	SAT	0.03
CHAIN15v.16	SAT	0.03
CHAIN13v.14	SAT	0.03
CHAIN23v.24	SAT	0.04
CHAIN16v.17	SAT	0.04
CHAIN22v.23	SAT	0.05

Contact | Organization | Links | Citing QBFLIB