Sota solver results for family mqm
QBFEVAL'10 - Non-prenex Non-CNF Track.


InstanceSolverResultTime
Core1108_tbm_02.tex.moduleQ3.2S.000015CirQit2.1UNSAT0.58
Core1108_tbm_02.tex.moduleQ3.2S.000026CirQit2.1UNSAT0.55
Core1108_tbm_02.tex.moduleQ3.2S.000056CirQit2.1UNSAT0.58
Core1108_tbm_02.tex.moduleQ3.2S.000095CirQit2.1UNSAT0.58
Core1108_tbm_02.tex.moduleQ3.2S.000098CirQit2.1UNSAT0.57
Core1108_tbm_02.tex.moduleQ3.2S.000099CirQit2.1UNSAT0.59
Core1108_tbm_02.tex.moduleQ3.2S.000108CirQit2.1UNSAT0.58
Core1108_tbm_03.tex.module.000003qproUNSAT2.68
Core1108_tbm_03.tex.module.000019qproUNSAT0.01
Core1108_tbm_03.tex.module.000021qproUNSAT0.01
Core1108_tbm_03.tex.module.000023qproUNSAT0.01
Core1108_tbm_03.tex.module.000031qproSAT25.35
Core1108_tbm_03.tex.module.000034qproSAT26.67
Core1108_tbm_03.tex.module.000037qproSAT26.67
Core1108_tbm_03.tex.module.000038CirQit2.1UNSAT0.05
Core1108_tbm_03.tex.module.000039qproUNSAT0.02
Core1108_tbm_03.tex.module.000048CirQit2.1UNSAT0.05
Core1108_tbm_03.tex.module.000056qproSAT24.91
Core1108_tbm_03.tex.module.000057qproSAT26.88
Core1108_tbm_03.tex.module.000058qproSAT25.17
Core1108_tbm_03.tex.module.000064qproSAT26.13
Core1108_tbm_03.tex.module.000065qproSAT26.41
Core1108_tbm_03.tex.module.000090qproSAT25.37
Core1108_tbm_03.tex.module.000092qproSAT24.83
Core1108_tbm_03.tex.moduleQ3.2S.000002CirQit2.1UNSAT275.99
Core1108_tbm_03.tex.moduleQ3.2S.000003CirQit2.1UNSAT275.98
Core1108_tbm_03.tex.moduleQ3.2S.000009CirQit2.1UNSAT282.45
Core1108_tbm_03.tex.moduleQ3.2S.000018CirQit2.1UNSAT276.71
Core1108_tbm_03.tex.moduleQ3.2S.000048CirQit2.1UNSAT276.67
Core1108_tbm_09.tex.module.000008qproSAT29.15
Core1108_tbm_09.tex.module.000009qproSAT26.04
Core1108_tbm_09.tex.module.000010qproSAT27.49
Core1108_tbm_09.tex.module.000028qproUNSAT0.04
Core1108_tbm_09.tex.module.000033qproUNSAT0.01
Core1108_tbm_09.tex.moduleQ3.2S.000003CirQit2.1UNSAT955.14
Core1108_tbm_09.tex.moduleQ3.2S.000005CirQit2.1UNSAT867.8
Core1108_tbm_09.tex.moduleQ3.2S.000007CirQit2.1UNSAT864.73
Core1108_tbm_09.tex.moduleQ3.2S.000010CirQit2.1UNSAT11.5
Core1108_tbm_21.tex.module.000008qproSAT51.53
Core1108_tbm_21.tex.module.000009qproSAT48.82
Core1108_tbm_21.tex.module.000010qproSAT49.03
Core1108_tbm_21.tex.module.000014qproUNSAT0.02
Core1108_tbm_21.tex.module.000017qproUNSAT0
Core1108_tbm_21.tex.module.000023qproUNSAT0.02
Core1108_tbm_21.tex.module.000026qproUNSAT0.01
Core1108_tbm_21.tex.module.000027qproUNSAT0.02
Core1108_tbm_21.tex.module.000030qproSAT54.19
Core1108_tbm_21.tex.module.000091qproUNSAT0.01
Core1108_tbm_21.tex.moduleQ3.2S.000002CirQit2.1UNSAT801.28
Core1108_tbm_21.tex.moduleQ3.2S.000007qproSAT896.71
Core1108_tbm_21.tex.moduleQ3.2S.000011CirQit2.1UNSAT822.42
Core1108_tbm_21.tex.moduleQ3.2S.000014qproSAT885.8
Core1108_tbm_21.tex.moduleQ3.2S.000015CirQit2.1UNSAT791.67
Core1108_tbm_21.tex.moduleQ3.2S.000019CirQit2.1UNSAT798.28
Core1108_tbm_21.tex.moduleQ3.2S.000024CirQit2.1UNSAT802.75
Core1108_tbm_21.tex.moduleQ3.2S.000027qproSAT899.08
Core1108_tbm_28.tex.moduleQ2.2S.000003qproSAT365.11
Umbrella_tbm_05.tex.module.000011qproSAT68.26
Umbrella_tbm_05.tex.module.000015qproUNSAT0.06
Umbrella_tbm_05.tex.module.000025qproSAT61.95
Umbrella_tbm_05.tex.module.000030qproUNSAT0.05
Umbrella_tbm_05.tex.module.000039qproSAT67.44
Umbrella_tbm_05.tex.module.000043qproUNSAT0.06
Umbrella_tbm_05.tex.module.000053qproSAT65.27
Umbrella_tbm_05.tex.module.000064qproSAT65.89
Umbrella_tbm_05.tex.module.000065qproUNSAT0.02
Umbrella_tbm_05.tex.module.000079qproUNSAT0.01
Umbrella_tbm_05.tex.module.000088qproSAT58.1
Umbrella_tbm_14.tex.moduleQ2.1S.000720CirQit2.1UNSAT148.75
Umbrella_tbm_14.tex.moduleQ2.1S.000787CirQit2.1UNSAT0.51
Umbrella_tbm_14.tex.moduleQ2.1S.000792CirQit2.1UNSAT0.52
Umbrella_tbm_21.tex.module.000024qproSAT57.74
Umbrella_tbm_21.tex.module.000029qproSAT62.58
Umbrella_tbm_21.tex.module.000044qproUNSAT0.04
Umbrella_tbm_21.tex.module.000049qproSAT59.13
Umbrella_tbm_21.tex.module.000056qproSAT54.98
Umbrella_tbm_21.tex.module.000069qproSAT65.88
Umbrella_tbm_21.tex.module.000079qproSAT60.7
Umbrella_tbm_21.tex.module.000129qproSAT52.11
Umbrella_tbm_21.tex.module.000134qproSAT51.57
Umbrella_tbm_21.tex.module.000139qproUNSAT0.05
Umbrella_tbm_21.tex.module.000149qproSAT52.79
Umbrella_tbm_23.tex.moduleQ1.2S.000001CirQit2.1SAT285.31
Umbrella_tbm_24.tex.module.000066qproSAT3.05
Umbrella_tbm_24.tex.module.000103qproSAT3.52
Umbrella_tbm_24.tex.module.000131qproSAT3.49
Umbrella_tbm_24.tex.moduleQ2.1S.000022qproSAT127.64
Umbrella_tbm_24.tex.moduleQ2.1S.000136qproSAT146.17
Umbrella_tbm_24.tex.moduleQ2.1S.000188qproSAT147.33
Umbrella_tbm_25.tex.module.000003qproUNSAT0.08
Umbrella_tbm_25.tex.module.000031qproSAT63.71
Umbrella_tbm_25.tex.module.000041qproSAT59.6
Umbrella_tbm_25.tex.module.000084qproUNSAT0.18
Umbrella_tbm_25.tex.module.000087qproUNSAT0.06
Umbrella_tbm_25.tex.module.000099qproUNSAT0.05
Umbrella_tbm_25.tex.module.000106qproSAT54.75
Umbrella_tbm_25.tex.module.000121qproSAT58.87
Umbrella_tbm_25.tex.moduleQ3.2S.000052CirQit2.1UNSAT2.04
Umbrella_tbm_25.tex.moduleQ3.2S.000075CirQit2.1UNSAT2.22
Umbrella_tbm_25.tex.moduleQ3.2S.000120CirQit2.1UNSAT2.69
Umbrella_tbm_26.tex.module.000004qproUNSAT0.1
Umbrella_tbm_26.tex.module.000021qproSAT66.2
Umbrella_tbm_26.tex.module.000041qproSAT61.59
Umbrella_tbm_26.tex.module.000061qproSAT62.64
Umbrella_tbm_26.tex.moduleQ3.2S.000009CirQit2.1UNSAT1.04
Umbrella_tbm_26.tex.moduleQ3.2S.000014CirQit2.1UNSAT0.96
Umbrella_tbm_26.tex.moduleQ3.2S.000020CirQit2.1UNSAT1.01
Umbrella_tbm_26.tex.moduleQ3.2S.000037CirQit2.1UNSAT1.04
Umbrella_tbm_26.tex.moduleQ3.2S.000041CirQit2.1UNSAT1.04
Umbrella_tbm_29.tex.module.000009qproSAT4.28
Umbrella_tbm_29.tex.module.000010qproSAT4
Umbrella_tbm_29.tex.module.000078qproSAT4.38
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001qproUNSAT13.56
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001CirQit2.1UNSAT2.78
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003CirQit2.1UNSAT974.53
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003CirQit2.1UNSAT27.19