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


InstanceSolverResultTime
k_d4_p-1caqe-portfolioUNSAT0.12
k_d4_p-10caqe-portfolioUNSAT0.22
k_d4_p-11caqe-portfolioUNSAT0.22
k_d4_p-13caqe-portfolioUNSAT0.32
k_d4_p-16caqe-portfolioUNSAT0.32
k_d4_p-17caqe-portfolioUNSAT0.42
k_d4_p-20caqe-portfolioUNSAT0.42
k_d4_p-4caqe-portfolioUNSAT0.12
k_d4_p-7caqe-portfolioUNSAT0.22
k_d4_p-8caqe-portfolioUNSAT0.22