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


InstanceSolverResultTime
k_dum_n-1caqe-portfolioSAT0.12
k_dum_n-11caqe-portfolioSAT0.13
k_dum_n-12caqe-portfolioSAT0.12
k_dum_n-17caqe-portfolioSAT0.22
k_dum_n-18caqe-portfolioSAT0.22
k_dum_n-2caqe-portfolioSAT0.12
k_dum_n-21caqe-portfolioSAT0.22
k_dum_n-3caqe-portfolioSAT0.12
k_dum_n-5caqe-portfolioSAT0.12
k_dum_n-9caqe-portfolioSAT0.12