Sota solver results for family Abduction
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
ii32b1-00quabs-minisatSAT0.04
par16-1-50qstsUNSAT0.38
par8-1-c-50qstsUNSAT0.01
par8-4-50quabs-minisatUNSAT0.02