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

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT0.03
Core1108_tbm_03.tex.module.000023UNSAT0.04
Core1108_tbm_21.tex.module.000027UNSAT0.04
Core1108_tbm_03.tex.module.000021UNSAT0.05
Core1108_tbm_21.tex.module.000026UNSAT0.05
Core1108_tbm_03.tex.module.000048UNSAT0.05
Core1108_tbm_21.tex.module.000023UNSAT0.06
Core1108_tbm_03.tex.module.000019UNSAT0.07
Umbrella_tbm_05.tex.module.000079UNSAT0.08
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT0.09
Core1108_tbm_03.tex.module.000003UNSAT0.09
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT0.09
Core1108_tbm_09.tex.module.000033UNSAT0.09
Core1108_tbm_09.tex.module.000028UNSAT0.09
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT0.09
Core1108_tbm_21.tex.module.000017UNSAT0.1
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT0.1
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT0.1
Umbrella_tbm_26.tex.module.000004UNSAT0.13
Umbrella_tbm_05.tex.module.000065UNSAT0.14
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT0.16
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT0.16
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT0.16
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT0.17
Umbrella_tbm_05.tex.module.000043UNSAT0.18
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT0.18
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT0.2
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT0.22
Umbrella_tbm_05.tex.module.000015UNSAT0.22
Umbrella_tbm_05.tex.module.000030UNSAT0.23
Umbrella_tbm_25.tex.module.000003UNSAT0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT0.33
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT0.34
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT0.36
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT0.36
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT0.36
Umbrella_tbm_25.tex.module.000099UNSAT0.38
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT0.38
Umbrella_tbm_21.tex.module.000044UNSAT0.39
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT0.45
Umbrella_tbm_21.tex.module.000139UNSAT0.47
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT0.51
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT0.6
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT0.8
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT0.89
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT1.03
Core1108_tbm_21.tex.module.000014UNSAT1.14
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT1.2
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT1.23
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT1.44
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT1.49
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT1.52
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT1.79
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT1.85
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT2.55
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT2.58
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT2.94
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT2.96
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT3.22
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT3.36
Umbrella_tbm_23.tex.moduleQ1.2S.000001SAT3.55
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT3.61
Umbrella_tbm_29.tex.module.000078SAT5.28
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT5.31
Core1108_tbm_03.tex.module.000038UNSAT5.33
Umbrella_tbm_29.tex.module.000010SAT5.91
Umbrella_tbm_24.tex.module.000131SAT6.4
Umbrella_tbm_29.tex.module.000009SAT6.69
Umbrella_tbm_24.tex.module.000066SAT7.19
Umbrella_tbm_24.tex.module.000103SAT7.34
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT9.81
Umbrella_tbm_25.tex.module.000087UNSAT10.09
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT10.95
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT11.18
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT11.63
Umbrella_tbm_25.tex.module.000084UNSAT12.05
Umbrella_tbm_29.tex.moduleQ2.2S.000001SAT15.25
Umbrella_tbm_24.tex.moduleQ2.1S.000136SAT19.31
Umbrella_tbm_24.tex.moduleQ2.1S.000188SAT19.7
Core1108_tbm_03.tex.module.000039UNSAT20.17
Umbrella_tbm_24.tex.moduleQ2.1S.000022SAT25.39
Umbrella_tbm_14.tex.moduleQ2.2S.000003SAT33.86
Core1108_tbm_03.tex.module.000065SAT65.59
Core1108_tbm_09.tex.module.000010SAT66.62
Core1108_tbm_03.tex.module.000034SAT67.76
Core1108_tbm_03.tex.module.000037SAT68.01
Core1108_tbm_03.tex.module.000092SAT68.62
Core1108_tbm_03.tex.module.000058SAT70.08
Core1108_tbm_03.tex.module.000031SAT70.08
Core1108_tbm_03.tex.module.000056SAT71.43
Core1108_tbm_03.tex.module.000064SAT72.69
Core1108_tbm_03.tex.module.000090SAT75.69
Core1108_tbm_03.tex.module.000057SAT77.04
Core1108_tbm_09.tex.module.000008SAT86.6
Core1108_tbm_09.tex.module.000009SAT87.07
Core1108_tbm_21.tex.module.000030SAT92.87
Core1108_tbm_21.tex.module.000009SAT95.55
Umbrella_tbm_05.tex.module.000088SAT97.14
Core1108_tbm_21.tex.module.000008SAT106.01
Umbrella_tbm_26.tex.module.000041SAT106.22
Core1108_tbm_21.tex.module.000010SAT109.27
Core1108_tbm_03.tex.moduleQ3.2S.000011SAT110.28
Umbrella_tbm_26.tex.module.000061SAT118.65
Umbrella_tbm_26.tex.module.000021SAT126.41
Umbrella_tbm_05.tex.module.000064SAT135.88
Umbrella_tbm_05.tex.module.000053SAT139.96
Umbrella_tbm_05.tex.module.000011SAT146.66
Umbrella_tbm_21.tex.module.000069SAT148.34
Umbrella_tbm_21.tex.module.000134SAT151.57
Umbrella_tbm_21.tex.module.000129SAT159.12
Umbrella_tbm_21.tex.module.000056SAT161.7
Umbrella_tbm_05.tex.module.000039SAT165.03
Umbrella_tbm_21.tex.module.000079SAT165.21
Umbrella_tbm_21.tex.module.000029SAT167.36
Core1108_tbm_21.tex.moduleQ3.2S.000007SAT167.93
Umbrella_tbm_21.tex.module.000024SAT171.09
Umbrella_tbm_21.tex.module.000149SAT172.46
Umbrella_tbm_25.tex.module.000106SAT174.89
Umbrella_tbm_21.tex.module.000049SAT176.51
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT186.44
Umbrella_tbm_25.tex.module.000121SAT196.24
Core1108_tbm_02.tex.moduleQ3.2S.000077SAT203.1
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT204.85
Umbrella_tbm_05.tex.module.000025SAT205.5
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT208.58
Core1108_tbm_21.tex.moduleQ3.2S.000014SAT221.78
Umbrella_tbm_25.tex.module.000041SAT227.55
Umbrella_tbm_25.tex.module.000031SAT232.19
Core1108_tbm_21.tex.moduleQ3.2S.000027SAT236.87
Core1108_tbm_02.tex.moduleQ3.2S.000007SAT241.97
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT325.82
Core1108_tbm_09.tex.moduleQ3.9S.000001SAT386.22
Core1108_tbm_09.tex.moduleQ3.10S.000001SAT420.44
Core1108_tbm_09.tex.moduleQ3.2S.000011SAT435.21
Umbrella_tbm_25.tex.moduleQ3.2S.000063SAT552.64