Instances of family Abduction solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
ii8d1-90UNSAT85.04
ii8d1-00SAT613.43
ssa7552-158-00FAIL900
f600-00FAIL900
f600-50FAIL900