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

InstanceResultTime
bobsmfpuFAIL900
eijkbs4863FAIL900
kenflashp12FAIL900
neclaftp4001FAIL900
pdtpmsmiimFAIL900