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

InstanceResultTime
Core1108_tbm_21.tex.module.000017UNSAT0
Core1108_tbm_09.tex.module.000033UNSAT0.01
Core1108_tbm_03.tex.module.000023UNSAT0.01
Core1108_tbm_21.tex.module.000026UNSAT0.01
Core1108_tbm_03.tex.module.000021UNSAT0.01
Core1108_tbm_03.tex.module.000019UNSAT0.01
Core1108_tbm_21.tex.module.000091UNSAT0.01
Umbrella_tbm_05.tex.module.000079UNSAT0.01
Core1108_tbm_21.tex.module.000023UNSAT0.02
Umbrella_tbm_05.tex.module.000065UNSAT0.02
Core1108_tbm_03.tex.module.000039UNSAT0.02
Core1108_tbm_21.tex.module.000014UNSAT0.02
Core1108_tbm_21.tex.module.000027UNSAT0.02
Core1108_tbm_09.tex.module.000028UNSAT0.04
Umbrella_tbm_21.tex.module.000044UNSAT0.04
Umbrella_tbm_21.tex.module.000139UNSAT0.05
Umbrella_tbm_05.tex.module.000030UNSAT0.05
Umbrella_tbm_25.tex.module.000099UNSAT0.05
Umbrella_tbm_05.tex.module.000015UNSAT0.06
Umbrella_tbm_25.tex.module.000087UNSAT0.06
Umbrella_tbm_05.tex.module.000043UNSAT0.06
Umbrella_tbm_25.tex.module.000003UNSAT0.08
Umbrella_tbm_26.tex.module.000004UNSAT0.1
Core1108_tbm_03.tex.module.000038UNSAT0.11
Umbrella_tbm_25.tex.module.000084UNSAT0.18
Core1108_tbm_03.tex.module.000048UNSAT0.42
Core1108_tbm_03.tex.module.000003UNSAT2.68
Umbrella_tbm_24.tex.module.000066SAT3.05
Umbrella_tbm_24.tex.module.000131SAT3.49
Umbrella_tbm_24.tex.module.000103SAT3.52
Umbrella_tbm_29.tex.module.000010SAT4
Umbrella_tbm_29.tex.module.000009SAT4.28
Umbrella_tbm_29.tex.module.000078SAT4.38
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT13.56
Core1108_tbm_03.tex.module.000092SAT24.83
Core1108_tbm_03.tex.module.000056SAT24.91
Core1108_tbm_03.tex.module.000058SAT25.17
Core1108_tbm_03.tex.module.000031SAT25.35
Core1108_tbm_03.tex.module.000090SAT25.37
Core1108_tbm_09.tex.module.000009SAT26.04
Core1108_tbm_03.tex.module.000064SAT26.13
Core1108_tbm_03.tex.module.000065SAT26.41
Core1108_tbm_03.tex.module.000034SAT26.67
Core1108_tbm_03.tex.module.000037SAT26.67
Core1108_tbm_03.tex.module.000057SAT26.88
Core1108_tbm_09.tex.module.000010SAT27.49
Core1108_tbm_09.tex.module.000008SAT29.15
Core1108_tbm_21.tex.module.000009SAT48.82
Core1108_tbm_21.tex.module.000010SAT49.03
Core1108_tbm_21.tex.module.000008SAT51.53
Umbrella_tbm_21.tex.module.000134SAT51.57
Umbrella_tbm_21.tex.module.000129SAT52.11
Umbrella_tbm_21.tex.module.000149SAT52.79
Core1108_tbm_21.tex.module.000030SAT54.19
Umbrella_tbm_25.tex.module.000106SAT54.75
Umbrella_tbm_21.tex.module.000056SAT54.98
Umbrella_tbm_21.tex.module.000024SAT57.74
Umbrella_tbm_05.tex.module.000088SAT58.1
Umbrella_tbm_25.tex.module.000121SAT58.87
Umbrella_tbm_21.tex.module.000049SAT59.13
Umbrella_tbm_25.tex.module.000041SAT59.6
Umbrella_tbm_21.tex.module.000079SAT60.7
Umbrella_tbm_26.tex.module.000041SAT61.59
Umbrella_tbm_05.tex.module.000025SAT61.95
Umbrella_tbm_21.tex.module.000029SAT62.58
Umbrella_tbm_26.tex.module.000061SAT62.64
Umbrella_tbm_25.tex.module.000031SAT63.71
Umbrella_tbm_05.tex.module.000053SAT65.27
Umbrella_tbm_21.tex.module.000069SAT65.88
Umbrella_tbm_05.tex.module.000064SAT65.89
Umbrella_tbm_26.tex.module.000021SAT66.2
Umbrella_tbm_05.tex.module.000039SAT67.44
Umbrella_tbm_05.tex.module.000011SAT68.26
Umbrella_tbm_24.tex.moduleQ2.1S.000022SAT127.64
Umbrella_tbm_24.tex.moduleQ2.1S.000136SAT146.17
Umbrella_tbm_24.tex.moduleQ2.1S.000188SAT147.33
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT220.33
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT365.11
Core1108_tbm_21.tex.moduleQ3.2S.000014SAT885.8
Core1108_tbm_21.tex.moduleQ3.2S.000007SAT896.71
Core1108_tbm_21.tex.moduleQ3.2S.000027SAT899.08
Core1108_tbm_03.tex.moduleQ3.2S.000002FAIL1200.07
Umbrella_tbm_29.tex.moduleQ2.2S.000001FAIL1200.07
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL1200.07
Umbrella_tbm_14.tex.moduleQ2.1S.000792FAIL1200.07
Umbrella_tbm_26.tex.moduleQ3.2S.000014FAIL1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000056FAIL1200.07
Core1108_tbm_21.tex.moduleQ3.2S.000011FAIL1200.07
Core1108_tbm_03.tex.moduleQ3.2S.000018FAIL1200.07
Core1108_tbm_09.tex.moduleQ3.2S.000003FAIL1200.07
Umbrella_tbm_14.tex.moduleQ2.1S.000812FAIL1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000099FAIL1200.07
Core1108_tbm_09.tex.moduleQ3.2S.000007FAIL1200.07
Umbrella_tbm_14.tex.moduleQ2.2S.000001FAIL1200.08
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1200.08
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1200.08
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.2S.000003FAIL1200.08
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000787FAIL1200.08
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200.08
Umbrella_tbm_26.tex.moduleQ3.2S.000037FAIL1200.08
Core1108_tbm_03.tex.moduleQ3.2S.000003FAIL1200.08
Umbrella_tbm_26.tex.moduleQ3.2S.000020FAIL1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000749FAIL1200.08
Umbrella_tbm_23.tex.moduleQ1.2S.000001FAIL1200.08
Umbrella_tbm_26.tex.moduleQ3.2S.000009FAIL1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000015FAIL1200.08
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000002FAIL1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000095FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.2S.000002FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000773FAIL1200.08
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1200.08
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200.08
Umbrella_tbm_25.tex.moduleQ3.2S.000052FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000808FAIL1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000757FAIL1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000026FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000720FAIL1200.08
Umbrella_tbm_26.tex.moduleQ3.2S.000041FAIL1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000108FAIL1200.08
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200.08
Umbrella_tbm_25.tex.moduleQ3.2S.000120FAIL1200.09
Core1108_tbm_09.tex.moduleQ3.2S.000010FAIL1200.09
Core1108_tbm_21.tex.moduleQ3.2S.000024FAIL1200.09
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL1200.09
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL1200.09
Core1108_tbm_09.tex.moduleQ3.2S.000005FAIL1200.09
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL1200.09
Core1108_tbm_02.tex.moduleQ3.2S.000098FAIL1200.09
Core1108_tbm_21.tex.moduleQ3.2S.000019FAIL1200.09
Core1108_tbm_03.tex.moduleQ3.2S.000048FAIL1200.09
Core1108_tbm_03.tex.moduleQ3.2S.000009FAIL1200.09