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

InstanceResultTime
eijkbs4863SAT0
kenflashp12SAT0
pdtpmsmiimSAT0
neclaftp4001UNSAT58.09