Instances of family Abduction solved by depqbf-v3
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
par8-1-c-50UNSAT0.15
aim-50-6_0-yes1-3-50UNSAT0.25
aim-100-1_6-yes1-2-00SAT0.27
aim-200-1_6-yes1-4-90SAT0.47
aim-100-6_0-yes1-3-50SAT1.06
par8-4-50UNSAT1.83
jnh212-50UNSAT2.78
ii32b1-00SAT5.87
par16-1-50UNSAT13.59
f600-50FAIL599.81