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

InstanceResultTime
par8-1-c-50UNSAT0.96
ii32b1-00SAT7.69
par8-4-50UNSAT25.82
par16-1-50UNSAT35.41
f600-50FAIL599.71