Instances of family mqm solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
Core1108_tbm_21.tex.module.000091UNSAT0.23
Core1108_tbm_21.tex.module.000017UNSAT0.26
Umbrella_tbm_24.tex.module.000103UNSAT0.27
Umbrella_tbm_24.tex.module.000066UNSAT0.29
Core1108_tbm_03.tex.module.000092UNSAT0.29
Core1108_tbm_03.tex.module.000090UNSAT0.29
Core1108_tbm_21.tex.module.000023UNSAT0.29
Core1108_tbm_21.tex.module.000030UNSAT0.29
Core1108_tbm_21.tex.module.000026UNSAT0.29
Core1108_tbm_03.tex.module.000064UNSAT0.3
Core1108_tbm_03.tex.module.000058UNSAT0.3
Core1108_tbm_21.tex.module.000014UNSAT0.3
Core1108_tbm_03.tex.module.000065UNSAT0.3
Core1108_tbm_03.tex.module.000057UNSAT0.3
Core1108_tbm_03.tex.module.000056UNSAT0.3
Core1108_tbm_21.tex.module.000009UNSAT0.31
Core1108_tbm_21.tex.module.000008UNSAT0.31
Core1108_tbm_03.tex.module.000039UNSAT0.31
Core1108_tbm_21.tex.module.000010UNSAT0.31
Core1108_tbm_03.tex.module.000037UNSAT0.31
Core1108_tbm_03.tex.module.000048UNSAT0.31
Umbrella_tbm_29.tex.module.000078UNSAT0.31
Core1108_tbm_03.tex.module.000019UNSAT0.32
Core1108_tbm_03.tex.module.000023UNSAT0.32
Core1108_tbm_03.tex.module.000003UNSAT0.32
Core1108_tbm_03.tex.module.000034UNSAT0.32
Core1108_tbm_03.tex.module.000031UNSAT0.32
Core1108_tbm_03.tex.module.000021UNSAT0.32
Core1108_tbm_21.tex.module.000027UNSAT0.34
Umbrella_tbm_29.tex.module.000009UNSAT0.37
Umbrella_tbm_29.tex.module.000010UNSAT0.37
Umbrella_tbm_05.tex.module.000065UNSAT0.42
Core1108_tbm_09.tex.module.000028UNSAT0.43
Core1108_tbm_03.tex.module.000038UNSAT0.44
Umbrella_tbm_21.tex.module.000149UNSAT0.44
Umbrella_tbm_21.tex.module.000129UNSAT0.45
Umbrella_tbm_21.tex.module.000139UNSAT0.45
Umbrella_tbm_21.tex.module.000134UNSAT0.45
Umbrella_tbm_21.tex.module.000079UNSAT0.46
Umbrella_tbm_21.tex.module.000069UNSAT0.47
Core1108_tbm_09.tex.module.000033UNSAT0.47
Umbrella_tbm_05.tex.module.000043UNSAT0.47
Umbrella_tbm_05.tex.module.000088UNSAT0.47
Umbrella_tbm_21.tex.module.000056UNSAT0.48
Umbrella_tbm_21.tex.module.000044UNSAT0.48
Umbrella_tbm_21.tex.module.000049UNSAT0.48
Umbrella_tbm_26.tex.module.000061UNSAT0.49
Umbrella_tbm_26.tex.module.000041UNSAT0.5
Core1108_tbm_09.tex.module.000008UNSAT0.51
Umbrella_tbm_21.tex.module.000029UNSAT0.51
Umbrella_tbm_21.tex.module.000024UNSAT0.52
Core1108_tbm_09.tex.module.000009UNSAT0.52
Core1108_tbm_09.tex.module.000010UNSAT0.52
Umbrella_tbm_05.tex.module.000079UNSAT0.52
Umbrella_tbm_26.tex.module.000021UNSAT0.53
Umbrella_tbm_26.tex.module.000004UNSAT0.53
Umbrella_tbm_05.tex.module.000064UNSAT0.54
Umbrella_tbm_05.tex.module.000053UNSAT0.57
Umbrella_tbm_25.tex.module.000121UNSAT0.59
Umbrella_tbm_25.tex.module.000084UNSAT0.61
Umbrella_tbm_25.tex.module.000106UNSAT0.61
Umbrella_tbm_25.tex.module.000087UNSAT0.61
Umbrella_tbm_05.tex.module.000030UNSAT0.62
Umbrella_tbm_05.tex.module.000025UNSAT0.63
Umbrella_tbm_25.tex.module.000099UNSAT0.65
Umbrella_tbm_05.tex.module.000015UNSAT0.66
Umbrella_tbm_05.tex.module.000011UNSAT0.67
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT0.7
Umbrella_tbm_25.tex.module.000041UNSAT0.7
Umbrella_tbm_25.tex.module.000031UNSAT0.72
Umbrella_tbm_25.tex.module.000003UNSAT0.72
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001UNSAT0.78
Core1108_tbm_21.tex.moduleQ3.2S.000019UNSAT0.8
Core1108_tbm_21.tex.moduleQ3.2S.000027UNSAT0.8
Core1108_tbm_21.tex.moduleQ3.2S.000007UNSAT0.8
Core1108_tbm_21.tex.moduleQ3.2S.000014UNSAT0.8
Core1108_tbm_21.tex.moduleQ3.2S.000002UNSAT0.8
Core1108_tbm_21.tex.moduleQ3.2S.000011UNSAT0.81
Core1108_tbm_21.tex.moduleQ3.2S.000024UNSAT0.81
Core1108_tbm_21.tex.moduleQ3.2S.000015UNSAT0.81
Core1108_tbm_28.tex.moduleQ2.2S.000003UNSAT0.88
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT0.9
Core1108_tbm_03.tex.moduleQ3.2S.000048UNSAT0.91
Core1108_tbm_03.tex.moduleQ3.2S.000009UNSAT0.91
Core1108_tbm_03.tex.moduleQ3.2S.000011UNSAT0.91
Core1108_tbm_03.tex.moduleQ3.2S.000018UNSAT0.91
Core1108_tbm_03.tex.moduleQ3.2S.000003UNSAT0.91
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT1.12
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT1.21
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT1.44
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT1.48
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT1.51
Core1108_tbm_02.tex.moduleQ3.2S.000056UNSAT1.53
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT1.53
Core1108_tbm_02.tex.moduleQ3.2S.000077UNSAT1.53
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT1.54
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT1.54
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT1.54
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT1.56
Core1108_tbm_02.tex.moduleQ3.2S.000007UNSAT1.57
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT1.65
Umbrella_tbm_24.tex.moduleQ2.1S.000136UNSAT1.74
Umbrella_tbm_24.tex.moduleQ2.1S.000022UNSAT1.75
Umbrella_tbm_24.tex.moduleQ2.1S.000188UNSAT1.75
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT1.77
Umbrella_tbm_29.tex.moduleQ2.2S.000001UNSAT1.87
Umbrella_tbm_23.tex.moduleQ1.2S.000001UNSAT1.97
Umbrella_tbm_26.tex.moduleQ3.2S.000041UNSAT2.48
Umbrella_tbm_14.tex.moduleQ2.1S.000792UNSAT2.48
Umbrella_tbm_14.tex.moduleQ2.2S.000002UNSAT2.48
Umbrella_tbm_14.tex.moduleQ2.1S.000757UNSAT2.49
Umbrella_tbm_14.tex.moduleQ2.1S.000808UNSAT2.49
Umbrella_tbm_14.tex.moduleQ2.1S.000720UNSAT2.49
Umbrella_tbm_14.tex.moduleQ2.2S.000001UNSAT2.49
Umbrella_tbm_14.tex.moduleQ2.1S.000812UNSAT2.49
Umbrella_tbm_14.tex.moduleQ2.2S.000003UNSAT2.5
Umbrella_tbm_14.tex.moduleQ2.1S.000787UNSAT2.5
Umbrella_tbm_14.tex.moduleQ2.1S.000773UNSAT2.5
Umbrella_tbm_26.tex.moduleQ3.2S.000037UNSAT2.51
Umbrella_tbm_14.tex.moduleQ2.1S.000749UNSAT2.51
Umbrella_tbm_26.tex.moduleQ3.2S.000014UNSAT2.52
Umbrella_tbm_26.tex.moduleQ3.2S.000020UNSAT2.52
Umbrella_tbm_26.tex.moduleQ3.2S.000009UNSAT2.52
Core1108_tbm_09.tex.moduleQ3.9S.000001UNSAT3.42
Core1108_tbm_09.tex.moduleQ3.10S.000001UNSAT3.42
Core1108_tbm_09.tex.moduleQ3.2S.000011UNSAT3.44
Core1108_tbm_09.tex.moduleQ3.2S.000005UNSAT3.97
Core1108_tbm_09.tex.moduleQ3.2S.000007UNSAT4.15
Core1108_tbm_09.tex.moduleQ3.2S.000003UNSAT4.16
Core1108_tbm_09.tex.moduleQ3.2S.000010UNSAT4.31
Umbrella_tbm_25.tex.moduleQ3.2S.000052UNSAT4.88
Umbrella_tbm_25.tex.moduleQ3.2S.000063UNSAT4.89
Umbrella_tbm_25.tex.moduleQ3.2S.000120UNSAT4.91
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT6.38
Umbrella_tbm_05.tex.module.000039FAIL599.71
Umbrella_tbm_24.tex.module.000131FAIL599.71