Instances of family mqm solved by ghostq-plain
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT0.3
Core1108_tbm_21.tex.module.000026UNSAT0.35
Core1108_tbm_21.tex.module.000030UNSAT0.36
Core1108_tbm_21.tex.module.000017UNSAT0.36
Umbrella_tbm_24.tex.module.000103UNSAT0.36
Core1108_tbm_21.tex.module.000010UNSAT0.37
Core1108_tbm_21.tex.module.000009UNSAT0.37
Core1108_tbm_21.tex.module.000008UNSAT0.37
Core1108_tbm_21.tex.module.000014UNSAT0.38
Core1108_tbm_21.tex.module.000023UNSAT0.38
Umbrella_tbm_29.tex.module.000078UNSAT0.4
Core1108_tbm_03.tex.module.000034UNSAT0.42
Core1108_tbm_03.tex.module.000048UNSAT0.42
Umbrella_tbm_24.tex.module.000066UNSAT0.42
Core1108_tbm_03.tex.module.000092UNSAT0.42
Core1108_tbm_03.tex.module.000090UNSAT0.42
Core1108_tbm_03.tex.module.000021UNSAT0.43
Core1108_tbm_03.tex.module.000023UNSAT0.44
Core1108_tbm_03.tex.module.000037UNSAT0.45
Core1108_tbm_03.tex.module.000039UNSAT0.46
Umbrella_tbm_29.tex.module.000010UNSAT0.46
Core1108_tbm_03.tex.module.000038UNSAT0.46
Core1108_tbm_03.tex.module.000031UNSAT0.47
Umbrella_tbm_29.tex.module.000009UNSAT0.47
Core1108_tbm_03.tex.module.000019UNSAT0.47
Core1108_tbm_03.tex.module.000065UNSAT0.48
Core1108_tbm_03.tex.module.000057UNSAT0.48
Core1108_tbm_03.tex.module.000064UNSAT0.48
Core1108_tbm_03.tex.module.000058UNSAT0.48
Core1108_tbm_03.tex.module.000056UNSAT0.49
Core1108_tbm_03.tex.module.000003UNSAT0.5
Core1108_tbm_09.tex.module.000033UNSAT0.55
Core1108_tbm_09.tex.module.000028UNSAT0.58
Core1108_tbm_09.tex.module.000010UNSAT0.59
Core1108_tbm_09.tex.module.000008UNSAT0.59
Core1108_tbm_09.tex.module.000009UNSAT0.59
Umbrella_tbm_05.tex.module.000088UNSAT0.71
Umbrella_tbm_05.tex.module.000079UNSAT0.72
Umbrella_tbm_26.tex.module.000061UNSAT0.72
Umbrella_tbm_05.tex.module.000065UNSAT0.72
Umbrella_tbm_26.tex.module.000041UNSAT0.73
Umbrella_tbm_26.tex.module.000021UNSAT0.75
Umbrella_tbm_26.tex.module.000004UNSAT0.76
Umbrella_tbm_21.tex.module.000139UNSAT0.76
Umbrella_tbm_05.tex.module.000043UNSAT0.78
Umbrella_tbm_05.tex.module.000064UNSAT0.8
Umbrella_tbm_21.tex.module.000149UNSAT0.83
Umbrella_tbm_21.tex.module.000134UNSAT0.83
Umbrella_tbm_21.tex.module.000129UNSAT0.83
Umbrella_tbm_05.tex.module.000030UNSAT0.83
Umbrella_tbm_05.tex.module.000053UNSAT0.83
Umbrella_tbm_05.tex.module.000015UNSAT0.88
Umbrella_tbm_05.tex.module.000025UNSAT0.88
Umbrella_tbm_21.tex.module.000049UNSAT0.9
Umbrella_tbm_21.tex.module.000029UNSAT0.91
Umbrella_tbm_21.tex.module.000069UNSAT0.91
Umbrella_tbm_05.tex.module.000011UNSAT0.91
Umbrella_tbm_25.tex.module.000121UNSAT0.93
Umbrella_tbm_21.tex.module.000024UNSAT0.93
Umbrella_tbm_21.tex.module.000056UNSAT0.94
Umbrella_tbm_25.tex.module.000106UNSAT0.96
Umbrella_tbm_25.tex.module.000087UNSAT0.97
Umbrella_tbm_21.tex.module.000079UNSAT0.99
Umbrella_tbm_25.tex.module.000041UNSAT1.03
Umbrella_tbm_21.tex.module.000044UNSAT1.05
Umbrella_tbm_25.tex.module.000084UNSAT1.08
Umbrella_tbm_25.tex.module.000099UNSAT1.11
Umbrella_tbm_25.tex.module.000031UNSAT1.18
Umbrella_tbm_25.tex.module.000003UNSAT1.24
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT2.57
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT2.77
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT3.31
Core1108_tbm_21.tex.moduleQ3.2S.000007UNSAT3.47
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT3.55
Core1108_tbm_21.tex.moduleQ3.2S.000014UNSAT3.62
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT3.72
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT3.73
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT3.77
Core1108_tbm_21.tex.moduleQ3.2S.000027UNSAT3.8
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT3.81
Core1108_tbm_28.tex.moduleQ2.2S.000003UNSAT3.88
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT3.96
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT4.47
Core1108_tbm_03.tex.moduleQ3.2S.000011UNSAT4.49
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT4.58
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT4.64
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT4.72
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT4.74
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT5.37
Core1108_tbm_02.tex.moduleQ3.2S.000007UNSAT5.39
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT5.66
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT5.72
Core1108_tbm_02.tex.moduleQ3.2S.000077UNSAT5.76
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT5.8
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT5.83
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT5.83
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT6.11
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT7.87
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT8.02
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT10.51
Umbrella_tbm_29.tex.moduleQ2.2S.000001UNSAT12.41
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT19.95
Umbrella_tbm_24.tex.moduleQ2.1S.000136UNSAT20.07
Umbrella_tbm_24.tex.moduleQ2.1S.000188UNSAT20.31
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT20.44
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT20.55
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT20.62
Umbrella_tbm_24.tex.moduleQ2.1S.000022UNSAT20.95
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT21.09
Umbrella_tbm_23.tex.moduleQ1.2S.000001UNSAT21.92
Core1108_tbm_21.tex.module.000027UNSAT26.92
Core1108_tbm_09.tex.moduleQ3.2S.000011UNSAT45.23
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT45.54
Core1108_tbm_09.tex.moduleQ3.10S.000001UNSAT45.59
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT45.63
Core1108_tbm_09.tex.moduleQ3.9S.000001UNSAT45.9
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT46.98
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT47.47
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT49.39
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT49.61
Umbrella_tbm_14.tex.moduleQ2.2S.000003UNSAT49.8
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT50.26
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT50.41
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT50.67
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT51.32
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT51.48
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT51.55
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT51.8
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT52.91
Umbrella_tbm_25.tex.moduleQ3.2S.000063UNSAT105.57
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT110.1
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT113.64
Umbrella_tbm_24.tex.module.000131SAT459.13
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL599.71
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL599.71
Umbrella_tbm_05.tex.module.000039FAIL599.81