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


InstanceSolverResultTime
s713_d10_ucaqe-portfolioUNSAT270.9
s713_d2_scaqe-portfolioSAT14.54
s713_d3_scaqe-portfolioSAT5.93
s713_d4_scaqe-portfolioSAT27.27
s713_d5_scaqe-portfolioSAT38.8
s713_d6_scaqe-portfolioSAT71.54
s713_d7_ucaqe-portfolioUNSAT141.16
s713_d8_ucaqe-portfolioUNSAT218.89