Instances of family mqm solved by nenofex-qbfeval10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL211.97
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL270.91
Umbrella_tbm_05.tex.module.000079FAIL359.43
Umbrella_tbm_05.tex.module.000088FAIL395.25
Umbrella_tbm_05.tex.module.000053FAIL411.8
Core1108_tbm_21.tex.module.000091FAIL413.45
Umbrella_tbm_14.tex.moduleQ2.2S.000002FAIL417
Umbrella_tbm_05.tex.module.000043FAIL424.34
Umbrella_tbm_05.tex.module.000025FAIL430.57
Umbrella_tbm_05.tex.module.000065FAIL434.83
Core1108_tbm_28.tex.moduleQ2.2S.000003FAIL435.22
Umbrella_tbm_05.tex.module.000064FAIL444.2
Umbrella_tbm_14.tex.moduleQ2.1S.000812FAIL447.64
Core1108_tbm_21.tex.module.000014FAIL457.7
Umbrella_tbm_05.tex.module.000039FAIL464.96
Umbrella_tbm_05.tex.module.000030FAIL465.84
Umbrella_tbm_24.tex.moduleQ2.1S.000136FAIL497.56
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL516.34
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL522.53
Umbrella_tbm_24.tex.moduleQ2.1S.000022FAIL534.37
Core1108_tbm_03.tex.moduleQ3.2S.000003FAIL561.3
Umbrella_tbm_24.tex.moduleQ2.1S.000188FAIL569.03
Umbrella_tbm_29.tex.moduleQ2.2S.000001FAIL570.76
Core1108_tbm_03.tex.module.000021FAIL597.87
Umbrella_tbm_21.tex.module.000129FAIL611.06
Core1108_tbm_21.tex.module.000023FAIL617.19
Core1108_tbm_02.tex.moduleQ3.2S.000026FAIL630.46
Core1108_tbm_21.tex.module.000009FAIL636.96
Umbrella_tbm_14.tex.moduleQ2.1S.000787FAIL637.21
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL643.52
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL652.05
Umbrella_tbm_14.tex.moduleQ2.2S.000001FAIL660.57
Umbrella_tbm_14.tex.moduleQ2.1S.000792FAIL663.63
Core1108_tbm_21.tex.module.000010FAIL666.96
Umbrella_tbm_21.tex.module.000049FAIL672.21
Umbrella_tbm_14.tex.moduleQ2.1S.000749FAIL676.81
Umbrella_tbm_21.tex.module.000134FAIL679.58
Core1108_tbm_02.tex.moduleQ3.2S.000056FAIL700.97
Umbrella_tbm_24.tex.module.000131FAIL704.68
Core1108_tbm_09.tex.moduleQ3.2S.000010FAIL708.24
Core1108_tbm_21.tex.module.000008FAIL711.22
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL724.29
Core1108_tbm_21.tex.module.000030FAIL726.64
Core1108_tbm_09.tex.module.000010FAIL727.65
Core1108_tbm_09.tex.module.000008FAIL731.61
Umbrella_tbm_14.tex.moduleQ2.2S.000003FAIL741.81
Umbrella_tbm_14.tex.moduleQ2.1S.000720FAIL742.08
Core1108_tbm_02.tex.moduleQ3.2S.000108FAIL742.29
Umbrella_tbm_14.tex.moduleQ2.1S.000773FAIL747.42
Umbrella_tbm_14.tex.moduleQ2.1S.000808FAIL758.9
Core1108_tbm_09.tex.module.000009FAIL762.52
Umbrella_tbm_14.tex.moduleQ2.1S.000757FAIL771.18
Umbrella_tbm_26.tex.module.000004FAIL773.34
Core1108_tbm_21.tex.module.000017FAIL783.85
Umbrella_tbm_23.tex.moduleQ1.2S.000001FAIL792.66
Core1108_tbm_02.tex.moduleQ3.2S.000098FAIL798.73
Core1108_tbm_21.tex.module.000027FAIL806.72
Core1108_tbm_03.tex.module.000019FAIL808.83
Core1108_tbm_21.tex.moduleQ3.2S.000011FAIL824.21
Umbrella_tbm_21.tex.module.000079FAIL827.84
Core1108_tbm_02.tex.moduleQ3.2S.000099FAIL838.08
Umbrella_tbm_21.tex.module.000069FAIL845.91
Core1108_tbm_09.tex.moduleQ3.2S.000005FAIL868.99
Core1108_tbm_03.tex.module.000037FAIL878.89
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL893.28
Umbrella_tbm_25.tex.moduleQ3.2S.000052FAIL903.18
Core1108_tbm_03.tex.module.000038FAIL903.75
Core1108_tbm_09.tex.moduleQ3.2S.000003FAIL906.23
Umbrella_tbm_26.tex.moduleQ3.2S.000020FAIL908.75
Umbrella_tbm_21.tex.module.000139FAIL909.61
Core1108_tbm_09.tex.module.000033FAIL917.47
Umbrella_tbm_05.tex.module.000015FAIL943.48
Core1108_tbm_03.tex.module.000048FAIL946.26
Umbrella_tbm_21.tex.module.000149FAIL956.91
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL968.46
Core1108_tbm_21.tex.moduleQ3.2S.000015FAIL971.47
Core1108_tbm_03.tex.module.000065FAIL982.12
Core1108_tbm_02.tex.moduleQ3.2S.000095FAIL983.96
Umbrella_tbm_26.tex.moduleQ3.2S.000037FAIL984.98
Core1108_tbm_03.tex.module.000031FAIL997.22
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL997.87
Umbrella_tbm_21.tex.module.000024FAIL1000.86
Umbrella_tbm_05.tex.module.000011FAIL1007.16
Umbrella_tbm_21.tex.module.000044FAIL1008.37
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1017.09
Core1108_tbm_03.tex.module.000058FAIL1019.8
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL1020.51
Umbrella_tbm_21.tex.module.000029FAIL1027
Umbrella_tbm_21.tex.module.000056FAIL1033.98
Umbrella_tbm_26.tex.moduleQ3.2S.000041FAIL1037.73
Core1108_tbm_03.tex.module.000090FAIL1043.62
Core1108_tbm_03.tex.module.000039FAIL1052.48
Core1108_tbm_03.tex.module.000023FAIL1053.57
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1058.05
Core1108_tbm_03.tex.module.000092FAIL1060.84
Core1108_tbm_03.tex.module.000034FAIL1063.25
Umbrella_tbm_25.tex.module.000003FAIL1063.95
Core1108_tbm_21.tex.module.000026FAIL1066.26
Umbrella_tbm_24.tex.module.000066FAIL1067.26
Core1108_tbm_21.tex.moduleQ3.2S.000024FAIL1071.27
Core1108_tbm_03.tex.module.000056FAIL1071.38
Core1108_tbm_03.tex.module.000057FAIL1077.44
Umbrella_tbm_25.tex.module.000041FAIL1088.43
Umbrella_tbm_26.tex.module.000061FAIL1102.3
Umbrella_tbm_25.tex.module.000121FAIL1109.59
Core1108_tbm_03.tex.module.000064FAIL1112.29
Core1108_tbm_21.tex.moduleQ3.2S.000019FAIL1118.63
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1121.22
Umbrella_tbm_25.tex.module.000099FAIL1125.36
Core1108_tbm_21.tex.moduleQ3.2S.000002FAIL1126.13
Umbrella_tbm_25.tex.module.000087FAIL1143.36
Umbrella_tbm_26.tex.module.000021FAIL1149.49
Core1108_tbm_09.tex.module.000028FAIL1169.41
Umbrella_tbm_26.tex.moduleQ3.2S.000014FAIL1188.2
Umbrella_tbm_25.tex.moduleQ3.2S.000120FAIL1200.16
Core1108_tbm_03.tex.moduleQ3.2S.000048FAIL1200.17
Umbrella_tbm_24.tex.module.000103FAIL1200.19
Core1108_tbm_03.tex.moduleQ3.2S.000009FAIL1200.19
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1200.19
Core1108_tbm_03.tex.moduleQ3.2S.000018FAIL1200.19
Umbrella_tbm_26.tex.moduleQ3.2S.000009FAIL1200.19
Umbrella_tbm_29.tex.module.000009FAIL1200.2
Umbrella_tbm_25.tex.module.000084FAIL1200.2
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200.2
Umbrella_tbm_29.tex.module.000010FAIL1200.2
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200.21
Core1108_tbm_09.tex.moduleQ3.2S.000007FAIL1200.21
Core1108_tbm_03.tex.moduleQ3.2S.000002FAIL1200.21
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL1200.22
Umbrella_tbm_29.tex.module.000078FAIL1200.22
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1200.23
Core1108_tbm_03.tex.module.000003FAIL1200.23
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1200.24
Umbrella_tbm_26.tex.module.000041FAIL1200.25
Umbrella_tbm_25.tex.module.000031FAIL1200.26
Umbrella_tbm_25.tex.module.000106FAIL1200.26