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


InstanceSolverResultTime
s3330_d2_scaqe-portfolioSAT7.83
s3330_d3_scaqe-portfolioSAT131.56