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

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT0.02
Core1108_tbm_21.tex.module.000027UNSAT0.02
Core1108_tbm_21.tex.module.000026UNSAT0.03
Core1108_tbm_03.tex.module.000023UNSAT0.04
Core1108_tbm_03.tex.module.000021UNSAT0.05
Core1108_tbm_03.tex.module.000048UNSAT0.05
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT0.05
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT0.06
Core1108_tbm_21.tex.module.000023UNSAT0.06
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT0.06
Umbrella_tbm_05.tex.module.000079UNSAT0.06
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT0.06
Core1108_tbm_03.tex.module.000019UNSAT0.06
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT0.07
Core1108_tbm_09.tex.module.000028UNSAT0.08
Core1108_tbm_03.tex.module.000003UNSAT0.08
Core1108_tbm_09.tex.module.000033UNSAT0.09
Core1108_tbm_21.tex.module.000017UNSAT0.1
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT0.13
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT0.13
Umbrella_tbm_26.tex.module.000004UNSAT0.13
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT0.13
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT0.13
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT0.14
Umbrella_tbm_05.tex.module.000065UNSAT0.14
Umbrella_tbm_05.tex.module.000043UNSAT0.17
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT0.18
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT0.18
Umbrella_tbm_05.tex.module.000015UNSAT0.2
Umbrella_tbm_05.tex.module.000030UNSAT0.21
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT0.21
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT0.23
Umbrella_tbm_25.tex.module.000003UNSAT0.24
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT0.27
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT0.3
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT0.3
Umbrella_tbm_25.tex.module.000099UNSAT0.36
Umbrella_tbm_21.tex.module.000044UNSAT0.38
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT0.42
Umbrella_tbm_21.tex.module.000139UNSAT0.43
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT0.44
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT0.57
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT0.61
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT0.73
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT0.76
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT0.89
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT1
Core1108_tbm_21.tex.module.000014UNSAT1.28
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT1.32
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT1.4
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT1.46
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT1.64
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT1.67
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT2.28
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT2.64
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT2.73
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT2.86
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT2.88
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT3.04
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT3.68
Umbrella_tbm_23.tex.moduleQ1.2S.000001SAT3.75
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT4.36
Umbrella_tbm_29.tex.module.000078SAT5.02
Core1108_tbm_03.tex.module.000038UNSAT5.36
Umbrella_tbm_29.tex.module.000009SAT6.22
Umbrella_tbm_29.tex.module.000010SAT6.39
Umbrella_tbm_24.tex.module.000131SAT7.18
Umbrella_tbm_24.tex.module.000066SAT7.29
Umbrella_tbm_24.tex.module.000103SAT7.38
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT8.63
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT9.31
Umbrella_tbm_25.tex.module.000087UNSAT10.42
Umbrella_tbm_25.tex.module.000084UNSAT11.53
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT16.63
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT16.77
Core1108_tbm_03.tex.module.000039UNSAT18.07
Umbrella_tbm_29.tex.moduleQ2.2S.000001SAT22.29
Umbrella_tbm_24.tex.moduleQ2.1S.000022SAT24.49
Umbrella_tbm_24.tex.moduleQ2.1S.000188SAT25.85
Umbrella_tbm_24.tex.moduleQ2.1S.000136SAT28.39
Umbrella_tbm_14.tex.moduleQ2.2S.000003SAT34.01
Core1108_tbm_03.tex.module.000031SAT61.27
Core1108_tbm_03.tex.module.000056SAT61.88
Core1108_tbm_03.tex.module.000058SAT63.63
Core1108_tbm_03.tex.module.000065SAT65.49
Core1108_tbm_03.tex.module.000037SAT66.83
Core1108_tbm_03.tex.module.000090SAT69.19
Core1108_tbm_03.tex.module.000057SAT70.53
Core1108_tbm_03.tex.module.000064SAT72.8
Core1108_tbm_03.tex.module.000092SAT72.85
Core1108_tbm_03.tex.module.000034SAT73.41
Core1108_tbm_09.tex.module.000008SAT73.96
Core1108_tbm_09.tex.module.000009SAT79.14
Core1108_tbm_21.tex.module.000009SAT83.75
Core1108_tbm_09.tex.module.000010SAT84.57
Core1108_tbm_21.tex.module.000030SAT88.37
Umbrella_tbm_05.tex.module.000088SAT94.6
Core1108_tbm_21.tex.module.000008SAT96.3
Umbrella_tbm_26.tex.module.000021SAT104.66
Core1108_tbm_21.tex.module.000010SAT110.27
Umbrella_tbm_26.tex.module.000041SAT115.8
Umbrella_tbm_26.tex.module.000061SAT116.22
Umbrella_tbm_05.tex.module.000053SAT125.9
Umbrella_tbm_05.tex.module.000064SAT130.3
Umbrella_tbm_05.tex.module.000011SAT137.18
Core1108_tbm_03.tex.moduleQ3.2S.000011SAT138.58
Umbrella_tbm_21.tex.module.000134SAT140.95
Umbrella_tbm_21.tex.module.000069SAT141.71
Umbrella_tbm_21.tex.module.000079SAT144.67
Umbrella_tbm_05.tex.module.000039SAT145.74
Umbrella_tbm_21.tex.module.000129SAT149.7
Umbrella_tbm_21.tex.module.000029SAT154.47
Umbrella_tbm_21.tex.module.000049SAT155.95
Umbrella_tbm_21.tex.module.000149SAT162.47
Umbrella_tbm_21.tex.module.000056SAT172.7
Umbrella_tbm_21.tex.module.000024SAT173.9
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT186.48
Umbrella_tbm_25.tex.module.000121SAT186.86
Umbrella_tbm_05.tex.module.000025SAT191.32
Umbrella_tbm_25.tex.module.000106SAT192.77
Umbrella_tbm_25.tex.module.000041SAT215.09
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT215.18
Core1108_tbm_21.tex.moduleQ3.2S.000027SAT220.03
Core1108_tbm_21.tex.moduleQ3.2S.000014SAT224.91
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT229.57
Umbrella_tbm_25.tex.module.000031SAT230.81
Core1108_tbm_21.tex.moduleQ3.2S.000007SAT256.6
Core1108_tbm_02.tex.moduleQ3.2S.000077SAT304.51
Core1108_tbm_02.tex.moduleQ3.2S.000007SAT309.26
Core1108_tbm_09.tex.moduleQ3.10S.000001SAT345.75
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT399.31
Core1108_tbm_09.tex.moduleQ3.9S.000001SAT431.15
Core1108_tbm_09.tex.moduleQ3.2S.000011SAT470.82
Umbrella_tbm_25.tex.moduleQ3.2S.000063SAT770.04