Sota solver results for family mqm
QBFEVAL'10 - Competitive Track.


InstanceSolverResultTime
Core1108_tbm_02.tex.moduleQ3.2S.000007depqbf-preSAT241.97
Core1108_tbm_02.tex.moduleQ3.2S.000015depqbfUNSAT0.18
Core1108_tbm_02.tex.moduleQ3.2S.000026depqbfUNSAT0.14
Core1108_tbm_02.tex.moduleQ3.2S.000056depqbfUNSAT0.18
Core1108_tbm_02.tex.moduleQ3.2S.000077depqbf-preSAT203.1
Core1108_tbm_02.tex.moduleQ3.2S.000095depqbfUNSAT0.13
Core1108_tbm_02.tex.moduleQ3.2S.000098depqbfUNSAT0.13
Core1108_tbm_02.tex.moduleQ3.2S.000099depqbfUNSAT0.13
Core1108_tbm_02.tex.moduleQ3.2S.000108depqbfUNSAT0.13
Core1108_tbm_03.tex.module.000003depqbfUNSAT0.08
Core1108_tbm_03.tex.module.000019depqbfUNSAT0.06
Core1108_tbm_03.tex.module.000021depqbf-preUNSAT0.05
Core1108_tbm_03.tex.module.000023depqbf-preUNSAT0.04
Core1108_tbm_03.tex.module.000031depqbfSAT61.27
Core1108_tbm_03.tex.module.000034depqbf-preSAT67.76
Core1108_tbm_03.tex.module.000037depqbfSAT66.83
Core1108_tbm_03.tex.module.000038depqbf-preUNSAT5.33
Core1108_tbm_03.tex.module.000039depqbfUNSAT18.07
Core1108_tbm_03.tex.module.000048depqbf-preUNSAT0.05
Core1108_tbm_03.tex.module.000056depqbfSAT61.88
Core1108_tbm_03.tex.module.000057depqbfSAT70.53
Core1108_tbm_03.tex.module.000058depqbfSAT63.63
Core1108_tbm_03.tex.module.000064depqbf-preSAT72.69
Core1108_tbm_03.tex.module.000065depqbfSAT65.49
Core1108_tbm_03.tex.module.000090depqbfSAT69.19
Core1108_tbm_03.tex.module.000092depqbf-preSAT68.62
Core1108_tbm_03.tex.moduleQ3.2S.000002depqbfUNSAT0.07
Core1108_tbm_03.tex.moduleQ3.2S.000003depqbfUNSAT0.05
Core1108_tbm_03.tex.moduleQ3.2S.000009depqbfUNSAT0.06
Core1108_tbm_03.tex.moduleQ3.2S.000011depqbf-preSAT110.28
Core1108_tbm_03.tex.moduleQ3.2S.000018depqbfUNSAT0.06
Core1108_tbm_03.tex.moduleQ3.2S.000048depqbfUNSAT0.06
Core1108_tbm_09.tex.module.000008depqbfSAT73.96
Core1108_tbm_09.tex.module.000009depqbfSAT79.14
Core1108_tbm_09.tex.module.000010depqbf-preSAT66.62
Core1108_tbm_09.tex.module.000028depqbfUNSAT0.08
Core1108_tbm_09.tex.module.000033depqbfUNSAT0.09
Core1108_tbm_09.tex.moduleQ3.10S.000001depqbfSAT345.75
Core1108_tbm_09.tex.moduleQ3.2S.000003depqbfUNSAT9.31
Core1108_tbm_09.tex.moduleQ3.2S.000005depqbfUNSAT8.63
Core1108_tbm_09.tex.moduleQ3.2S.000007depqbf-preUNSAT11.18
Core1108_tbm_09.tex.moduleQ3.2S.000010depqbfUNSAT2.88
Core1108_tbm_09.tex.moduleQ3.2S.000011depqbf-preSAT435.21
Core1108_tbm_09.tex.moduleQ3.9S.000001depqbf-preSAT386.22
Core1108_tbm_21.tex.module.000008depqbfSAT96.3
Core1108_tbm_21.tex.module.000009depqbfSAT83.75
Core1108_tbm_21.tex.module.000010depqbf-preSAT109.27
Core1108_tbm_21.tex.module.000014depqbf-preUNSAT1.14
Core1108_tbm_21.tex.module.000017depqbf-preUNSAT0.1
Core1108_tbm_21.tex.module.000023depqbf-preUNSAT0.06
Core1108_tbm_21.tex.module.000026depqbfUNSAT0.03
Core1108_tbm_21.tex.module.000027depqbfUNSAT0.02
Core1108_tbm_21.tex.module.000030depqbfSAT88.37
Core1108_tbm_21.tex.module.000091depqbfUNSAT0.02
Core1108_tbm_21.tex.moduleQ3.2S.000002depqbfUNSAT2.28
Core1108_tbm_21.tex.moduleQ3.2S.000007depqbf-preSAT167.93
Core1108_tbm_21.tex.moduleQ3.2S.000011depqbfUNSAT2.64
Core1108_tbm_21.tex.moduleQ3.2S.000014depqbf-preSAT221.78
Core1108_tbm_21.tex.moduleQ3.2S.000015depqbfUNSAT2.86
Core1108_tbm_21.tex.moduleQ3.2S.000019depqbf-preUNSAT3.61
Core1108_tbm_21.tex.moduleQ3.2S.000024depqbfUNSAT3.04
Core1108_tbm_21.tex.moduleQ3.2S.000027depqbfSAT220.03
Core1108_tbm_28.tex.moduleQ2.2S.000003depqbf-preSAT11.63
Umbrella_tbm_05.tex.module.000011depqbfSAT137.18
Umbrella_tbm_05.tex.module.000015depqbfUNSAT0.2
Umbrella_tbm_05.tex.module.000025depqbfSAT191.32
Umbrella_tbm_05.tex.module.000030depqbfUNSAT0.21
Umbrella_tbm_05.tex.module.000039depqbfSAT145.74
Umbrella_tbm_05.tex.module.000043depqbfUNSAT0.17
Umbrella_tbm_05.tex.module.000053depqbfSAT125.9
Umbrella_tbm_05.tex.module.000064depqbfSAT130.3
Umbrella_tbm_05.tex.module.000065depqbfUNSAT0.14
Umbrella_tbm_05.tex.module.000079depqbfUNSAT0.06
Umbrella_tbm_05.tex.module.000088depqbfSAT94.6
Umbrella_tbm_14.tex.moduleQ2.1S.000720depqbf-preUNSAT2.58
Umbrella_tbm_14.tex.moduleQ2.1S.000749depqbfUNSAT0.42
Umbrella_tbm_14.tex.moduleQ2.1S.000757depqbfUNSAT1.32
Umbrella_tbm_14.tex.moduleQ2.1S.000773depqbfUNSAT1
Umbrella_tbm_14.tex.moduleQ2.1S.000787depqbfUNSAT0.21
Umbrella_tbm_14.tex.moduleQ2.1S.000792depqbfUNSAT0.23
Umbrella_tbm_14.tex.moduleQ2.1S.000808depqbfUNSAT0.89
Umbrella_tbm_14.tex.moduleQ2.1S.000812depqbfUNSAT1.46
Umbrella_tbm_14.tex.moduleQ2.2S.000001depqbf-preUNSAT1.52
Umbrella_tbm_14.tex.moduleQ2.2S.000002depqbfUNSAT1.4
Umbrella_tbm_14.tex.moduleQ2.2S.000003depqbf-preSAT33.86
Umbrella_tbm_21.tex.module.000024depqbf-preSAT171.09
Umbrella_tbm_21.tex.module.000029depqbfSAT154.47
Umbrella_tbm_21.tex.module.000044depqbfUNSAT0.38
Umbrella_tbm_21.tex.module.000049qmaigaSAT85.73
Umbrella_tbm_21.tex.module.000056qmaigaSAT88.17
Umbrella_tbm_21.tex.module.000069AIGSolveSAT108.82
Umbrella_tbm_21.tex.module.000079AIGSolveSAT94.37
Umbrella_tbm_21.tex.module.000129depqbfSAT149.7
Umbrella_tbm_21.tex.module.000134depqbfSAT140.95
Umbrella_tbm_21.tex.module.000139depqbfUNSAT0.43
Umbrella_tbm_21.tex.module.000149depqbfSAT162.47
Umbrella_tbm_23.tex.moduleQ1.2S.000001depqbf-preSAT3.55
Umbrella_tbm_24.tex.module.000066depqbf-preSAT7.19
Umbrella_tbm_24.tex.module.000103depqbf-preSAT7.34
Umbrella_tbm_24.tex.module.000131depqbf-preSAT6.4
Umbrella_tbm_24.tex.moduleQ2.1S.000022depqbfSAT24.49
Umbrella_tbm_24.tex.moduleQ2.1S.000136depqbf-preSAT19.31
Umbrella_tbm_24.tex.moduleQ2.1S.000188depqbf-preSAT19.7
Umbrella_tbm_25.tex.module.000003depqbfUNSAT0.24
Umbrella_tbm_25.tex.module.000031qmaigaSAT98.38
Umbrella_tbm_25.tex.module.000041AIGSolveSAT73.43
Umbrella_tbm_25.tex.module.000084depqbfUNSAT11.53
Umbrella_tbm_25.tex.module.000087depqbf-preUNSAT10.09
Umbrella_tbm_25.tex.module.000099depqbfUNSAT0.36
Umbrella_tbm_25.tex.module.000106AIGSolveSAT71.54
Umbrella_tbm_25.tex.module.000121AIGSolveSAT43.52
Umbrella_tbm_25.tex.moduleQ3.2S.000052depqbfUNSAT0.57
Umbrella_tbm_25.tex.moduleQ3.2S.000063depqbf-preSAT552.64
Umbrella_tbm_25.tex.moduleQ3.2S.000075depqbfUNSAT0.76
Umbrella_tbm_25.tex.moduleQ3.2S.000120depqbfUNSAT0.73
Umbrella_tbm_26.tex.module.000004depqbf-preUNSAT0.13
Umbrella_tbm_26.tex.module.000021depqbfSAT104.66
Umbrella_tbm_26.tex.module.000041depqbf-preSAT106.22
Umbrella_tbm_26.tex.module.000061depqbfSAT116.22
Umbrella_tbm_26.tex.moduleQ3.2S.000009depqbfUNSAT0.27
Umbrella_tbm_26.tex.moduleQ3.2S.000014depqbfUNSAT0.3
Umbrella_tbm_26.tex.moduleQ3.2S.000020depqbfUNSAT0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000037depqbf-preUNSAT0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000041depqbfUNSAT0.28
Umbrella_tbm_29.tex.module.000009aqme-10SAT5.47
Umbrella_tbm_29.tex.module.000010depqbf-preSAT5.91
Umbrella_tbm_29.tex.module.000078depqbfSAT5.02
Umbrella_tbm_29.tex.moduleQ2.2S.000001depqbf-preSAT15.25
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001depqbfUNSAT1.67
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001depqbf-preUNSAT0.6
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001depqbf-preSAT186.44
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003QuBE7UNSAT3.92
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003depqbfUNSAT0.44
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001depqbf-preSAT204.85
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003depqbf-preSAT325.82
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003depqbf-preSAT208.58