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


InstanceSolverResultTime
rankfunc13_signed_32caqe-portfolioSAT0.24
rankfunc13_unsigned_64caqe-portfolioSAT0.52
rankfunc14_signed_64caqe-portfolioSAT0.52
rankfunc17_unsigned_16caqe-portfolioSAT0.22
rankfunc22_signed_64caqe-portfolioSAT0.72
rankfunc33_signed_32caqe-portfolioSAT0.42
rankfunc3_signed_64caqe-portfolioSAT2.73
rankfunc51_signed_32caqe-portfolioSAT0.32
rankfunc5_signed_32caqe-portfolioSAT0.22
rankfunc5_unsigned_64caqe-portfolioSAT0.42