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

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT0.08
Core1108_tbm_03.tex.module.000021UNSAT0.1
Core1108_tbm_21.tex.module.000027UNSAT0.1
Core1108_tbm_03.tex.module.000023UNSAT0.11
Core1108_tbm_21.tex.module.000023UNSAT0.11
Core1108_tbm_21.tex.module.000026UNSAT0.12
Core1108_tbm_03.tex.module.000048UNSAT0.14
Core1108_tbm_21.tex.module.000017UNSAT0.16
Core1108_tbm_03.tex.module.000019UNSAT0.16
Core1108_tbm_03.tex.module.000003UNSAT0.18
Core1108_tbm_09.tex.module.000028UNSAT0.22
Core1108_tbm_09.tex.module.000033UNSAT0.25
Umbrella_tbm_05.tex.module.000065UNSAT0.29
Umbrella_tbm_05.tex.module.000079UNSAT0.29
Umbrella_tbm_05.tex.module.000043UNSAT0.4
Umbrella_tbm_26.tex.module.000004UNSAT0.43
Umbrella_tbm_05.tex.module.000030UNSAT0.53
Umbrella_tbm_05.tex.module.000015UNSAT0.65
Umbrella_tbm_25.tex.module.000003UNSAT1.29
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT2.79
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT4.5
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT4.61
Umbrella_tbm_23.tex.moduleQ1.2S.000001SAT8.61
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT11.98
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT13.52
Umbrella_tbm_29.tex.module.000009SAT17.11
Umbrella_tbm_29.tex.module.000078SAT17.84
Umbrella_tbm_29.tex.module.000010SAT17.89
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT18.13
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT19.72
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT20.09
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT21.37
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT21.69
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT24.73
Umbrella_tbm_24.tex.module.000131SAT27.26
Umbrella_tbm_24.tex.module.000103SAT28.82
Umbrella_tbm_24.tex.module.000066SAT30.39
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT32.9
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT34.81
Umbrella_tbm_29.tex.moduleQ2.2S.000001SAT34.97
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT37.73
Core1108_tbm_21.tex.module.000014UNSAT51.78
Umbrella_tbm_24.tex.moduleQ2.1S.000136SAT52.37
Umbrella_tbm_24.tex.moduleQ2.1S.000188SAT56.44
Umbrella_tbm_14.tex.moduleQ2.2S.000003SAT59.36
Umbrella_tbm_24.tex.moduleQ2.1S.000022SAT65.34
Core1108_tbm_03.tex.module.000038UNSAT73.7
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT96.65
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT106.23
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT119.59
Umbrella_tbm_25.tex.module.000099UNSAT120.77
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT129.66
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT130.09
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT144.95
Umbrella_tbm_21.tex.module.000139UNSAT165.64
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT167.25
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT168.22
Umbrella_tbm_25.tex.module.000087UNSAT171.58
Umbrella_tbm_25.tex.module.000084UNSAT184.54
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT185.76
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT209.37
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT225.75
Umbrella_tbm_21.tex.module.000044UNSAT230.63
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT235.34
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT241.19
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT252.37
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT254.61
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT265.16
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT268.24
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT269.27
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT272.09
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT272.45
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT275.53
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT277.92
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT292.17
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT320.72
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT420.92
Core1108_tbm_03.tex.module.000039UNSAT452.45
Core1108_tbm_03.tex.module.000058SAT757.23
Core1108_tbm_03.tex.module.000056SAT757.34
Core1108_tbm_03.tex.module.000057SAT759.96
Core1108_tbm_03.tex.module.000065SAT761.79
Core1108_tbm_03.tex.module.000064SAT779.53
Core1108_tbm_03.tex.module.000037SAT782.89
Core1108_tbm_03.tex.module.000034SAT784.37
Core1108_tbm_03.tex.module.000031SAT801.53
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT882.57
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT887.01
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT888.94
Core1108_tbm_03.tex.module.000090SAT984.05
Core1108_tbm_03.tex.module.000092SAT1128.03
Core1108_tbm_21.tex.module.000030SAT1155.6
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT1164.61
Core1108_tbm_21.tex.module.000010FAIL1200.01
Umbrella_tbm_21.tex.module.000149FAIL1200.01
Umbrella_tbm_21.tex.module.000029FAIL1200.01
Umbrella_tbm_21.tex.module.000079FAIL1200.01
Umbrella_tbm_21.tex.module.000049FAIL1200.01
Core1108_tbm_21.tex.module.000008FAIL1200.02
Umbrella_tbm_05.tex.module.000011FAIL1200.02
Umbrella_tbm_26.tex.module.000041FAIL1200.02
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200.02
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL1200.02
Core1108_tbm_03.tex.moduleQ3.2S.000003FAIL1200.02
Umbrella_tbm_05.tex.module.000088FAIL1200.02
Umbrella_tbm_21.tex.module.000134FAIL1200.02
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL1200.02
Umbrella_tbm_25.tex.module.000121FAIL1200.02
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1200.02
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200.02
Umbrella_tbm_21.tex.module.000056FAIL1200.02
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL1200.02
Core1108_tbm_09.tex.module.000009FAIL1200.02
Umbrella_tbm_21.tex.module.000024FAIL1200.02
Umbrella_tbm_21.tex.module.000129FAIL1200.02
Umbrella_tbm_25.tex.module.000031FAIL1200.02
Umbrella_tbm_05.tex.module.000053FAIL1200.02
Umbrella_tbm_26.tex.module.000021FAIL1200.02
Umbrella_tbm_25.tex.module.000106FAIL1200.02
Core1108_tbm_21.tex.module.000009FAIL1200.02
Umbrella_tbm_26.tex.module.000061FAIL1200.02
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1200.02
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL1200.02
Core1108_tbm_09.tex.module.000010FAIL1200.03
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1200.03
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1200.03
Umbrella_tbm_25.tex.module.000041FAIL1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL1200.03
Umbrella_tbm_21.tex.module.000069FAIL1200.03
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1200.04
Core1108_tbm_09.tex.module.000008FAIL1200.04
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1200.04
Umbrella_tbm_05.tex.module.000025FAIL1200.04
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL1200.04
Umbrella_tbm_05.tex.module.000064FAIL1200.05
Umbrella_tbm_05.tex.module.000039FAIL1200.07