Detail page for mqm family


	Submitter:	Roman Kontchakov

	Suite:	Kontchakov

	Domain:	Miscellanea

	Description:	Minimal Query Inseparability Module Extraction in DL-Lite

	Number of instances:	136

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

	Instances:	Core1108_tbm_02.tex.moduleQ3.2S.000007 Core1108_tbm_02.tex.moduleQ3.2S.000015 Core1108_tbm_02.tex.moduleQ3.2S.000026 Core1108_tbm_02.tex.moduleQ3.2S.000056 Core1108_tbm_02.tex.moduleQ3.2S.000077 Core1108_tbm_02.tex.moduleQ3.2S.000095 Core1108_tbm_02.tex.moduleQ3.2S.000098 Core1108_tbm_02.tex.moduleQ3.2S.000099 Core1108_tbm_02.tex.moduleQ3.2S.000108 Core1108_tbm_03.tex.module.000003 Core1108_tbm_03.tex.module.000019 Core1108_tbm_03.tex.module.000021 Core1108_tbm_03.tex.module.000023 Core1108_tbm_03.tex.module.000031 Core1108_tbm_03.tex.module.000034 Core1108_tbm_03.tex.module.000037 Core1108_tbm_03.tex.module.000038 Core1108_tbm_03.tex.module.000039 Core1108_tbm_03.tex.module.000048 Core1108_tbm_03.tex.module.000056 Core1108_tbm_03.tex.module.000057 Core1108_tbm_03.tex.module.000058 Core1108_tbm_03.tex.module.000064 Core1108_tbm_03.tex.module.000065 Core1108_tbm_03.tex.module.000090 Core1108_tbm_03.tex.module.000092 Core1108_tbm_03.tex.moduleQ3.2S.000002 Core1108_tbm_03.tex.moduleQ3.2S.000003 Core1108_tbm_03.tex.moduleQ3.2S.000009 Core1108_tbm_03.tex.moduleQ3.2S.000011 Core1108_tbm_03.tex.moduleQ3.2S.000018 Core1108_tbm_03.tex.moduleQ3.2S.000048 Core1108_tbm_09.tex.module.000008 Core1108_tbm_09.tex.module.000009 Core1108_tbm_09.tex.module.000010 Core1108_tbm_09.tex.module.000028 Core1108_tbm_09.tex.module.000033 Core1108_tbm_09.tex.moduleQ3.10S.000001 Core1108_tbm_09.tex.moduleQ3.2S.000003 Core1108_tbm_09.tex.moduleQ3.2S.000005 Core1108_tbm_09.tex.moduleQ3.2S.000007 Core1108_tbm_09.tex.moduleQ3.2S.000010 Core1108_tbm_09.tex.moduleQ3.2S.000011 Core1108_tbm_09.tex.moduleQ3.9S.000001 Core1108_tbm_21.tex.module.000008 Core1108_tbm_21.tex.module.000009 Core1108_tbm_21.tex.module.000010 Core1108_tbm_21.tex.module.000014 Core1108_tbm_21.tex.module.000017 Core1108_tbm_21.tex.module.000023 Core1108_tbm_21.tex.module.000026 Core1108_tbm_21.tex.module.000027 Core1108_tbm_21.tex.module.000030 Core1108_tbm_21.tex.module.000091 Core1108_tbm_21.tex.moduleQ3.2S.000002 Core1108_tbm_21.tex.moduleQ3.2S.000007 Core1108_tbm_21.tex.moduleQ3.2S.000011 Core1108_tbm_21.tex.moduleQ3.2S.000014 Core1108_tbm_21.tex.moduleQ3.2S.000015 Core1108_tbm_21.tex.moduleQ3.2S.000019 Core1108_tbm_21.tex.moduleQ3.2S.000024 Core1108_tbm_21.tex.moduleQ3.2S.000027 Core1108_tbm_28.tex.moduleQ2.2S.000003 Umbrella_tbm_05.tex.module.000011 Umbrella_tbm_05.tex.module.000015 Umbrella_tbm_05.tex.module.000025 Umbrella_tbm_05.tex.module.000030 Umbrella_tbm_05.tex.module.000039 Umbrella_tbm_05.tex.module.000043 Umbrella_tbm_05.tex.module.000053 Umbrella_tbm_05.tex.module.000064 Umbrella_tbm_05.tex.module.000065 Umbrella_tbm_05.tex.module.000079 Umbrella_tbm_05.tex.module.000088 Umbrella_tbm_14.tex.moduleQ2.1S.000720 Umbrella_tbm_14.tex.moduleQ2.1S.000749 Umbrella_tbm_14.tex.moduleQ2.1S.000757 Umbrella_tbm_14.tex.moduleQ2.1S.000773 Umbrella_tbm_14.tex.moduleQ2.1S.000787 Umbrella_tbm_14.tex.moduleQ2.1S.000792 Umbrella_tbm_14.tex.moduleQ2.1S.000808 Umbrella_tbm_14.tex.moduleQ2.1S.000812 Umbrella_tbm_14.tex.moduleQ2.2S.000001 Umbrella_tbm_14.tex.moduleQ2.2S.000002 Umbrella_tbm_14.tex.moduleQ2.2S.000003 Umbrella_tbm_21.tex.module.000024 Umbrella_tbm_21.tex.module.000029 Umbrella_tbm_21.tex.module.000044 Umbrella_tbm_21.tex.module.000049 Umbrella_tbm_21.tex.module.000056 Umbrella_tbm_21.tex.module.000069 Umbrella_tbm_21.tex.module.000079 Umbrella_tbm_21.tex.module.000129 Umbrella_tbm_21.tex.module.000134 Umbrella_tbm_21.tex.module.000139 Umbrella_tbm_21.tex.module.000149 Umbrella_tbm_23.tex.moduleQ1.2S.000001 Umbrella_tbm_24.tex.module.000066 Umbrella_tbm_24.tex.module.000103 Umbrella_tbm_24.tex.module.000131 Umbrella_tbm_24.tex.moduleQ2.1S.000022 Umbrella_tbm_24.tex.moduleQ2.1S.000136 Umbrella_tbm_24.tex.moduleQ2.1S.000188 Umbrella_tbm_25.tex.module.000003 Umbrella_tbm_25.tex.module.000031 Umbrella_tbm_25.tex.module.000041 Umbrella_tbm_25.tex.module.000084 Umbrella_tbm_25.tex.module.000087 Umbrella_tbm_25.tex.module.000099 Umbrella_tbm_25.tex.module.000106 Umbrella_tbm_25.tex.module.000121 Umbrella_tbm_25.tex.moduleQ3.2S.000052 Umbrella_tbm_25.tex.moduleQ3.2S.000063 Umbrella_tbm_25.tex.moduleQ3.2S.000075 Umbrella_tbm_25.tex.moduleQ3.2S.000120 Umbrella_tbm_26.tex.module.000004 Umbrella_tbm_26.tex.module.000021 Umbrella_tbm_26.tex.module.000041 Umbrella_tbm_26.tex.module.000061 Umbrella_tbm_26.tex.moduleQ3.2S.000009 Umbrella_tbm_26.tex.moduleQ3.2S.000014 Umbrella_tbm_26.tex.moduleQ3.2S.000020 Umbrella_tbm_26.tex.moduleQ3.2S.000037 Umbrella_tbm_26.tex.moduleQ3.2S.000041 Umbrella_tbm_29.tex.module.000009 Umbrella_tbm_29.tex.module.000010 Umbrella_tbm_29.tex.module.000078 Umbrella_tbm_29.tex.moduleQ2.2S.000001 W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001 W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001 W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001 W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003 W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003 W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001 W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003 W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003

The Quantified Boolean Formulas Satisfiability Library

Detail page for mqm family