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


InstanceSolverResultTime
k_branch_n-10caqe-portfolioSAT2.53
k_branch_n-11caqe-portfolioSAT3.42
k_branch_n-12caqe-portfolioSAT4.53
k_branch_n-16caqe-portfolioSAT6.53
k_branch_n-2caqe-portfolioSAT0.12
k_branch_n-3caqe-portfolioSAT0.22
k_branch_n-4caqe-portfolioSAT0.32
k_branch_n-8caqe-portfolioSAT1.52
k_branch_n-9caqe-portfolioSAT1.92