Instances of family disjunctive_decomposition solved by <a href='solver_detail.php?solver=279'>qbfrelay</a> <br> QBFEVAL'17 - Prenex 2QBF Track

qbflib.org

Instances of family disjunctive_decomposition solved by qbfrelay
QBFEVAL'17 - Prenex 2QBF Track

Instance	Result	Time
kenflashp04	SAT	0.13
pdtpmsrotate32	SAT	0.17
bobtuint31neg	SAT	0.29
eijkbs3330	SAT	1.03
neclaftp2002	FAIL	895.34

Contact | Organization | Links | Citing QBFLIB