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


InstanceSolverResultTime
k_dum_p-12caqe-portfolioUNSAT0.12
k_dum_p-14caqe-portfolioUNSAT0.24
k_dum_p-16caqe-portfolioUNSAT0.22
k_dum_p-17caqe-portfolioUNSAT0.22
k_dum_p-2caqe-portfolioUNSAT0.12
k_dum_p-20caqe-portfolioUNSAT0.22
k_dum_p-21caqe-portfolioUNSAT0.22
k_dum_p-3caqe-portfolioUNSAT0.12
k_dum_p-4caqe-portfolioUNSAT0.12
k_dum_p-6caqe-portfolioUNSAT0.12