Instances of family Abduction solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
aim-100-1_6-yes1-2-00FAIL0.02
aim-100-6_0-yes1-3-50FAIL0.06
aim-200-1_6-yes1-4-90FAIL0.09
aim-50-6_0-yes1-3-50UNSAT0.11
par8-1-c-50UNSAT0.11
jnh212-50UNSAT0.41
par8-4-50UNSAT0.71
par16-1-50UNSAT14.71
ii32b1-00FAIL501.79
f600-50FAIL601.53