Detail page for RankingFunctions family


	Submitter:	Christoph Wintersteiger

	Suite:	Wintersteiger

	Domain:	Formal Verification

	Description:	Ranking function synthesis problems derived from Terminator benchmarks.

	Number of instances:	372

	Results:	2020 - Track 1 2019 - Track 1 2018 - Track 1 2018 - Track 2 2018 - Track 3 2017 - Track 1 2017 - Track 2 2017 - Track 3 2016 - Track 1 2016 - Track 2 2016 - Track 3 2016 - Track 5 2016 - Track 6 2016 - Track 7 2010 - Track 2

	Instances:	rankfunc0_signed_16 rankfunc0_signed_32 rankfunc0_signed_64 rankfunc0_unsigned_16 rankfunc0_unsigned_32 rankfunc0_unsigned_64 rankfunc10_signed_16 rankfunc10_signed_32 rankfunc10_signed_64 rankfunc10_unsigned_16 rankfunc10_unsigned_32 rankfunc10_unsigned_64 rankfunc11_signed_16 rankfunc11_signed_32 rankfunc11_signed_64 rankfunc11_unsigned_16 rankfunc11_unsigned_32 rankfunc11_unsigned_64 rankfunc12_signed_16 rankfunc12_signed_32 rankfunc12_signed_64 rankfunc12_unsigned_16 rankfunc12_unsigned_32 rankfunc12_unsigned_64 rankfunc13_signed_16 rankfunc13_signed_32 rankfunc13_signed_64 rankfunc13_unsigned_16 rankfunc13_unsigned_32 rankfunc13_unsigned_64 rankfunc14_signed_16 rankfunc14_signed_32 rankfunc14_signed_64 rankfunc14_unsigned_16 rankfunc14_unsigned_32 rankfunc14_unsigned_64 rankfunc15_signed_16 rankfunc15_signed_32 rankfunc15_signed_64 rankfunc15_unsigned_16 rankfunc15_unsigned_32 rankfunc15_unsigned_64 rankfunc16_signed_16 rankfunc16_signed_32 rankfunc16_signed_64 rankfunc16_unsigned_16 rankfunc16_unsigned_32 rankfunc16_unsigned_64 rankfunc17_signed_16 rankfunc17_signed_32 rankfunc17_signed_64 rankfunc17_unsigned_16 rankfunc17_unsigned_32 rankfunc17_unsigned_64 rankfunc18_signed_16 rankfunc18_signed_32 rankfunc18_signed_64 rankfunc18_unsigned_16 rankfunc18_unsigned_32 rankfunc18_unsigned_64 rankfunc19_signed_16 rankfunc19_signed_32 rankfunc19_signed_64 rankfunc19_unsigned_16 rankfunc19_unsigned_32 rankfunc19_unsigned_64 rankfunc1_signed_16 rankfunc1_signed_32 rankfunc1_signed_64 rankfunc1_unsigned_16 rankfunc1_unsigned_32 rankfunc1_unsigned_64 rankfunc20_signed_16 rankfunc20_signed_32 rankfunc20_signed_64 rankfunc20_unsigned_16 rankfunc20_unsigned_32 rankfunc20_unsigned_64 rankfunc21_signed_16 rankfunc21_signed_32 rankfunc21_signed_64 rankfunc21_unsigned_16 rankfunc21_unsigned_32 rankfunc21_unsigned_64 rankfunc22_signed_16 rankfunc22_signed_32 rankfunc22_signed_64 rankfunc22_unsigned_16 rankfunc22_unsigned_32 rankfunc22_unsigned_64 rankfunc23_signed_16 rankfunc23_signed_32 rankfunc23_signed_64 rankfunc23_unsigned_16 rankfunc23_unsigned_32 rankfunc23_unsigned_64 rankfunc24_signed_16 rankfunc24_signed_32 rankfunc24_signed_64 rankfunc24_unsigned_16 rankfunc24_unsigned_32 rankfunc24_unsigned_64 rankfunc25_signed_16 rankfunc25_signed_32 rankfunc25_signed_64 rankfunc25_unsigned_16 rankfunc25_unsigned_32 rankfunc25_unsigned_64 rankfunc26_signed_16 rankfunc26_signed_32 rankfunc26_signed_64 rankfunc26_unsigned_16 rankfunc26_unsigned_32 rankfunc26_unsigned_64 rankfunc27_signed_16 rankfunc27_signed_32 rankfunc27_signed_64 rankfunc27_unsigned_16 rankfunc27_unsigned_32 rankfunc27_unsigned_64 rankfunc28_signed_16 rankfunc28_signed_32 rankfunc28_signed_64 rankfunc28_unsigned_16 rankfunc28_unsigned_32 rankfunc28_unsigned_64 rankfunc29_signed_16 rankfunc29_signed_32 rankfunc29_signed_64 rankfunc29_unsigned_16 rankfunc29_unsigned_32 rankfunc29_unsigned_64 rankfunc2_signed_16 rankfunc2_signed_32 rankfunc2_signed_64 rankfunc2_unsigned_16 rankfunc2_unsigned_32 rankfunc2_unsigned_64 rankfunc30_signed_16 rankfunc30_signed_32 rankfunc30_signed_64 rankfunc30_unsigned_16 rankfunc30_unsigned_32 rankfunc30_unsigned_64 rankfunc31_signed_16 rankfunc31_signed_32 rankfunc31_signed_64 rankfunc31_unsigned_16 rankfunc31_unsigned_32 rankfunc31_unsigned_64 rankfunc32_signed_16 rankfunc32_signed_32 rankfunc32_signed_64 rankfunc32_unsigned_16 rankfunc32_unsigned_32 rankfunc32_unsigned_64 rankfunc33_signed_16 rankfunc33_signed_32 rankfunc33_signed_64 rankfunc33_unsigned_16 rankfunc33_unsigned_32 rankfunc33_unsigned_64 rankfunc34_signed_16 rankfunc34_signed_32 rankfunc34_signed_64 rankfunc34_unsigned_16 rankfunc34_unsigned_32 rankfunc34_unsigned_64 rankfunc35_signed_16 rankfunc35_signed_32 rankfunc35_signed_64 rankfunc35_unsigned_16 rankfunc35_unsigned_32 rankfunc35_unsigned_64 rankfunc36_signed_16 rankfunc36_signed_32 rankfunc36_signed_64 rankfunc36_unsigned_16 rankfunc36_unsigned_32 rankfunc36_unsigned_64 rankfunc37_signed_16 rankfunc37_signed_32 rankfunc37_signed_64 rankfunc37_unsigned_16 rankfunc37_unsigned_32 rankfunc37_unsigned_64 rankfunc38_signed_16 rankfunc38_signed_32 rankfunc38_signed_64 rankfunc38_unsigned_16 rankfunc38_unsigned_32 rankfunc38_unsigned_64 rankfunc39_signed_16 rankfunc39_signed_32 rankfunc39_signed_64 rankfunc39_unsigned_16 rankfunc39_unsigned_32 rankfunc39_unsigned_64 rankfunc3_signed_16 rankfunc3_signed_32 rankfunc3_signed_64 rankfunc3_unsigned_16 rankfunc3_unsigned_32 rankfunc3_unsigned_64 rankfunc40_signed_16 rankfunc40_signed_32 rankfunc40_signed_64 rankfunc40_unsigned_16 rankfunc40_unsigned_32 rankfunc40_unsigned_64 rankfunc41_signed_16 rankfunc41_signed_32 rankfunc41_signed_64 rankfunc41_unsigned_16 rankfunc41_unsigned_32 rankfunc41_unsigned_64 rankfunc42_signed_16 rankfunc42_signed_32 rankfunc42_signed_64 rankfunc42_unsigned_16 rankfunc42_unsigned_32 rankfunc42_unsigned_64 rankfunc43_signed_16 rankfunc43_signed_32 rankfunc43_signed_64 rankfunc43_unsigned_16 rankfunc43_unsigned_32 rankfunc43_unsigned_64 rankfunc44_signed_16 rankfunc44_signed_32 rankfunc44_signed_64 rankfunc44_unsigned_16 rankfunc44_unsigned_32 rankfunc44_unsigned_64 rankfunc45_signed_16 rankfunc45_signed_32 rankfunc45_signed_64 rankfunc45_unsigned_16 rankfunc45_unsigned_32 rankfunc45_unsigned_64 rankfunc46_signed_16 rankfunc46_signed_32 rankfunc46_signed_64 rankfunc46_unsigned_16 rankfunc46_unsigned_32 rankfunc46_unsigned_64 rankfunc47_signed_16 rankfunc47_signed_32 rankfunc47_signed_64 rankfunc47_unsigned_16 rankfunc47_unsigned_32 rankfunc47_unsigned_64 rankfunc48_signed_16 rankfunc48_signed_32 rankfunc48_signed_64 rankfunc48_unsigned_16 rankfunc48_unsigned_32 rankfunc48_unsigned_64 rankfunc49_signed_16 rankfunc49_signed_32 rankfunc49_signed_64 rankfunc49_unsigned_16 rankfunc49_unsigned_32 rankfunc49_unsigned_64 rankfunc4_signed_16 rankfunc4_signed_32 rankfunc4_signed_64 rankfunc4_unsigned_16 rankfunc4_unsigned_32 rankfunc4_unsigned_64 rankfunc50_signed_16 rankfunc50_signed_32 rankfunc50_signed_64 rankfunc50_unsigned_16 rankfunc50_unsigned_32 rankfunc50_unsigned_64 rankfunc51_signed_16 rankfunc51_signed_32 rankfunc51_signed_64 rankfunc51_unsigned_16 rankfunc51_unsigned_32 rankfunc51_unsigned_64 rankfunc52_signed_16 rankfunc52_signed_32 rankfunc52_signed_64 rankfunc52_unsigned_16 rankfunc52_unsigned_32 rankfunc52_unsigned_64 rankfunc53_signed_16 rankfunc53_signed_32 rankfunc53_signed_64 rankfunc53_unsigned_16 rankfunc53_unsigned_32 rankfunc53_unsigned_64 rankfunc54_signed_16 rankfunc54_signed_32 rankfunc54_signed_64 rankfunc54_unsigned_16 rankfunc54_unsigned_32 rankfunc54_unsigned_64 rankfunc55_signed_16 rankfunc55_signed_32 rankfunc55_signed_64 rankfunc55_unsigned_16 rankfunc55_unsigned_32 rankfunc55_unsigned_64 rankfunc56_signed_16 rankfunc56_signed_32 rankfunc56_signed_64 rankfunc56_unsigned_16 rankfunc56_unsigned_32 rankfunc56_unsigned_64 rankfunc57_signed_16 rankfunc57_signed_32 rankfunc57_signed_64 rankfunc57_unsigned_16 rankfunc57_unsigned_32 rankfunc57_unsigned_64 rankfunc58_signed_16 rankfunc58_signed_32 rankfunc58_signed_64 rankfunc58_unsigned_16 rankfunc58_unsigned_32 rankfunc58_unsigned_64 rankfunc59_signed_16 rankfunc59_signed_32 rankfunc59_signed_64 rankfunc59_unsigned_16 rankfunc59_unsigned_32 rankfunc59_unsigned_64 rankfunc5_signed_16 rankfunc5_signed_32 rankfunc5_signed_64 rankfunc5_unsigned_16 rankfunc5_unsigned_32 rankfunc5_unsigned_64 rankfunc60_signed_16 rankfunc60_signed_32 rankfunc60_signed_64 rankfunc60_unsigned_16 rankfunc60_unsigned_32 rankfunc60_unsigned_64 rankfunc61_signed_16 rankfunc61_signed_32 rankfunc61_signed_64 rankfunc61_unsigned_16 rankfunc61_unsigned_32 rankfunc61_unsigned_64 rankfunc6_signed_16 rankfunc6_signed_32 rankfunc6_signed_64 rankfunc6_unsigned_16 rankfunc6_unsigned_32 rankfunc6_unsigned_64 rankfunc7_signed_16 rankfunc7_signed_32 rankfunc7_signed_64 rankfunc7_unsigned_16 rankfunc7_unsigned_32 rankfunc7_unsigned_64 rankfunc8_signed_16 rankfunc8_signed_32 rankfunc8_signed_64 rankfunc8_unsigned_16 rankfunc8_unsigned_32 rankfunc8_unsigned_64 rankfunc9_signed_16 rankfunc9_signed_32 rankfunc9_signed_64 rankfunc9_unsigned_16 rankfunc9_unsigned_32 rankfunc9_unsigned_64

The Quantified Boolean Formulas Satisfiability Library

Detail page for RankingFunctions family