Instances of family mqm solved by quantor-3.1
QBFEVAL'10 - Competitive Track.

InstanceResultTime
Umbrella_tbm_05.tex.module.000053FAIL43.27
Umbrella_tbm_05.tex.module.000088FAIL45.67
Umbrella_tbm_21.tex.module.000134FAIL45.98
Umbrella_tbm_21.tex.module.000129FAIL46.04
Umbrella_tbm_05.tex.module.000030FAIL46.53
Umbrella_tbm_05.tex.module.000079FAIL46.54
Umbrella_tbm_21.tex.module.000049FAIL46.84
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL47.14
Core1108_tbm_03.tex.module.000092FAIL47.82
Core1108_tbm_03.tex.module.000090FAIL48.08
Umbrella_tbm_21.tex.module.000139FAIL48.22
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL48.76
Umbrella_tbm_25.tex.module.000121FAIL49.67
Umbrella_tbm_05.tex.module.000015FAIL52.43
Umbrella_tbm_21.tex.module.000149FAIL53.28
Umbrella_tbm_05.tex.module.000011FAIL53.63
Core1108_tbm_21.tex.moduleQ3.2S.000015FAIL55.59
Umbrella_tbm_05.tex.module.000064FAIL56.52
Core1108_tbm_09.tex.moduleQ3.2S.000003FAIL62.02
Umbrella_tbm_21.tex.module.000024FAIL63.96
Core1108_tbm_09.tex.moduleQ3.2S.000010FAIL64.94
Umbrella_tbm_24.tex.module.000103FAIL65.64
Umbrella_tbm_29.tex.moduleQ2.2S.000001FAIL66.06
Umbrella_tbm_26.tex.moduleQ3.2S.000037FAIL66.12
Core1108_tbm_03.tex.module.000023FAIL67.18
Core1108_tbm_03.tex.module.000038FAIL67.92
Umbrella_tbm_14.tex.moduleQ2.2S.000002FAIL68.29
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL69.94
Umbrella_tbm_24.tex.module.000131FAIL70.69
Umbrella_tbm_24.tex.module.000066FAIL72.64
Umbrella_tbm_14.tex.moduleQ2.1S.000749FAIL73.16
Core1108_tbm_02.tex.moduleQ3.2S.000095FAIL74.47
Umbrella_tbm_14.tex.moduleQ2.1S.000808FAIL77.42
Core1108_tbm_21.tex.module.000009FAIL77.52
Core1108_tbm_21.tex.module.000026FAIL78.01
Umbrella_tbm_14.tex.moduleQ2.2S.000003FAIL78.27
Umbrella_tbm_25.tex.module.000084FAIL82.69
Umbrella_tbm_25.tex.module.000041FAIL84.9
Core1108_tbm_03.tex.moduleQ3.2S.000048FAIL85.75
Core1108_tbm_21.tex.module.000008FAIL86.4
Core1108_tbm_03.tex.moduleQ3.2S.000009FAIL87.15
Umbrella_tbm_14.tex.moduleQ2.1S.000757FAIL88.22
Core1108_tbm_21.tex.module.000010FAIL88.44
Umbrella_tbm_14.tex.moduleQ2.1S.000812FAIL89.1
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL89.42
Core1108_tbm_02.tex.moduleQ3.2S.000056FAIL91.31
Core1108_tbm_21.tex.moduleQ3.2S.000002FAIL91.81
Core1108_tbm_09.tex.module.000028FAIL92
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL93.3
Core1108_tbm_03.tex.module.000037FAIL95.78
Core1108_tbm_21.tex.moduleQ3.2S.000011FAIL97.89
Core1108_tbm_21.tex.module.000014FAIL100.94
Umbrella_tbm_24.tex.moduleQ2.1S.000022FAIL102.61
Core1108_tbm_21.tex.module.000030FAIL103.55
Umbrella_tbm_24.tex.moduleQ2.1S.000188FAIL104.17
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL104.63
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL105.95
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL106.28
Umbrella_tbm_21.tex.module.000079FAIL107.46
Umbrella_tbm_21.tex.module.000069FAIL108.82
Core1108_tbm_03.tex.module.000039FAIL109.73
Core1108_tbm_02.tex.moduleQ3.2S.000098FAIL110.3
Core1108_tbm_03.tex.module.000019FAIL110.83
Umbrella_tbm_14.tex.moduleQ2.2S.000001FAIL111.79
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL113.72
Umbrella_tbm_14.tex.moduleQ2.1S.000773FAIL113.82
Umbrella_tbm_24.tex.moduleQ2.1S.000136FAIL116.26
Core1108_tbm_02.tex.moduleQ3.2S.000026FAIL117.17
Umbrella_tbm_21.tex.module.000044FAIL119.44
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL119.61
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL120.95
Core1108_tbm_03.tex.moduleQ3.2S.000002FAIL121.25
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL121.49
Core1108_tbm_09.tex.module.000010FAIL121.82
Core1108_tbm_09.tex.module.000009FAIL122.65
Core1108_tbm_09.tex.module.000008FAIL123.01
Core1108_tbm_03.tex.module.000021FAIL125.12
Core1108_tbm_21.tex.module.000091FAIL125.98
Core1108_tbm_21.tex.module.000023FAIL126.88
Umbrella_tbm_29.tex.module.000078FAIL127.86
Core1108_tbm_21.tex.moduleQ3.2S.000019FAIL128.24
Umbrella_tbm_26.tex.module.000004FAIL128.95
Umbrella_tbm_26.tex.module.000061FAIL129.84
Umbrella_tbm_05.tex.module.000043FAIL131.88
Umbrella_tbm_05.tex.module.000039FAIL133.5
Umbrella_tbm_05.tex.module.000025FAIL133.55
Core1108_tbm_03.tex.module.000057FAIL134.3
Core1108_tbm_09.tex.moduleQ3.2S.000005FAIL134.84
Core1108_tbm_21.tex.moduleQ3.2S.000024FAIL144.99
Core1108_tbm_03.tex.module.000034FAIL146.05
Core1108_tbm_21.tex.module.000027FAIL147.83
Core1108_tbm_02.tex.moduleQ3.2S.000108FAIL152.92
Core1108_tbm_02.tex.moduleQ3.2S.000099FAIL155.99
Umbrella_tbm_14.tex.moduleQ2.1S.000720FAIL156.59
Umbrella_tbm_26.tex.module.000021FAIL158.69
Umbrella_tbm_26.tex.module.000041FAIL159.58
Core1108_tbm_03.tex.module.000003FAIL164.59
Umbrella_tbm_21.tex.module.000029FAIL170
Core1108_tbm_21.tex.module.000017FAIL173.17
Umbrella_tbm_25.tex.moduleQ3.2S.000052FAIL173.34
Umbrella_tbm_26.tex.moduleQ3.2S.000041FAIL179.01
Umbrella_tbm_26.tex.moduleQ3.2S.000014FAIL181.53
Core1108_tbm_03.tex.moduleQ3.2S.000003FAIL181.85
Umbrella_tbm_25.tex.module.000099FAIL195.66
Umbrella_tbm_26.tex.moduleQ3.2S.000009FAIL197.21
Umbrella_tbm_26.tex.moduleQ3.2S.000020FAIL202.2
Core1108_tbm_03.tex.module.000048FAIL224.01
Core1108_tbm_03.tex.module.000056FAIL225.49
Core1108_tbm_03.tex.module.000065FAIL227.49
Core1108_tbm_03.tex.module.000058FAIL229.59
Umbrella_tbm_21.tex.module.000056FAIL229.63
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL235.95
Core1108_tbm_03.tex.module.000031FAIL237.48
Core1108_tbm_28.tex.moduleQ2.2S.000003FAIL240.18
Core1108_tbm_03.tex.module.000064FAIL244.48
Core1108_tbm_03.tex.moduleQ3.2S.000018FAIL247.3
Core1108_tbm_09.tex.module.000033FAIL248.31
Umbrella_tbm_25.tex.module.000087FAIL256.46
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL275.89
Umbrella_tbm_25.tex.module.000003FAIL277.93
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL286.38
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL288.33
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL294.59
Umbrella_tbm_25.tex.moduleQ3.2S.000120FAIL296.07
Umbrella_tbm_14.tex.moduleQ2.1S.000792FAIL307.12
Umbrella_tbm_29.tex.module.000010FAIL314.2
Core1108_tbm_09.tex.moduleQ3.2S.000007FAIL324.42
Umbrella_tbm_05.tex.module.000065FAIL349.51
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL360.21
Umbrella_tbm_29.tex.module.000009FAIL363.43
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL371.35
Umbrella_tbm_23.tex.moduleQ1.2S.000001SAT429.16
Umbrella_tbm_14.tex.moduleQ2.1S.000787FAIL443.06
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL497.22
Umbrella_tbm_25.tex.module.000031FAIL556.19
Umbrella_tbm_25.tex.module.000106FAIL628.87