Instances of family Chain solved by <a href='solver_detail.php?solver=70'>ssolve-A</a> <br> QBFEVAL'08

qbflib.org

Instances of family Chain solved by ssolve-A
QBFEVAL'08

Instance	Result	Time
CHAIN12v.13	SAT	0.07
CHAIN13v.14	SAT	0.08
CHAIN14v.15	SAT	0.1
CHAIN15v.16	SAT	0.12
CHAIN16v.17	SAT	0.13
CHAIN17v.18	SAT	0.15
CHAIN18v.19	SAT	0.17
CHAIN19v.20	SAT	0.19
CHAIN20v.21	SAT	0.22
CHAIN21v.22	SAT	0.24
CHAIN22v.23	SAT	0.27
CHAIN23v.24	SAT	0.3

Contact | Organization | Links | Citing QBFLIB