Instances of family disjunctive_decomposition solved by ijtihad
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
pdtpmsmiimSAT0
eijkbs4863SAT0
kenflashp12SAT0
neclaftp4001FAIL900.09