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

InstanceResultTime
Umbrella_tbm_29.tex.module.000009SAT23.16
Umbrella_tbm_29.tex.module.000010SAT24.17
Umbrella_tbm_29.tex.module.000078SAT27.09
Umbrella_tbm_25.tex.module.000099UNSAT37.49
Umbrella_tbm_25.tex.module.000121SAT43.52
Umbrella_tbm_25.tex.module.000087UNSAT60.34
Umbrella_tbm_24.tex.module.000131SAT68.11
Umbrella_tbm_25.tex.module.000106SAT71.54
Umbrella_tbm_25.tex.module.000041SAT73.43
Umbrella_tbm_25.tex.module.000084UNSAT82.79
Umbrella_tbm_24.tex.module.000066SAT88.98
Umbrella_tbm_21.tex.module.000056SAT89.55
Umbrella_tbm_21.tex.module.000049SAT90.19
Umbrella_tbm_21.tex.module.000079SAT94.37
Umbrella_tbm_21.tex.module.000069SAT108.82
Umbrella_tbm_21.tex.module.000044UNSAT114.35
Umbrella_tbm_24.tex.module.000103SAT160.64
Umbrella_tbm_25.tex.module.000031SAT195.81
Core1108_tbm_28.tex.moduleQ2.2S.000003SAT225.89
Umbrella_tbm_25.tex.module.000003UNSAT252.86
Umbrella_tbm_29.tex.moduleQ2.2S.000001SAT325.4
Umbrella_tbm_05.tex.module.000015FAIL472.59
Core1108_tbm_03.tex.module.000023UNSAT497.31
Core1108_tbm_21.tex.module.000023UNSAT503.87
Core1108_tbm_03.tex.module.000038FAIL542.13
Umbrella_tbm_05.tex.module.000011FAIL561.96
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL574.58
Umbrella_tbm_05.tex.module.000043FAIL579.62
Core1108_tbm_03.tex.module.000037FAIL586.93
Core1108_tbm_21.tex.module.000027UNSAT589.73
Umbrella_tbm_05.tex.module.000053FAIL599.88
Umbrella_tbm_23.tex.moduleQ1.2S.000001FAIL601.23
Core1108_tbm_03.tex.module.000092FAIL683.64
Umbrella_tbm_05.tex.module.000064FAIL710.42
Core1108_tbm_09.tex.module.000009SAT715.88
Umbrella_tbm_05.tex.module.000030FAIL742.43
Umbrella_tbm_05.tex.module.000079FAIL754.13
Core1108_tbm_03.tex.module.000090FAIL777.01
Umbrella_tbm_05.tex.module.000025FAIL786.04
Core1108_tbm_21.tex.module.000026UNSAT826.55
Umbrella_tbm_05.tex.module.000039FAIL872.56
Umbrella_tbm_05.tex.module.000065FAIL878.14
Core1108_tbm_21.tex.module.000091FAIL880.65
Core1108_tbm_03.tex.module.000021UNSAT889.8
Core1108_tbm_09.tex.module.000028UNSAT890.55
Core1108_tbm_09.tex.module.000008SAT929.33
Umbrella_tbm_05.tex.module.000088FAIL952.5
Core1108_tbm_09.tex.module.000010SAT964.98
Core1108_tbm_03.tex.module.000057FAIL997.62
Core1108_tbm_03.tex.module.000048FAIL998.2
Core1108_tbm_03.tex.module.000039FAIL999.23
Core1108_tbm_09.tex.module.000033UNSAT1050.11
Core1108_tbm_03.tex.module.000003FAIL1052.55
Umbrella_tbm_21.tex.module.000149FAIL1087.49
Core1108_tbm_21.tex.module.000008FAIL1110.3
Umbrella_tbm_21.tex.module.000139FAIL1127.39
Core1108_tbm_03.tex.module.000031FAIL1172.51
Core1108_tbm_21.tex.moduleQ3.2S.000007FAIL1173.43
Core1108_tbm_03.tex.module.000065FAIL1186.68
Umbrella_tbm_14.tex.moduleQ2.1S.000792FAIL1200
Core1108_tbm_09.tex.moduleQ3.10S.000001FAIL1200
Umbrella_tbm_26.tex.moduleQ3.2S.000014FAIL1200
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200
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
Core1108_tbm_03.tex.module.000058FAIL1200
Core1108_tbm_21.tex.module.000014FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000011FAIL1200
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL1200
Core1108_tbm_21.tex.module.000010FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000018FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000787FAIL1200
Core1108_tbm_03.tex.module.000034FAIL1200
Core1108_tbm_09.tex.moduleQ3.2S.000010FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000024FAIL1200
Core1108_tbm_09.tex.moduleQ3.2S.000003FAIL1200
Umbrella_tbm_26.tex.moduleQ3.2S.000037FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000014FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000003FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000812FAIL1200
Umbrella_tbm_26.tex.moduleQ3.2S.000020FAIL1200
Core1108_tbm_09.tex.moduleQ3.2S.000011FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000749FAIL1200
Core1108_tbm_21.tex.module.000030FAIL1200
Umbrella_tbm_21.tex.module.000029FAIL1200
Umbrella_tbm_26.tex.moduleQ3.2S.000009FAIL1200
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000015FAIL1200
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1200
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000002FAIL1200
Core1108_tbm_02.tex.moduleQ3.2S.000095FAIL1200
Umbrella_tbm_24.tex.moduleQ2.1S.000188FAIL1200
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
Umbrella_tbm_25.tex.moduleQ3.2S.000063FAIL1200
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL1200
Umbrella_tbm_26.tex.module.000004FAIL1200
Core1108_tbm_09.tex.moduleQ3.2S.000005FAIL1200
Umbrella_tbm_25.tex.moduleQ3.2S.000052FAIL1200
Core1108_tbm_21.tex.module.000017FAIL1200
Core1108_tbm_02.tex.moduleQ3.2S.000077FAIL1200
Core1108_tbm_02.tex.moduleQ3.2S.000098FAIL1200
Core1108_tbm_03.tex.module.000056FAIL1200
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL1200
Core1108_tbm_02.tex.moduleQ3.2S.000099FAIL1200
Umbrella_tbm_21.tex.module.000024FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000019FAIL1200
Core1108_tbm_03.tex.module.000064FAIL1200
Umbrella_tbm_21.tex.module.000129FAIL1200
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL1200
Core1108_tbm_21.tex.moduleQ3.2S.000027FAIL1200
Core1108_tbm_02.tex.moduleQ3.2S.000007FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000757FAIL1200
Umbrella_tbm_14.tex.moduleQ2.1S.000808FAIL1200
Core1108_tbm_02.tex.moduleQ3.2S.000026FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000048FAIL1200
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
Core1108_tbm_02.tex.moduleQ3.2S.000108FAIL1200
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL1200
Umbrella_tbm_14.tex.moduleQ2.2S.000001FAIL1200
Umbrella_tbm_25.tex.moduleQ3.2S.000120FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000002FAIL1200
Core1108_tbm_21.tex.module.000009FAIL1200
Umbrella_tbm_26.tex.module.000061FAIL1200
Core1108_tbm_03.tex.moduleQ3.2S.000011FAIL1200
Core1108_tbm_09.tex.moduleQ3.9S.000001FAIL1200