Instances of family Abduction solved by xb-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
aim-100-1_6-yes1-2-00SAT0.02
aim-50-6_0-yes1-3-50UNSAT0.5
par8-1-c-50UNSAT0.56
aim-100-6_0-yes1-3-50SAT1.24
aim-200-1_6-yes1-4-90SAT13.46
jnh212-50UNSAT26.97
par8-4-50UNSAT27.62
par16-1-50UNSAT60.96
ii32b1-00SAT119.87
f600-50FAIL599.61