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

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT1.26
Core1108_tbm_21.tex.module.000026UNSAT1.3
Core1108_tbm_03.tex.module.000019UNSAT1.31
Core1108_tbm_03.tex.module.000023UNSAT1.32
Core1108_tbm_21.tex.module.000027UNSAT1.34
Core1108_tbm_03.tex.module.000048UNSAT1.36
Core1108_tbm_21.tex.module.000023UNSAT1.38
Core1108_tbm_21.tex.module.000017UNSAT1.44
Core1108_tbm_03.tex.module.000003UNSAT1.59
Core1108_tbm_09.tex.module.000033UNSAT1.6
Umbrella_tbm_05.tex.module.000065UNSAT1.6
Core1108_tbm_09.tex.module.000028UNSAT1.7
Umbrella_tbm_05.tex.module.000043UNSAT1.89
Umbrella_tbm_05.tex.module.000015UNSAT2.87
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT3.84
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT4.08
Umbrella_tbm_29.tex.module.000009SAT5.47
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT6.21
Core1108_tbm_21.tex.module.000014UNSAT9.05
Umbrella_tbm_24.tex.module.000066SAT13.14
Umbrella_tbm_29.tex.module.000078SAT14.35
Umbrella_tbm_24.tex.module.000131SAT15.69
Umbrella_tbm_29.tex.module.000010SAT15.93
Umbrella_tbm_24.tex.module.000103SAT19.37
Umbrella_tbm_21.tex.module.000044UNSAT19.42
Core1108_tbm_03.tex.module.000038UNSAT25.29
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT27.97
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT28.95
Umbrella_tbm_23.tex.moduleQ1.2S.000001SAT30.75
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT32.93
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT33.48
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT35.01
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT35.23
Core1108_tbm_03.tex.module.000039UNSAT37.1
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT47.5
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT47.79
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT49.02
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT52.11
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT52.71
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT52.83
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT53.21
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT53.22
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT55.36
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT58.19
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT62.49
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT69.85
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT77.77
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT90.22
Umbrella_tbm_25.tex.module.000084UNSAT90.78
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT92.64
Umbrella_tbm_25.tex.module.000099UNSAT92.87
Umbrella_tbm_25.tex.module.000087UNSAT96.05
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT98.74
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT99.53
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT100.45
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT102.35
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT106.3
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT119.92
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT119.96
Core1108_tbm_03.tex.module.000021UNSAT122.24
Umbrella_tbm_05.tex.module.000079UNSAT122.55
Umbrella_tbm_26.tex.module.000004UNSAT122.65
Umbrella_tbm_05.tex.module.000030UNSAT122.88
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT123.56
Umbrella_tbm_25.tex.module.000003UNSAT124.2
Umbrella_tbm_21.tex.module.000139UNSAT139.15
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT152.21
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT167.65
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT170.91
Umbrella_tbm_21.tex.module.000079SAT180.72
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT202.35
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT220.95
Core1108_tbm_03.tex.module.000031SAT223.11
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT227.8
Core1108_tbm_09.tex.module.000009SAT236.02
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT375.9
Core1108_tbm_03.tex.module.000092SAT690.4
Core1108_tbm_03.tex.module.000090SAT702.51
Core1108_tbm_09.tex.module.000010SAT715.23
Core1108_tbm_09.tex.module.000008SAT716.21
Umbrella_tbm_24.tex.moduleQ2.1S.000022SAT739.25
Umbrella_tbm_24.tex.moduleQ2.1S.000188SAT766.41
Umbrella_tbm_24.tex.moduleQ2.1S.000136SAT775.02
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT786.95
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT829.86
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT937.43
Umbrella_tbm_21.tex.module.000129SAT965.41
Umbrella_tbm_21.tex.module.000049SAT1048.83
Umbrella_tbm_05.tex.module.000053SAT1057.66
Core1108_tbm_03.tex.module.000057FAIL1106.01
Core1108_tbm_03.tex.module.000064FAIL1135.24
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1142.05
Umbrella_tbm_26.tex.module.000021FAIL1142.09
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1142.1
Umbrella_tbm_05.tex.module.000025FAIL1143.1
Umbrella_tbm_25.tex.module.000031FAIL1143.23
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1143.28
Umbrella_tbm_21.tex.module.000024FAIL1143.32
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1143.54
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL1143.59
Umbrella_tbm_29.tex.moduleQ2.2S.000001FAIL1146.28
Core1108_tbm_21.tex.module.000009FAIL1155.72
Umbrella_tbm_14.tex.moduleQ2.2S.000003FAIL1155.97
Core1108_tbm_21.tex.module.000008FAIL1162.47
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL1163.5
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL1165.25
Umbrella_tbm_25.tex.module.000041FAIL1166.15
Core1108_tbm_21.tex.module.000010FAIL1166.18
Core1108_tbm_03.tex.module.000037FAIL1172.82
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT1173.84
Core1108_tbm_21.tex.module.000030FAIL1180.67
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL1186.15
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL1187.09
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL1187.85
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL1197.38
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1199.53
Core1108_tbm_03.tex.module.000056FAIL1200
Umbrella_tbm_25.tex.module.000121FAIL1200
Umbrella_tbm_05.tex.module.000039FAIL1200
Umbrella_tbm_21.tex.module.000056FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1200
Umbrella_tbm_21.tex.module.000069FAIL1200
Umbrella_tbm_25.tex.module.000106FAIL1200
Umbrella_tbm_26.tex.module.000061FAIL1200
Umbrella_tbm_26.tex.module.000041FAIL1200
Core1108_tbm_03.tex.module.000058FAIL1200
Umbrella_tbm_05.tex.module.000011FAIL1200
Core1108_tbm_03.tex.module.000034FAIL1200
Core1108_tbm_03.tex.module.000065FAIL1200
Umbrella_tbm_21.tex.module.000029FAIL1200
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200
Umbrella_tbm_21.tex.module.000149FAIL1200
Umbrella_tbm_21.tex.module.000134FAIL1200
Umbrella_tbm_05.tex.module.000064FAIL1200
Umbrella_tbm_05.tex.module.000088FAIL1200
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1200.61