Instances of family disjunctive_decomposition solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
kenflashp12SAT0.34
pdtpmsmiimSAT72.51
eijkbs4863SAT73.18
neclaftp4001FAIL889.87
bobsmfpuFAIL890.06