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


InstanceSolverResultTime
s510_d11_scaqe-portfolioSAT92.99
s510_d3_scaqe-portfolioSAT1.53
s510_d6_scaqe-portfolioSAT18.55