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


InstanceSolverResultTime
k_d4_n-1caqe-portfolioSAT0.12
k_d4_n-10caqe-portfolioSAT0.53
k_d4_n-14caqe-portfolioSAT0.93
k_d4_n-15caqe-portfolioSAT1.02
k_d4_n-16caqe-portfolioSAT1.12
k_d4_n-2caqe-portfolioSAT0.12
k_d4_n-20caqe-portfolioSAT1.52
k_d4_n-3caqe-portfolioSAT0.12
k_d4_n-7caqe-portfolioSAT0.32
k_d4_n-8caqe-portfolioSAT0.42