Instances of family disjunctive_decomposition solved by GhostQ-PG_plain
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
neclaftp4001FAIL900
pdtpmsmiimFAIL900
bobsmfpuFAIL900
eijkbs4863FAIL900
kenflashp12FAIL900