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


InstanceSolverResultTime
s1196_d2_scaqe-portfolioSAT2.73
s1196_d3_ucaqe-portfolioUNSAT152.77
s1196_d4_ucaqe-portfolioUNSAT128.15
s1196_d5_ucaqe-portfolioUNSAT180.32
s1196_d7_ucaqe-portfolioUNSAT298.33