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

qbflib.org

Instances of family Chain solved by ssolveB
QBFEVAL'08

Instance	Result	Time
CHAIN12v.13	SAT	0.07
CHAIN13v.14	SAT	0.1
CHAIN14v.15	SAT	0.11
CHAIN15v.16	SAT	0.12
CHAIN16v.17	SAT	0.14
CHAIN17v.18	SAT	0.16
CHAIN18v.19	SAT	0.19
CHAIN19v.20	SAT	0.22
CHAIN20v.21	SAT	0.24
CHAIN21v.22	SAT	0.26
CHAIN22v.23	SAT	0.31
CHAIN23v.24	SAT	0.34

Contact | Organization | Links | Citing QBFLIB