Instances of family Abduction solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
aim-100-6_0-yes1-3-50SAT0.63
aim-200-1_6-yes1-4-90SAT0.64
jnh212-50UNSAT0.88
par8-4-50UNSAT0.88
aim-100-1_6-yes1-2-00SAT1.01
aim-50-6_0-yes1-3-50UNSAT1.11
par8-1-c-50UNSAT1.27
ii32b1-00SAT2.2
par16-1-50UNSAT6.08
f600-50FAIL600