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

InstanceResultTime
Umbrella_tbm_29.tex.module.000078SAT19.24
Umbrella_tbm_24.tex.module.000131SAT19.59
Umbrella_tbm_29.tex.module.000009SAT20.68
Umbrella_tbm_29.tex.module.000010SAT20.84
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT35.05
Umbrella_tbm_24.tex.module.000066SAT43.45
Umbrella_tbm_25.tex.module.000003UNSAT73.93
Umbrella_tbm_21.tex.module.000049SAT85.73
Umbrella_tbm_21.tex.module.000056SAT88.17
Umbrella_tbm_25.tex.module.000106SAT88.83
Umbrella_tbm_25.tex.module.000031SAT98.38
Umbrella_tbm_24.tex.module.000103SAT101.99
Umbrella_tbm_21.tex.module.000069SAT129.27
Umbrella_tbm_21.tex.module.000079SAT161.42
Umbrella_tbm_21.tex.module.000044UNSAT161.89
Umbrella_tbm_25.tex.module.000084UNSAT253.63
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL276.42
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL280.9
Umbrella_tbm_25.tex.module.000087UNSAT372.25
Umbrella_tbm_25.tex.moduleQ3.2S.000052FAIL386.91
Umbrella_tbm_25.tex.module.000041SAT410.75
Umbrella_tbm_25.tex.module.000121SAT422.14
Core1108_tbm_21.tex.module.000008FAIL477.89
Core1108_tbm_03.tex.moduleQ3.2S.000003FAIL496.8
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL535.6
Core1108_tbm_03.tex.module.000038UNSAT570.76
Core1108_tbm_03.tex.module.000037SAT597.59
Core1108_tbm_03.tex.module.000023UNSAT597.75
Core1108_tbm_21.tex.module.000014UNSAT606.93
Core1108_tbm_03.tex.module.000048UNSAT613.12
Core1108_tbm_02.tex.moduleQ3.2S.000095UNSAT636.55
Core1108_tbm_09.tex.module.000028UNSAT644.13
Core1108_tbm_02.tex.moduleQ3.2S.000098UNSAT651.23
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT655.85
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL658.24
Core1108_tbm_02.tex.moduleQ3.2S.000099UNSAT669.83
Core1108_tbm_02.tex.moduleQ3.2S.000108UNSAT679.72
Core1108_tbm_02.tex.moduleQ3.2S.000007SAT683.05
Umbrella_tbm_25.tex.module.000099UNSAT693.12
Core1108_tbm_21.tex.module.000010SAT713.85
Core1108_tbm_21.tex.moduleQ3.2S.000024FAIL738.19
Core1108_tbm_03.tex.module.000064SAT743.87
Core1108_tbm_03.tex.module.000057SAT755.86
Core1108_tbm_03.tex.module.000065SAT758.6
Core1108_tbm_21.tex.module.000026UNSAT762.82
Core1108_tbm_03.tex.module.000058SAT784.64
Core1108_tbm_03.tex.module.000056SAT799.09
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL809.46
Core1108_tbm_02.tex.moduleQ3.2S.000077SAT811.91
Core1108_tbm_03.tex.module.000034FAIL823.08
Core1108_tbm_02.tex.moduleQ3.2S.000026UNSAT833.34
Core1108_tbm_21.tex.module.000091UNSAT836.71
Core1108_tbm_21.tex.moduleQ3.2S.000002FAIL855.23
Core1108_tbm_03.tex.moduleQ3.2S.000018FAIL875.43
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL880.15
Umbrella_tbm_29.tex.moduleQ2.2S.000001SAT909.75
Core1108_tbm_21.tex.module.000017UNSAT928.11
Umbrella_tbm_14.tex.moduleQ2.1S.000757FAIL947.47
Core1108_tbm_21.tex.module.000030SAT976.87
Core1108_tbm_03.tex.module.000021UNSAT1005.18
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL1057.19
Core1108_tbm_21.tex.module.000009FAIL1071.15
Core1108_tbm_03.tex.module.000003UNSAT1084.9
Core1108_tbm_09.tex.moduleQ3.2S.000010FAIL1152.8
Umbrella_tbm_21.tex.module.000029FAIL1155.98
Umbrella_tbm_21.tex.module.000024FAIL1157.87
Core1108_tbm_09.tex.module.000008FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000011FAIL1200
Umbrella_tbm_05.tex.module.000043FAIL1200
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000787FAIL1200
Core1108_tbm_09.tex.module.000010FAIL1200
Core1108_tbm_03.tex.module.000039FAIL1200
Umbrella_tbm_26.tex.moduleQ3.2S.000037FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000812FAIL1200
Umbrella_tbm_26.tex.moduleQ3.2S.000020FAIL1200
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1200
Core1108_tbm_21.tex.module.000023FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000749FAIL1200
Umbrella_tbm_21.tex.module.000149FAIL1200
Umbrella_tbm_23.tex.moduleQ1.2S.000001FAIL1200
Umbrella_tbm_26.tex.moduleQ3.2S.000009FAIL1200
Core1108_tbm_09.tex.moduleQ3.2S.000003FAIL1200
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1200
Umbrella_tbm_05.tex.module.000079FAIL1200
Umbrella_tbm_24.tex.moduleQ2.1S.000188FAIL1200
Umbrella_tbm_05.tex.module.000064FAIL1200
Umbrella_tbm_05.tex.module.000088FAIL1200
Umbrella_tbm_14.tex.moduleQ2.2S.000002FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000773FAIL1200
Umbrella_tbm_24.tex.moduleQ2.1S.000136FAIL1200
Umbrella_tbm_21.tex.module.000134FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000015FAIL1200
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1200
Umbrella_tbm_05.tex.module.000015FAIL1200
Umbrella_tbm_26.tex.module.000004FAIL1200
Core1108_tbm_09.tex.moduleQ3.2S.000005FAIL1200
Core1108_tbm_21.tex.module.000027FAIL1200
Core1108_tbm_03.tex.module.000031FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000019FAIL1200
Umbrella_tbm_21.tex.module.000129FAIL1200
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL1200
Core1108_tbm_09.tex.module.000009FAIL1200
Umbrella_tbm_05.tex.module.000039FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000808FAIL1200
Umbrella_tbm_05.tex.module.000025FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000048FAIL1200
Umbrella_tbm_05.tex.module.000030FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000720FAIL1200
Umbrella_tbm_26.tex.module.000021FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000009FAIL1200
Core1108_tbm_09.tex.moduleQ3.2S.000007FAIL1200
Umbrella_tbm_26.tex.moduleQ3.2S.000041FAIL1200
Core1108_tbm_03.tex.module.000019FAIL1200
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200
Umbrella_tbm_05.tex.module.000053FAIL1200
Umbrella_tbm_14.tex.moduleQ2.2S.000001FAIL1200
Umbrella_tbm_25.tex.moduleQ3.2S.000120FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000002FAIL1200
Core1108_tbm_03.tex.module.000092FAIL1200
Umbrella_tbm_26.tex.module.000061FAIL1200
Core1108_tbm_09.tex.module.000033FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1200
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL1200
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1200
Umbrella_tbm_26.tex.moduleQ3.2S.000014FAIL1200
Core1108_tbm_03.tex.module.000090FAIL1200
Umbrella_tbm_05.tex.module.000011FAIL1200
Umbrella_tbm_21.tex.module.000139FAIL1200
Umbrella_tbm_24.tex.moduleQ2.1S.000022FAIL1200
Umbrella_tbm_14.tex.moduleQ2.2S.000003FAIL1200
Core1108_tbm_02.tex.moduleQ3.2S.000056FAIL1200
Umbrella_tbm_26.tex.module.000041FAIL1200
Umbrella_tbm_05.tex.module.000065FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000792FAIL1200