Sota solver results for family RankingFunctions
Prenex CNF Track


InstanceSolverResultTime
rankfunc18_unsigned_64Qute_defaultSAT0
rankfunc19_signed_64Qute_defaultSAT0
rankfunc19_unsigned_64Qute_defaultSAT0
rankfunc21_signed_64Qute_defaultSAT0
rankfunc21_unsigned_64Qute_defaultSAT0
rankfunc30_signed_64Qute_defaultSAT0
rankfunc30_unsigned_64Qute_defaultSAT0
rankfunc3_signed_64Qute_defaultSAT0
rankfunc3_unsigned_64Qute_defaultSAT0
rankfunc42_signed_64Qute_defaultSAT0