Instances of family Chain solved by <a href='solver_detail.php?solver=77'>QuBE6.1</a> <br> QBFEVAL'08

qbflib.org

Instances of family Chain solved by QuBE6.1
QBFEVAL'08

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

Contact | Organization | Links | Citing QBFLIB