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

qbflib.org

Instances of family Chain solved by skizzo_v0.4
QBFEVAL'05

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

Contact | Organization | Links | Citing QBFLIB