Sota solver results for family Abduction
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
aim-100-1_6-yes1-2-00caqe-portfolioSAT0.12
aim-100-6_0-yes1-3-50aqme-10SAT0.6
aim-200-1_6-yes1-4-90aqme-10SAT0.63
aim-50-6_0-yes1-3-50caqe-portfolioUNSAT0.62
ii32b1-00aqme-10SAT2.18
jnh212-50aqme-10UNSAT0.85
par16-1-50squeezebf+aqmeUNSAT6.08
par8-1-c-50caqe-portfolioUNSAT0.62
par8-4-50squeezebf+aqmeUNSAT0.88