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


InstanceSolverResultTime
s386_d10_ucaqe-portfolioUNSAT189.65
s386_d11_ucaqe-portfolioUNSAT105.91
s386_d12_ucaqe-portfolioUNSAT105.02
s386_d2_scaqe-portfolioSAT1.12
s386_d3_scaqe-portfolioSAT69.32
s386_d4_scaqe-portfolioSAT4.13
s386_d6_scaqe-portfolioSAT13.94
s386_d7_scaqe-portfolioSAT21.46
s386_d8_ucaqe-portfolioUNSAT27.37
s386_d9_ucaqe-portfolioUNSAT70.04