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


InstanceSolverResultTime
k_branch_p-10aqme-10UNSAT1.38
k_branch_p-11aqme-10UNSAT2.21
k_branch_p-12aqme-10UNSAT2.42
k_branch_p-14caqe-portfolioUNSAT5.73
k_branch_p-16caqe-portfolioUNSAT6.33
k_branch_p-18caqe-portfolioUNSAT9.84
k_branch_p-5caqe-portfolioUNSAT0.42
k_branch_p-6squeezebf+aqmeUNSAT0.72
k_branch_p-8aqme-10UNSAT0.92