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

InstanceResultTime
eijkbs4863SAT0
pdtpmsmiimSAT0
kenflashp12SAT0.01
neclaftp4001FAIL520.58