Instances of family disjunctive_decomposition solved by Iprover-HQSpre-Bloqqer
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
pdtpmsmiimSAT0
kenflashp12SAT0
neclaftp4001FAIL900.08
eijkbs4863FAIL900.08