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

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT0.08
Core1108_tbm_21.tex.module.000027UNSAT0.1
Core1108_tbm_21.tex.module.000023UNSAT0.1
Core1108_tbm_03.tex.module.000021UNSAT0.11
Core1108_tbm_21.tex.module.000026UNSAT0.12
Core1108_tbm_03.tex.module.000023UNSAT0.12
Core1108_tbm_03.tex.module.000048UNSAT0.14
Core1108_tbm_21.tex.module.000017UNSAT0.16
Core1108_tbm_03.tex.module.000019UNSAT0.18
Core1108_tbm_03.tex.module.000003UNSAT0.19
Core1108_tbm_09.tex.module.000028UNSAT0.24
Core1108_tbm_09.tex.module.000033UNSAT0.26
Umbrella_tbm_05.tex.module.000065UNSAT0.3
Umbrella_tbm_05.tex.module.000079UNSAT0.31
Umbrella_tbm_05.tex.module.000043UNSAT0.4
Umbrella_tbm_26.tex.module.000004UNSAT0.46
Umbrella_tbm_05.tex.module.000030UNSAT0.53
Umbrella_tbm_05.tex.module.000015UNSAT0.67
Umbrella_tbm_25.tex.module.000003UNSAT1.31
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT2.73
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT4.65
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT4.81
Umbrella_tbm_23.tex.moduleQ1.2S.000001SAT8.11
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT14.26
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT18.04
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT19.09
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT19.19
Umbrella_tbm_29.tex.module.000078SAT19.88
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT20.09
Umbrella_tbm_29.tex.module.000010SAT20.38
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT20.49
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT21.78
Umbrella_tbm_29.tex.module.000009SAT22.15
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT22.63
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT23.78
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT26.4
Umbrella_tbm_24.tex.module.000131SAT29.13
Umbrella_tbm_24.tex.module.000066SAT29.43
Umbrella_tbm_24.tex.module.000103SAT30.18
Umbrella_tbm_29.tex.moduleQ2.2S.000001SAT33.97
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT37.51
Core1108_tbm_21.tex.module.000014UNSAT51.42
Umbrella_tbm_24.tex.moduleQ2.1S.000188SAT56.54
Umbrella_tbm_24.tex.moduleQ2.1S.000136SAT58.02
Umbrella_tbm_14.tex.moduleQ2.2S.000003SAT60.87
Umbrella_tbm_24.tex.moduleQ2.1S.000022SAT61.45
Core1108_tbm_03.tex.module.000038UNSAT73.86
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT84.11
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT88.45
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT103.45
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT115.31
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT120.16
Umbrella_tbm_25.tex.module.000099UNSAT129.26
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT131.75
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT167.72
Umbrella_tbm_25.tex.module.000087UNSAT170.32
Umbrella_tbm_21.tex.module.000139UNSAT171.52
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT187.88
Umbrella_tbm_25.tex.module.000084UNSAT189.57
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT192.53
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT197.18
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT199.88
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT208.86
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT212.67
Umbrella_tbm_21.tex.module.000044UNSAT232.93
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT236.68
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT240.03
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT243.7
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT243.95
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT253.62
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT254.52
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT259.02
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT279.76
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT283.43
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT373.69
Core1108_tbm_03.tex.module.000039UNSAT513
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT626.62
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT640.4
Core1108_tbm_03.tex.module.000058SAT750.82
Core1108_tbm_03.tex.module.000056SAT750.94
Core1108_tbm_03.tex.module.000065SAT752.5
Core1108_tbm_03.tex.module.000057SAT779.38
Core1108_tbm_03.tex.module.000034SAT790.9
Core1108_tbm_03.tex.module.000037SAT793.79
Core1108_tbm_03.tex.module.000090SAT813.21
Core1108_tbm_03.tex.module.000064SAT830.52
Core1108_tbm_03.tex.module.000092SAT841.28
Core1108_tbm_03.tex.module.000031SAT883.4
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT936.13
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT941.61
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT947.5
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT991.43
Umbrella_tbm_26.tex.module.000061SAT1107.25
Umbrella_tbm_26.tex.module.000041SAT1108.34
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT1114.69
Umbrella_tbm_26.tex.module.000021SAT1131.95
Core1108_tbm_21.tex.module.000010FAIL1200.01
Umbrella_tbm_21.tex.module.000134FAIL1200.01
Umbrella_tbm_25.tex.module.000121FAIL1200.01
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1200.02
Core1108_tbm_09.tex.module.000010FAIL1200.02
Core1108_tbm_09.tex.module.000008FAIL1200.02
Umbrella_tbm_21.tex.module.000149FAIL1200.02
Core1108_tbm_21.tex.module.000030FAIL1200.02
Umbrella_tbm_21.tex.module.000029FAIL1200.02
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200.02
Umbrella_tbm_05.tex.module.000088FAIL1200.02
Umbrella_tbm_25.tex.module.000041FAIL1200.02
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1200.02
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL1200.02
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200.02
Umbrella_tbm_21.tex.module.000079FAIL1200.02
Umbrella_tbm_21.tex.module.000056FAIL1200.02
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL1200.02
Core1108_tbm_09.tex.module.000009FAIL1200.02
Umbrella_tbm_05.tex.module.000039FAIL1200.02
Umbrella_tbm_05.tex.module.000025FAIL1200.02
Umbrella_tbm_21.tex.module.000024FAIL1200.02
Umbrella_tbm_25.tex.module.000031FAIL1200.02
Umbrella_tbm_25.tex.module.000106FAIL1200.02
Core1108_tbm_21.tex.module.000009FAIL1200.02
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1200.02
Core1108_tbm_21.tex.module.000008FAIL1200.02
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL1200.03
Umbrella_tbm_05.tex.module.000064FAIL1200.03
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1200.03
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL1200.03
Umbrella_tbm_21.tex.module.000129FAIL1200.03
Umbrella_tbm_21.tex.module.000049FAIL1200.03
Umbrella_tbm_05.tex.module.000053FAIL1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL1200.03
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL1200.03
Umbrella_tbm_05.tex.module.000011FAIL1200.03
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1200.03
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1200.04
Umbrella_tbm_21.tex.module.000069FAIL1200.06