Instances of family mqm solved by CirQit2.1
QBFEVAL'10 - Non-prenex Non-CNF Track.

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT0.04
Core1108_tbm_03.tex.module.000038UNSAT0.05
Core1108_tbm_03.tex.module.000023UNSAT0.05
Core1108_tbm_03.tex.module.000048UNSAT0.05
Core1108_tbm_03.tex.module.000019UNSAT0.05
Core1108_tbm_21.tex.module.000023UNSAT0.06
Core1108_tbm_21.tex.module.000026UNSAT0.06
Core1108_tbm_03.tex.module.000021UNSAT0.06
Core1108_tbm_21.tex.module.000017UNSAT0.06
Core1108_tbm_21.tex.module.000027UNSAT0.07
Core1108_tbm_09.tex.module.000033UNSAT0.09
Umbrella_tbm_05.tex.module.000065UNSAT0.1
Umbrella_tbm_05.tex.module.000043UNSAT0.16
Umbrella_tbm_05.tex.module.000030UNSAT0.18
Umbrella_tbm_05.tex.module.000015UNSAT0.2
Core1108_tbm_21.tex.module.000014UNSAT0.21
Core1108_tbm_09.tex.module.000028UNSAT0.23
Umbrella_tbm_21.tex.module.000139UNSAT0.23
Umbrella_tbm_21.tex.module.000044UNSAT0.26
Umbrella_tbm_26.tex.module.000004UNSAT0.29
Umbrella_tbm_25.tex.module.000099UNSAT0.43
Umbrella_tbm_05.tex.module.000079UNSAT0.44
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT0.51
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT0.52
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT0.55
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT0.57
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT0.58
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT0.58
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT0.58
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT0.58
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT0.59
Umbrella_tbm_25.tex.module.000003UNSAT0.78
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT0.96
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT1.01
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT1.04
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT1.04
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT1.04
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT2.04
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT2.22
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT2.69
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT2.78
Core1108_tbm_03.tex.module.000003UNSAT4.51
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT11.5
Umbrella_tbm_25.tex.module.000084UNSAT21.31
Umbrella_tbm_25.tex.module.000087UNSAT21.74
Core1108_tbm_03.tex.module.000039UNSAT23.74
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT27.19
Umbrella_tbm_24.tex.module.000131SAT31.85
Umbrella_tbm_24.tex.module.000103SAT33.56
Umbrella_tbm_24.tex.module.000066SAT34.46
Umbrella_tbm_29.tex.module.000078SAT67.07
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT148.75
Umbrella_tbm_29.tex.module.000010SAT151.98
Umbrella_tbm_29.tex.module.000009SAT156.43
Core1108_tbm_03.tex.module.000092SAT188.64
Core1108_tbm_03.tex.module.000090SAT197.74
Core1108_tbm_03.tex.module.000057SAT205.97
Core1108_tbm_03.tex.module.000058SAT207.11
Core1108_tbm_03.tex.module.000065SAT208.25
Core1108_tbm_03.tex.module.000064SAT209.73
Core1108_tbm_03.tex.module.000056SAT224.15
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT247.1
Core1108_tbm_03.tex.module.000037SAT264.42
Core1108_tbm_03.tex.module.000034SAT275.09
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT275.98
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT275.99
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT276.67
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT276.71
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT282.45
Core1108_tbm_03.tex.module.000031SAT282.61
Umbrella_tbm_23.tex.moduleQ1.2S.000001SAT285.31
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT429.66
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT791.67
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT798.28
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT801.28
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT802.75
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT822.42
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT864.73
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT867.8
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT955.14
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT974.53
Core1108_tbm_09.tex.module.000009SAT1034.47
Core1108_tbm_09.tex.module.000010SAT1036.49
Core1108_tbm_09.tex.module.000008SAT1038.9
Umbrella_tbm_26.tex.module.000061SAT1095.29
Core1108_tbm_21.tex.module.000030SAT1114.66
Umbrella_tbm_21.tex.module.000029FAIL1201.02
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1201.02
Umbrella_tbm_29.tex.moduleQ2.2S.000001FAIL1201.02
Umbrella_tbm_26.tex.module.000041FAIL1201.03
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1201.03
Umbrella_tbm_21.tex.module.000056FAIL1201.03
Umbrella_tbm_26.tex.module.000021FAIL1201.03
Umbrella_tbm_14.tex.moduleQ2.2S.000003FAIL1201.04
Umbrella_tbm_05.tex.module.000011FAIL1201.05
Umbrella_tbm_21.tex.module.000149FAIL1201.05
Umbrella_tbm_05.tex.module.000064FAIL1201.05
Umbrella_tbm_05.tex.module.000088FAIL1201.05
Umbrella_tbm_25.tex.module.000121FAIL1201.05
Umbrella_tbm_21.tex.module.000024FAIL1201.05
Umbrella_tbm_21.tex.module.000069FAIL1201.05
Core1108_tbm_21.tex.module.000008FAIL1201.06
Umbrella_tbm_21.tex.module.000134FAIL1201.06
Umbrella_tbm_21.tex.module.000079FAIL1201.06
Umbrella_tbm_05.tex.module.000025FAIL1201.06
Umbrella_tbm_21.tex.module.000129FAIL1201.06
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL1201.06
Umbrella_tbm_05.tex.module.000039FAIL1201.06
Umbrella_tbm_21.tex.module.000049FAIL1201.06
Umbrella_tbm_05.tex.module.000053FAIL1201.06
Umbrella_tbm_25.tex.module.000106FAIL1201.06
Core1108_tbm_21.tex.module.000009FAIL1201.06
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL1201.06
Umbrella_tbm_24.tex.moduleQ2.1S.000022FAIL1201.07
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1201.07
Core1108_tbm_21.tex.module.000010FAIL1201.07
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL1201.07
Umbrella_tbm_14.tex.moduleQ2.1S.000749FAIL1201.07
Umbrella_tbm_25.tex.module.000041FAIL1201.07
Umbrella_tbm_24.tex.moduleQ2.1S.000188FAIL1201.07
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL1201.07
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1201.07
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1201.08
Umbrella_tbm_14.tex.moduleQ2.1S.000812FAIL1201.08
Umbrella_tbm_14.tex.moduleQ2.2S.000002FAIL1201.08
Umbrella_tbm_24.tex.moduleQ2.1S.000136FAIL1201.08
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1201.08
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1201.08
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL1201.08
Umbrella_tbm_14.tex.moduleQ2.1S.000757FAIL1201.08
Umbrella_tbm_14.tex.moduleQ2.1S.000808FAIL1201.08
Umbrella_tbm_25.tex.module.000031FAIL1201.08
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL1201.08
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1201.09
Umbrella_tbm_14.tex.moduleQ2.1S.000773FAIL1201.09
Umbrella_tbm_14.tex.moduleQ2.2S.000001FAIL1201.09