Instances of family mqm solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
Umbrella_tbm_24.tex.module.000066SAT0.05
Umbrella_tbm_05.tex.module.000025SAT0.05
Core1108_tbm_02.tex.moduleQ3.2S.000099SAT0.05
Umbrella_tbm_21.tex.module.000024SAT0.05
Core1108_tbm_21.tex.moduleQ3.2S.000019SAT0.05
Core1108_tbm_03.tex.module.000064SAT0.05
Umbrella_tbm_21.tex.module.000129SAT0.05
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT0.05
Umbrella_tbm_21.tex.module.000056SAT0.05
Core1108_tbm_21.tex.moduleQ3.2S.000027SAT0.05
Core1108_tbm_02.tex.moduleQ3.2S.000007SAT0.05
Umbrella_tbm_21.tex.module.000044SAT0.05
Umbrella_tbm_25.tex.module.000099SAT0.05
Core1108_tbm_09.tex.module.000009SAT0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000757SAT0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000808SAT0.05
Umbrella_tbm_24.tex.module.000103SAT0.05
Core1108_tbm_02.tex.moduleQ3.2S.000026SAT0.05
Core1108_tbm_03.tex.moduleQ3.2S.000048SAT0.05
Umbrella_tbm_05.tex.module.000030SAT0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000720SAT0.05
Umbrella_tbm_29.tex.module.000009SAT0.05
Umbrella_tbm_26.tex.module.000021SAT0.05
Core1108_tbm_03.tex.moduleQ3.2S.000009SAT0.05
Core1108_tbm_03.tex.module.000038SAT0.05
Core1108_tbm_09.tex.moduleQ3.2S.000007SAT0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000041SAT0.05
Core1108_tbm_03.tex.module.000019SAT0.05
Core1108_tbm_02.tex.moduleQ3.2S.000108SAT0.05
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT0.05
Umbrella_tbm_21.tex.module.000049SAT0.05
Umbrella_tbm_25.tex.module.000031SAT0.05
Umbrella_tbm_05.tex.module.000053SAT0.05
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT0.05
Umbrella_tbm_21.tex.module.000069SAT0.05
Umbrella_tbm_14.tex.moduleQ2.2S.000001SAT0.05
Umbrella_tbm_25.tex.moduleQ3.2S.000120SAT0.05
Core1108_tbm_03.tex.moduleQ3.2S.000002SAT0.05
Umbrella_tbm_29.tex.moduleQ2.2S.000001SAT0.05
Core1108_tbm_03.tex.module.000092SAT0.05
Umbrella_tbm_25.tex.module.000106SAT0.05
Core1108_tbm_21.tex.module.000009SAT0.05
Umbrella_tbm_26.tex.module.000061SAT0.05
Core1108_tbm_09.tex.module.000033SAT0.05
Core1108_tbm_21.tex.module.000091SAT0.05
Core1108_tbm_03.tex.moduleQ3.2S.000011SAT0.05
Core1108_tbm_21.tex.moduleQ3.2S.000007SAT0.05
Core1108_tbm_09.tex.moduleQ3.9S.000001SAT0.05
Umbrella_tbm_25.tex.module.000003SAT0.05
Umbrella_tbm_05.tex.module.000065SAT0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000792SAT0.05
Core1108_tbm_09.tex.moduleQ3.10S.000001SAT0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000014SAT0.05
Core1108_tbm_03.tex.module.000090SAT0.05
Umbrella_tbm_25.tex.module.000087SAT0.05
Core1108_tbm_09.tex.module.000028SAT0.05
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT0.05
Core1108_tbm_21.tex.module.000008SAT0.05
Umbrella_tbm_05.tex.module.000011SAT0.05
Core1108_tbm_03.tex.module.000023SAT0.05
Umbrella_tbm_21.tex.module.000139SAT0.05
Umbrella_tbm_24.tex.moduleQ2.1S.000022SAT0.05
Umbrella_tbm_14.tex.moduleQ2.2S.000003SAT0.05
Core1108_tbm_02.tex.moduleQ3.2S.000056SAT0.05
Umbrella_tbm_26.tex.module.000041SAT0.05
Core1108_tbm_03.tex.module.000058SAT0.05
Core1108_tbm_03.tex.module.000039SAT0.05
Core1108_tbm_03.tex.module.000003SAT0.05
Core1108_tbm_21.tex.module.000014SAT0.05
Core1108_tbm_09.tex.module.000008SAT0.05
Core1108_tbm_21.tex.moduleQ3.2S.000011SAT0.05
Umbrella_tbm_05.tex.module.000043SAT0.05
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT0.05
Core1108_tbm_21.tex.module.000010SAT0.05
Core1108_tbm_03.tex.module.000037SAT0.05
Core1108_tbm_03.tex.moduleQ3.2S.000018SAT0.05
Core1108_tbm_03.tex.module.000065SAT0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000787SAT0.05
Core1108_tbm_03.tex.module.000034SAT0.05
Core1108_tbm_09.tex.moduleQ3.2S.000010SAT0.05
Core1108_tbm_03.tex.module.000048SAT0.05
Umbrella_tbm_29.tex.module.000010SAT0.05
Core1108_tbm_09.tex.module.000010SAT0.05
Core1108_tbm_21.tex.moduleQ3.2S.000024SAT0.05
Core1108_tbm_09.tex.moduleQ3.2S.000003SAT0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000037SAT0.05
Core1108_tbm_21.tex.moduleQ3.2S.000014SAT0.05
Core1108_tbm_03.tex.moduleQ3.2S.000003SAT0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000812SAT0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000020SAT0.05
Core1108_tbm_09.tex.moduleQ3.2S.000011SAT0.05
Core1108_tbm_21.tex.module.000023SAT0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000749SAT0.05
Umbrella_tbm_21.tex.module.000149SAT0.05
Core1108_tbm_03.tex.module.000057SAT0.05
Core1108_tbm_21.tex.module.000030SAT0.05
Umbrella_tbm_21.tex.module.000029SAT0.05
Umbrella_tbm_23.tex.moduleQ1.2S.000001SAT0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000009SAT0.05
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT0.05
Core1108_tbm_21.tex.moduleQ3.2S.000015SAT0.05
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT0.05
Umbrella_tbm_05.tex.module.000079SAT0.05
Core1108_tbm_21.tex.moduleQ3.2S.000002SAT0.05
Core1108_tbm_02.tex.moduleQ3.2S.000095SAT0.05
Umbrella_tbm_24.tex.moduleQ2.1S.000188SAT0.05
Umbrella_tbm_05.tex.module.000064SAT0.05
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT0.05
Umbrella_tbm_05.tex.module.000088SAT0.05
Umbrella_tbm_14.tex.moduleQ2.2S.000002SAT0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000773SAT0.05
Umbrella_tbm_29.tex.module.000078SAT0.05
Umbrella_tbm_24.tex.moduleQ2.1S.000136SAT0.05
Umbrella_tbm_21.tex.module.000134SAT0.05
Umbrella_tbm_25.tex.module.000121SAT0.05
Core1108_tbm_03.tex.module.000031SAT0.05
Umbrella_tbm_25.tex.moduleQ3.2S.000063SAT0.05
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT0.05
Umbrella_tbm_05.tex.module.000015SAT0.05
Umbrella_tbm_21.tex.module.000079SAT0.05
Umbrella_tbm_26.tex.module.000004SAT0.05
Core1108_tbm_09.tex.moduleQ3.2S.000005SAT0.05
Umbrella_tbm_25.tex.moduleQ3.2S.000052SAT0.05
Core1108_tbm_21.tex.module.000017SAT0.05
Core1108_tbm_21.tex.module.000026SAT0.05
Core1108_tbm_02.tex.moduleQ3.2S.000077SAT0.05
Core1108_tbm_03.tex.module.000021SAT0.05
Core1108_tbm_02.tex.moduleQ3.2S.000098SAT0.05
Core1108_tbm_03.tex.module.000056SAT0.05
Umbrella_tbm_25.tex.module.000084SAT0.06
Umbrella_tbm_25.tex.module.000041SAT0.06
Core1108_tbm_21.tex.module.000027UNSAT39
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT60.01
Umbrella_tbm_24.tex.module.000131SAT68.21
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT112.85
Umbrella_tbm_05.tex.module.000039SAT147.34