Instances of family Abduction solved by iProver-qbf-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
f600-00FAIL900
f600-50FAIL900
ii8d1-00FAIL900
ii8d1-90FAIL900
ssa7552-158-00FAIL900