The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for mqm family
Download (0 Kb)
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
Contact
|
Organization
|
Links
|
Citing QBFLIB