Instances of family mqm solved by struqs-10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
Core1108_tbm_03.tex.module.000021UNSAT0.73
Core1108_tbm_03.tex.module.000003UNSAT1.26
Umbrella_tbm_26.tex.module.000004UNSAT7.48
Core1108_tbm_21.tex.module.000091UNSAT8.2
Core1108_tbm_21.tex.module.000023UNSAT15.87
Umbrella_tbm_05.tex.module.000079UNSAT20.71
Umbrella_tbm_25.tex.module.000003UNSAT28.05
Core1108_tbm_21.tex.module.000026UNSAT28.79
Core1108_tbm_21.tex.module.000027UNSAT41.68
Core1108_tbm_21.tex.module.000017UNSAT48.27
Core1108_tbm_03.tex.module.000019UNSAT68.56
Core1108_tbm_09.tex.module.000028UNSAT72.69
Core1108_tbm_09.tex.module.000033UNSAT94.82
Umbrella_tbm_05.tex.module.000065UNSAT96.75
Core1108_tbm_03.tex.module.000023UNSAT104.95
Umbrella_tbm_05.tex.module.000043UNSAT139.54
Umbrella_tbm_05.tex.module.000030UNSAT150.26
Umbrella_tbm_05.tex.module.000015UNSAT219.92
Core1108_tbm_03.tex.module.000048UNSAT239.48
Umbrella_tbm_24.tex.module.000066FAIL1200.07
Umbrella_tbm_05.tex.module.000025FAIL1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000099FAIL1200.07
Umbrella_tbm_21.tex.module.000024FAIL1200.07
Core1108_tbm_03.tex.module.000064FAIL1200.07
Umbrella_tbm_21.tex.module.000129FAIL1200.07
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL1200.07
Umbrella_tbm_21.tex.module.000044FAIL1200.07
Umbrella_tbm_25.tex.module.000099FAIL1200.07
Umbrella_tbm_14.tex.moduleQ2.1S.000757FAIL1200.07
Umbrella_tbm_14.tex.moduleQ2.1S.000808FAIL1200.07
Umbrella_tbm_24.tex.module.000103FAIL1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000026FAIL1200.07
Umbrella_tbm_14.tex.moduleQ2.1S.000720FAIL1200.07
Core1108_tbm_03.tex.moduleQ3.2S.000009FAIL1200.07
Umbrella_tbm_21.tex.module.000049FAIL1200.07
Umbrella_tbm_25.tex.module.000031FAIL1200.07
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1200.07
Umbrella_tbm_21.tex.module.000069FAIL1200.07
Core1108_tbm_03.tex.moduleQ3.2S.000002FAIL1200.07
Umbrella_tbm_29.tex.moduleQ2.2S.000001FAIL1200.07
Core1108_tbm_03.tex.module.000092FAIL1200.07
Umbrella_tbm_25.tex.module.000106FAIL1200.07
Umbrella_tbm_26.tex.module.000061FAIL1200.07
Umbrella_tbm_26.tex.moduleQ3.2S.000014FAIL1200.07
Core1108_tbm_03.tex.module.000090FAIL1200.07
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200.07
Umbrella_tbm_24.tex.moduleQ2.1S.000022FAIL1200.07
Umbrella_tbm_26.tex.module.000041FAIL1200.07
Core1108_tbm_03.tex.module.000058FAIL1200.07
Core1108_tbm_21.tex.moduleQ3.2S.000011FAIL1200.07
Core1108_tbm_21.tex.module.000010FAIL1200.07
Core1108_tbm_03.tex.module.000037FAIL1200.07
Umbrella_tbm_26.tex.moduleQ3.2S.000037FAIL1200.07
Core1108_tbm_03.tex.moduleQ3.2S.000003FAIL1200.07
Umbrella_tbm_21.tex.module.000149FAIL1200.07
Umbrella_tbm_26.tex.moduleQ3.2S.000009FAIL1200.07
Umbrella_tbm_05.tex.module.000064FAIL1200.07
Umbrella_tbm_14.tex.moduleQ2.2S.000002FAIL1200.07
Umbrella_tbm_29.tex.module.000078FAIL1200.07
Umbrella_tbm_25.tex.module.000121FAIL1200.07
Core1108_tbm_03.tex.module.000031FAIL1200.07
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000098FAIL1200.07
Core1108_tbm_03.tex.module.000056FAIL1200.07
Core1108_tbm_21.tex.moduleQ3.2S.000019FAIL1200.08
Umbrella_tbm_21.tex.module.000056FAIL1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL1200.08
Umbrella_tbm_05.tex.module.000039FAIL1200.08
Core1108_tbm_03.tex.moduleQ3.2S.000048FAIL1200.08
Umbrella_tbm_29.tex.module.000009FAIL1200.08
Umbrella_tbm_26.tex.module.000021FAIL1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000007FAIL1200.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_05.tex.module.000053FAIL1200.08
Umbrella_tbm_25.tex.module.000084FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.2S.000001FAIL1200.08
Umbrella_tbm_25.tex.moduleQ3.2S.000120FAIL1200.08
Core1108_tbm_21.tex.module.000009FAIL1200.08
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL1200.08
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000792FAIL1200.08
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1200.08
Umbrella_tbm_25.tex.module.000087FAIL1200.08
Core1108_tbm_21.tex.module.000008FAIL1200.08
Umbrella_tbm_05.tex.module.000011FAIL1200.08
Umbrella_tbm_21.tex.module.000139FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.2S.000003FAIL1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000056FAIL1200.08
Core1108_tbm_03.tex.module.000039FAIL1200.08
Core1108_tbm_21.tex.module.000014FAIL1200.08
Core1108_tbm_09.tex.module.000008FAIL1200.08
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1200.08
Core1108_tbm_03.tex.moduleQ3.2S.000018FAIL1200.08
Core1108_tbm_03.tex.module.000065FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000787FAIL1200.08
Core1108_tbm_03.tex.module.000034FAIL1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000010FAIL1200.08
Umbrella_tbm_29.tex.module.000010FAIL1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000024FAIL1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000003FAIL1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL1200.08
Umbrella_tbm_26.tex.moduleQ3.2S.000020FAIL1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1200.08
Core1108_tbm_03.tex.module.000057FAIL1200.08
Core1108_tbm_21.tex.module.000030FAIL1200.08
Umbrella_tbm_21.tex.module.000029FAIL1200.08
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000015FAIL1200.08
Umbrella_tbm_24.tex.module.000131FAIL1200.08
Umbrella_tbm_25.tex.module.000041FAIL1200.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
Core1108_tbm_28.tex.moduleQ2.2S.000003FAIL1200.08
Umbrella_tbm_05.tex.module.000088FAIL1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000773FAIL1200.08
Umbrella_tbm_24.tex.moduleQ2.1S.000136FAIL1200.08
Umbrella_tbm_21.tex.module.000134FAIL1200.08
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1200.08
Umbrella_tbm_21.tex.module.000079FAIL1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000005FAIL1200.08
Umbrella_tbm_25.tex.moduleQ3.2S.000052FAIL1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL1200.08
Core1108_tbm_09.tex.module.000009FAIL1200.09
Core1108_tbm_03.tex.module.000038FAIL1200.09
Core1108_tbm_09.tex.module.000010FAIL1200.09
Umbrella_tbm_14.tex.moduleQ2.1S.000812FAIL1200.09
Umbrella_tbm_14.tex.moduleQ2.1S.000749FAIL1200.09
Umbrella_tbm_23.tex.moduleQ1.2S.000001FAIL1200.09
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL1200.09
Umbrella_tbm_24.tex.moduleQ2.1S.000188FAIL1200.09