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


InstanceSolverResultTime
query01_ntrivil_1344caqe-portfolioUNSAT0.32
query11_query21_1344caqe-portfolioUNSAT3.83
query21_ntrivil_1344caqe-portfolioUNSAT1.12
query26_query34_1344aqme-10SAT0.84
query31_reachqu_1344ncaqe-portfolioSAT8.34
query48_query15_1344caqe-portfolioUNSAT0.52
query51_query50_1344caqe-portfolioUNSAT1.82