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

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT0.19
Umbrella_tbm_24.tex.module.000103UNSAT0.21
Core1108_tbm_03.tex.module.000021UNSAT0.22
Core1108_tbm_21.tex.module.000027UNSAT0.22
Core1108_tbm_03.tex.module.000056UNSAT0.22
Core1108_tbm_03.tex.module.000064UNSAT0.22
Umbrella_tbm_24.tex.module.000066UNSAT0.22
Core1108_tbm_03.tex.module.000092UNSAT0.22
Core1108_tbm_03.tex.module.000058UNSAT0.22
Core1108_tbm_03.tex.module.000065UNSAT0.22
Core1108_tbm_03.tex.module.000057UNSAT0.22
Core1108_tbm_03.tex.module.000090UNSAT0.23
Core1108_tbm_03.tex.module.000048UNSAT0.23
Core1108_tbm_21.tex.module.000014UNSAT0.23
Core1108_tbm_21.tex.module.000030UNSAT0.23
Umbrella_tbm_29.tex.module.000078UNSAT0.24
Core1108_tbm_21.tex.module.000026UNSAT0.24
Core1108_tbm_03.tex.module.000031UNSAT0.24
Core1108_tbm_03.tex.module.000038UNSAT0.24
Core1108_tbm_21.tex.module.000009UNSAT0.24
Core1108_tbm_21.tex.module.000008UNSAT0.24
Core1108_tbm_21.tex.module.000010UNSAT0.24
Core1108_tbm_03.tex.module.000003UNSAT0.24
Core1108_tbm_03.tex.module.000023UNSAT0.25
Core1108_tbm_03.tex.module.000037UNSAT0.25
Core1108_tbm_03.tex.module.000039UNSAT0.25
Core1108_tbm_03.tex.module.000034UNSAT0.26
Core1108_tbm_21.tex.module.000017UNSAT0.28
Core1108_tbm_03.tex.module.000019UNSAT0.28
Umbrella_tbm_29.tex.module.000010UNSAT0.28
Umbrella_tbm_29.tex.module.000009UNSAT0.29
Umbrella_tbm_05.tex.module.000088UNSAT0.31
Umbrella_tbm_21.tex.module.000134UNSAT0.32
Umbrella_tbm_21.tex.module.000129UNSAT0.32
Umbrella_tbm_26.tex.module.000061UNSAT0.32
Umbrella_tbm_21.tex.module.000139UNSAT0.32
Umbrella_tbm_26.tex.module.000004UNSAT0.33
Umbrella_tbm_21.tex.module.000056UNSAT0.33
Umbrella_tbm_26.tex.module.000041UNSAT0.33
Umbrella_tbm_21.tex.module.000149UNSAT0.33
Umbrella_tbm_21.tex.module.000079UNSAT0.34
Umbrella_tbm_21.tex.module.000044UNSAT0.34
Umbrella_tbm_21.tex.module.000049UNSAT0.34
Core1108_tbm_09.tex.module.000033UNSAT0.34
Umbrella_tbm_21.tex.module.000069UNSAT0.35
Core1108_tbm_09.tex.module.000028UNSAT0.35
Umbrella_tbm_26.tex.module.000021UNSAT0.36
Umbrella_tbm_05.tex.module.000064UNSAT0.37
Core1108_tbm_09.tex.module.000009UNSAT0.37
Core1108_tbm_09.tex.module.000008UNSAT0.37
Core1108_tbm_09.tex.module.000010UNSAT0.37
Umbrella_tbm_05.tex.module.000079UNSAT0.38
Umbrella_tbm_21.tex.module.000024UNSAT0.38
Umbrella_tbm_21.tex.module.000029UNSAT0.38
Umbrella_tbm_25.tex.module.000106UNSAT0.39
Umbrella_tbm_25.tex.module.000121UNSAT0.4
Umbrella_tbm_05.tex.module.000053UNSAT0.4
Umbrella_tbm_25.tex.module.000084UNSAT0.4
Umbrella_tbm_25.tex.module.000087UNSAT0.4
Umbrella_tbm_05.tex.module.000065UNSAT0.4
Core1108_tbm_21.tex.module.000023UNSAT0.41
Umbrella_tbm_05.tex.module.000043UNSAT0.42
Umbrella_tbm_25.tex.module.000099UNSAT0.44
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT0.45
Umbrella_tbm_05.tex.module.000025UNSAT0.45
Umbrella_tbm_05.tex.module.000030UNSAT0.46
Umbrella_tbm_25.tex.module.000041UNSAT0.48
Umbrella_tbm_05.tex.module.000015UNSAT0.48
Umbrella_tbm_25.tex.module.000031UNSAT0.48
Umbrella_tbm_25.tex.module.000003UNSAT0.48
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT0.48
Umbrella_tbm_05.tex.module.000011UNSAT0.49
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT0.52
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT0.52
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT0.54
Core1108_tbm_21.tex.moduleQ3.2S.000027UNSAT0.54
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT0.54
Core1108_tbm_21.tex.moduleQ3.2S.000014UNSAT0.56
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT0.57
Core1108_tbm_28.tex.moduleQ2.2S.000003UNSAT0.58
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT0.58
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT0.58
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT0.59
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT0.6
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT0.61
Core1108_tbm_21.tex.moduleQ3.2S.000007UNSAT0.61
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT0.62
Core1108_tbm_03.tex.moduleQ3.2S.000011UNSAT0.65
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT0.66
Core1108_tbm_02.tex.moduleQ3.2S.000007UNSAT0.66
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT0.66
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT0.67
Core1108_tbm_02.tex.moduleQ3.2S.000077UNSAT0.69
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT0.69
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT0.69
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT0.7
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT0.72
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT0.74
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT0.85
Umbrella_tbm_29.tex.moduleQ2.2S.000001UNSAT0.86
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT0.87
Umbrella_tbm_24.tex.moduleQ2.1S.000136UNSAT1.01
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT1.02
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT1.04
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT1.04
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT1.05
Umbrella_tbm_23.tex.moduleQ1.2S.000001UNSAT1.05
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT1.06
Umbrella_tbm_24.tex.moduleQ2.1S.000188UNSAT1.17
Umbrella_tbm_24.tex.moduleQ2.1S.000022UNSAT1.26
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT1.36
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT1.38
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT1.56
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT1.57
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT1.57
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT1.57
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT1.58
Umbrella_tbm_14.tex.moduleQ2.2S.000003UNSAT1.58
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT1.6
Core1108_tbm_09.tex.moduleQ3.9S.000001UNSAT1.66
Core1108_tbm_09.tex.moduleQ3.10S.000001UNSAT1.66
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT1.66
Core1108_tbm_09.tex.moduleQ3.2S.000011UNSAT1.67
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT1.8
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT1.8
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT1.82
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT1.9
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT1.92
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT1.94
Umbrella_tbm_25.tex.moduleQ3.2S.000063UNSAT1.96
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT2.07
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT2.18
Umbrella_tbm_24.tex.module.000131SAT43.44
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT207.4
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL599.71
Umbrella_tbm_05.tex.module.000039FAIL599.81