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

InstanceResultTime
kenflashp12FAIL900.01
neclaftp4001FAIL900.03
pdtpmsmiimFAIL900.04
eijkbs4863FAIL900.09