Sota solver results for family RankingFunctions
QBFEVAL'16 - 2QBF Track.


InstanceSolverResultTime
rankfunc15_signed_16qestosSAT0.01
rankfunc15_unsigned_16areqsSAT0.01
rankfunc16_signed_32rareqsSAT0.03
rankfunc16_signed_64areqsSAT0.08
rankfunc16_unsigned_64rareqsSAT0.08
rankfunc17_unsigned_16areqsSAT0.01
rankfunc18_signed_32areqsSAT0.03
rankfunc19_signed_16areqsSAT0.02
rankfunc19_unsigned_64areqsSAT0.09
rankfunc1_signed_32aspQSAT0.03
rankfunc1_unsigned_64areqsSAT0.06
rankfunc21_signed_32areqsSAT0.03
rankfunc22_signed_32areqsSAT0.02
rankfunc22_unsigned_64areqsSAT0.07
rankfunc25_signed_64areqsSAT0.03
rankfunc25_unsigned_16qestosSAT0.01
rankfunc26_unsigned_64areqsSAT0.07
rankfunc27_signed_16qestosSAT0
rankfunc27_signed_32areqsSAT0.01
rankfunc28_signed_16rareqsSAT0
rankfunc2_signed_16cadetSAT0.01
rankfunc33_unsigned_64areqsSAT0.04
rankfunc34_unsigned_32rareqsSAT0.01
rankfunc36_signed_32areqsSAT0.01
rankfunc37_signed_16aspQUNSAT0
rankfunc3_unsigned_32areqsSAT0.04
rankfunc3_unsigned_64areqsSAT0.1
rankfunc42_signed_64rareqsSAT0.05
rankfunc43_signed_16areqsSAT0.01
rankfunc43_signed_64rareqsSAT0.04
rankfunc43_unsigned_32areqsSAT0.02
rankfunc44_unsigned_64areqsSAT0.02
rankfunc45_signed_32areqsSAT0.03
rankfunc45_signed_64areqsSAT0.06
rankfunc45_unsigned_16aspQSAT0.01
rankfunc45_unsigned_64areqsSAT0.05
rankfunc46_unsigned_16aspQSAT0.01
rankfunc46_unsigned_64areqsSAT0.05
rankfunc52_unsigned_32areqsSAT0.03
rankfunc55_signed_16cadetSAT0.01
rankfunc56_unsigned_16areqsSAT0.01
rankfunc57_signed_16cadetSAT0.02
rankfunc57_signed_32cadetSAT0.04
rankfunc58_signed_32aspQSAT0.03
rankfunc58_unsigned_32areqsSAT0.03
rankfunc5_unsigned_16qestosSAT0
rankfunc60_signed_16aspQSAT0.01
rankfunc60_signed_64cadetSAT0.06
rankfunc61_signed_32qestosSAT0.03
rankfunc8_unsigned_64areqsSAT0.09