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

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT0.07
Core1108_tbm_21.tex.module.000026UNSAT0.1
Core1108_tbm_03.tex.module.000021UNSAT0.1
Core1108_tbm_03.tex.module.000023UNSAT0.1
Core1108_tbm_21.tex.module.000027UNSAT0.1
Core1108_tbm_21.tex.module.000023UNSAT0.11
Core1108_tbm_03.tex.module.000048UNSAT0.12
Core1108_tbm_21.tex.module.000017UNSAT0.13
Core1108_tbm_03.tex.module.000019UNSAT0.14
Core1108_tbm_03.tex.module.000003UNSAT0.16
Core1108_tbm_09.tex.module.000033UNSAT0.21
Core1108_tbm_09.tex.module.000028UNSAT0.23
Umbrella_tbm_05.tex.module.000065UNSAT0.27
Umbrella_tbm_05.tex.module.000079UNSAT0.27
Umbrella_tbm_26.tex.module.000004UNSAT0.36
Umbrella_tbm_05.tex.module.000043UNSAT0.4
Umbrella_tbm_05.tex.module.000030UNSAT0.48
Umbrella_tbm_05.tex.module.000015UNSAT0.62
Umbrella_tbm_25.tex.module.000003UNSAT1.21
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT1.37
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT3.92
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT4.36
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT5.45
Umbrella_tbm_29.tex.module.000009SAT7.56
Core1108_tbm_21.tex.module.000014UNSAT7.78
Umbrella_tbm_29.tex.module.000010SAT7.82
Umbrella_tbm_29.tex.module.000078SAT8.34
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT8.59
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT8.76
Umbrella_tbm_24.tex.module.000131SAT9.53
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT12.14
Umbrella_tbm_24.tex.module.000066SAT12.79
Umbrella_tbm_24.tex.module.000103SAT12.84
Umbrella_tbm_21.tex.module.000044UNSAT18.81
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT23.29
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT24
Core1108_tbm_03.tex.module.000038UNSAT25.52
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT31.35
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT31.76
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT32.06
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT33.24
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT34.96
Umbrella_tbm_23.tex.moduleQ1.2S.000001SAT35.47
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT37.31
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT38.57
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT39.97
Core1108_tbm_03.tex.module.000039UNSAT42.72
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT42.94
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT46.14
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT50.8
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT50.93
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT50.98
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT57.14
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT58.5
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT72.38
Umbrella_tbm_24.tex.moduleQ2.1S.000136SAT82.51
Umbrella_tbm_21.tex.module.000139UNSAT86.64
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT87.48
Umbrella_tbm_24.tex.moduleQ2.1S.000188SAT91.1
Umbrella_tbm_25.tex.module.000099UNSAT100.32
Umbrella_tbm_24.tex.moduleQ2.1S.000022SAT101.95
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT116.11
Umbrella_tbm_25.tex.module.000087UNSAT129.4
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT139.96
Umbrella_tbm_29.tex.moduleQ2.2S.000001SAT144.04
Umbrella_tbm_25.tex.module.000084UNSAT155.49
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT157.41
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT184.75
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT214.05
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT235.65
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT267.39
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT338.59
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT376.91
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT382.64
Core1108_tbm_21.tex.module.000009SAT399.03
Core1108_tbm_09.tex.module.000008SAT399.81
Umbrella_tbm_14.tex.moduleQ2.2S.000003SAT404.77
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT410.51
Core1108_tbm_09.tex.module.000010SAT417.1
Core1108_tbm_21.tex.module.000008SAT426.84
Core1108_tbm_09.tex.module.000009SAT435.62
Umbrella_tbm_21.tex.module.000149SAT438.8
Core1108_tbm_21.tex.module.000010SAT441.94
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT448.43
Core1108_tbm_21.tex.module.000030SAT452.43
Umbrella_tbm_05.tex.module.000064SAT495.02
Umbrella_tbm_05.tex.module.000053SAT515.53
Umbrella_tbm_26.tex.module.000041SAT519.8
Umbrella_tbm_26.tex.module.000061SAT564.11
Umbrella_tbm_05.tex.module.000025SAT579.76
Umbrella_tbm_05.tex.module.000088SAT609.26
Umbrella_tbm_05.tex.module.000011SAT639.43
Umbrella_tbm_05.tex.module.000039SAT650.31
Umbrella_tbm_26.tex.module.000021SAT664.8
Umbrella_tbm_21.tex.module.000134SAT721.53
Umbrella_tbm_21.tex.module.000079SAT773.29
Umbrella_tbm_21.tex.module.000029SAT791.37
Umbrella_tbm_21.tex.module.000129SAT805.02
Umbrella_tbm_21.tex.module.000024SAT845.47
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT873.23
Umbrella_tbm_21.tex.module.000069SAT876.79
Umbrella_tbm_21.tex.module.000049SAT894.12
Umbrella_tbm_21.tex.module.000056SAT895.57
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT923.84
Core1108_tbm_03.tex.module.000058SAT925.39
Core1108_tbm_03.tex.module.000064SAT962.04
Core1108_tbm_03.tex.module.000057SAT987.19
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT998.37
Core1108_tbm_03.tex.module.000031SAT1007.67
Umbrella_tbm_25.tex.module.000121SAT1008.55
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT1014.97
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT1028.56
Core1108_tbm_03.tex.module.000034SAT1072.09
Core1108_tbm_03.tex.module.000065SAT1088.66
Core1108_tbm_03.tex.module.000056SAT1111.19
Core1108_tbm_03.tex.module.000037SAT1160.27
Core1108_tbm_03.tex.module.000090FAIL1200.02
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1200.02
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200.02
Umbrella_tbm_25.tex.module.000041FAIL1200.02
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1200.02
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200.02
Umbrella_tbm_25.tex.module.000031FAIL1200.02
Core1108_tbm_03.tex.module.000092FAIL1200.02
Umbrella_tbm_25.tex.module.000106FAIL1200.02
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1200.02
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000011FAIL1200.03
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1200.03
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL1200.03
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL1200.04
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL1200.04
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL1200.05
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1200.05