QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Sota solver results for family mqm
QBFEVAL'10 - Competitive Track.
Instance
Solver
Result
Time
Core1108_tbm_02.tex.moduleQ3.2S.000007
depqbf-pre
SAT
241.97
Core1108_tbm_02.tex.moduleQ3.2S.000015
depqbf
UNSAT
0.18
Core1108_tbm_02.tex.moduleQ3.2S.000026
depqbf
UNSAT
0.14
Core1108_tbm_02.tex.moduleQ3.2S.000056
depqbf
UNSAT
0.18
Core1108_tbm_02.tex.moduleQ3.2S.000077
depqbf-pre
SAT
203.1
Core1108_tbm_02.tex.moduleQ3.2S.000095
depqbf
UNSAT
0.13
Core1108_tbm_02.tex.moduleQ3.2S.000098
depqbf
UNSAT
0.13
Core1108_tbm_02.tex.moduleQ3.2S.000099
depqbf
UNSAT
0.13
Core1108_tbm_02.tex.moduleQ3.2S.000108
depqbf
UNSAT
0.13
Core1108_tbm_03.tex.module.000003
depqbf
UNSAT
0.08
Core1108_tbm_03.tex.module.000019
depqbf
UNSAT
0.06
Core1108_tbm_03.tex.module.000021
depqbf-pre
UNSAT
0.05
Core1108_tbm_03.tex.module.000023
depqbf-pre
UNSAT
0.04
Core1108_tbm_03.tex.module.000031
depqbf
SAT
61.27
Core1108_tbm_03.tex.module.000034
depqbf-pre
SAT
67.76
Core1108_tbm_03.tex.module.000037
depqbf
SAT
66.83
Core1108_tbm_03.tex.module.000038
depqbf-pre
UNSAT
5.33
Core1108_tbm_03.tex.module.000039
depqbf
UNSAT
18.07
Core1108_tbm_03.tex.module.000048
depqbf-pre
UNSAT
0.05
Core1108_tbm_03.tex.module.000056
depqbf
SAT
61.88
Core1108_tbm_03.tex.module.000057
depqbf
SAT
70.53
Core1108_tbm_03.tex.module.000058
depqbf
SAT
63.63
Core1108_tbm_03.tex.module.000064
depqbf-pre
SAT
72.69
Core1108_tbm_03.tex.module.000065
depqbf
SAT
65.49
Core1108_tbm_03.tex.module.000090
depqbf
SAT
69.19
Core1108_tbm_03.tex.module.000092
depqbf-pre
SAT
68.62
Core1108_tbm_03.tex.moduleQ3.2S.000002
depqbf
UNSAT
0.07
Core1108_tbm_03.tex.moduleQ3.2S.000003
depqbf
UNSAT
0.05
Core1108_tbm_03.tex.moduleQ3.2S.000009
depqbf
UNSAT
0.06
Core1108_tbm_03.tex.moduleQ3.2S.000011
depqbf-pre
SAT
110.28
Core1108_tbm_03.tex.moduleQ3.2S.000018
depqbf
UNSAT
0.06
Core1108_tbm_03.tex.moduleQ3.2S.000048
depqbf
UNSAT
0.06
Core1108_tbm_09.tex.module.000008
depqbf
SAT
73.96
Core1108_tbm_09.tex.module.000009
depqbf
SAT
79.14
Core1108_tbm_09.tex.module.000010
depqbf-pre
SAT
66.62
Core1108_tbm_09.tex.module.000028
depqbf
UNSAT
0.08
Core1108_tbm_09.tex.module.000033
depqbf
UNSAT
0.09
Core1108_tbm_09.tex.moduleQ3.10S.000001
depqbf
SAT
345.75
Core1108_tbm_09.tex.moduleQ3.2S.000003
depqbf
UNSAT
9.31
Core1108_tbm_09.tex.moduleQ3.2S.000005
depqbf
UNSAT
8.63
Core1108_tbm_09.tex.moduleQ3.2S.000007
depqbf-pre
UNSAT
11.18
Core1108_tbm_09.tex.moduleQ3.2S.000010
depqbf
UNSAT
2.88
Core1108_tbm_09.tex.moduleQ3.2S.000011
depqbf-pre
SAT
435.21
Core1108_tbm_09.tex.moduleQ3.9S.000001
depqbf-pre
SAT
386.22
Core1108_tbm_21.tex.module.000008
depqbf
SAT
96.3
Core1108_tbm_21.tex.module.000009
depqbf
SAT
83.75
Core1108_tbm_21.tex.module.000010
depqbf-pre
SAT
109.27
Core1108_tbm_21.tex.module.000014
depqbf-pre
UNSAT
1.14
Core1108_tbm_21.tex.module.000017
depqbf-pre
UNSAT
0.1
Core1108_tbm_21.tex.module.000023
depqbf-pre
UNSAT
0.06
Core1108_tbm_21.tex.module.000026
depqbf
UNSAT
0.03
Core1108_tbm_21.tex.module.000027
depqbf
UNSAT
0.02
Core1108_tbm_21.tex.module.000030
depqbf
SAT
88.37
Core1108_tbm_21.tex.module.000091
depqbf
UNSAT
0.02
Core1108_tbm_21.tex.moduleQ3.2S.000002
depqbf
UNSAT
2.28
Core1108_tbm_21.tex.moduleQ3.2S.000007
depqbf-pre
SAT
167.93
Core1108_tbm_21.tex.moduleQ3.2S.000011
depqbf
UNSAT
2.64
Core1108_tbm_21.tex.moduleQ3.2S.000014
depqbf-pre
SAT
221.78
Core1108_tbm_21.tex.moduleQ3.2S.000015
depqbf
UNSAT
2.86
Core1108_tbm_21.tex.moduleQ3.2S.000019
depqbf-pre
UNSAT
3.61
Core1108_tbm_21.tex.moduleQ3.2S.000024
depqbf
UNSAT
3.04
Core1108_tbm_21.tex.moduleQ3.2S.000027
depqbf
SAT
220.03
Core1108_tbm_28.tex.moduleQ2.2S.000003
depqbf-pre
SAT
11.63
Umbrella_tbm_05.tex.module.000011
depqbf
SAT
137.18
Umbrella_tbm_05.tex.module.000015
depqbf
UNSAT
0.2
Umbrella_tbm_05.tex.module.000025
depqbf
SAT
191.32
Umbrella_tbm_05.tex.module.000030
depqbf
UNSAT
0.21
Umbrella_tbm_05.tex.module.000039
depqbf
SAT
145.74
Umbrella_tbm_05.tex.module.000043
depqbf
UNSAT
0.17
Umbrella_tbm_05.tex.module.000053
depqbf
SAT
125.9
Umbrella_tbm_05.tex.module.000064
depqbf
SAT
130.3
Umbrella_tbm_05.tex.module.000065
depqbf
UNSAT
0.14
Umbrella_tbm_05.tex.module.000079
depqbf
UNSAT
0.06
Umbrella_tbm_05.tex.module.000088
depqbf
SAT
94.6
Umbrella_tbm_14.tex.moduleQ2.1S.000720
depqbf-pre
UNSAT
2.58
Umbrella_tbm_14.tex.moduleQ2.1S.000749
depqbf
UNSAT
0.42
Umbrella_tbm_14.tex.moduleQ2.1S.000757
depqbf
UNSAT
1.32
Umbrella_tbm_14.tex.moduleQ2.1S.000773
depqbf
UNSAT
1
Umbrella_tbm_14.tex.moduleQ2.1S.000787
depqbf
UNSAT
0.21
Umbrella_tbm_14.tex.moduleQ2.1S.000792
depqbf
UNSAT
0.23
Umbrella_tbm_14.tex.moduleQ2.1S.000808
depqbf
UNSAT
0.89
Umbrella_tbm_14.tex.moduleQ2.1S.000812
depqbf
UNSAT
1.46
Umbrella_tbm_14.tex.moduleQ2.2S.000001
depqbf-pre
UNSAT
1.52
Umbrella_tbm_14.tex.moduleQ2.2S.000002
depqbf
UNSAT
1.4
Umbrella_tbm_14.tex.moduleQ2.2S.000003
depqbf-pre
SAT
33.86
Umbrella_tbm_21.tex.module.000024
depqbf-pre
SAT
171.09
Umbrella_tbm_21.tex.module.000029
depqbf
SAT
154.47
Umbrella_tbm_21.tex.module.000044
depqbf
UNSAT
0.38
Umbrella_tbm_21.tex.module.000049
qmaiga
SAT
85.73
Umbrella_tbm_21.tex.module.000056
qmaiga
SAT
88.17
Umbrella_tbm_21.tex.module.000069
AIGSolve
SAT
108.82
Umbrella_tbm_21.tex.module.000079
AIGSolve
SAT
94.37
Umbrella_tbm_21.tex.module.000129
depqbf
SAT
149.7
Umbrella_tbm_21.tex.module.000134
depqbf
SAT
140.95
Umbrella_tbm_21.tex.module.000139
depqbf
UNSAT
0.43
Umbrella_tbm_21.tex.module.000149
depqbf
SAT
162.47
Umbrella_tbm_23.tex.moduleQ1.2S.000001
depqbf-pre
SAT
3.55
Umbrella_tbm_24.tex.module.000066
depqbf-pre
SAT
7.19
Umbrella_tbm_24.tex.module.000103
depqbf-pre
SAT
7.34
Umbrella_tbm_24.tex.module.000131
depqbf-pre
SAT
6.4
Umbrella_tbm_24.tex.moduleQ2.1S.000022
depqbf
SAT
24.49
Umbrella_tbm_24.tex.moduleQ2.1S.000136
depqbf-pre
SAT
19.31
Umbrella_tbm_24.tex.moduleQ2.1S.000188
depqbf-pre
SAT
19.7
Umbrella_tbm_25.tex.module.000003
depqbf
UNSAT
0.24
Umbrella_tbm_25.tex.module.000031
qmaiga
SAT
98.38
Umbrella_tbm_25.tex.module.000041
AIGSolve
SAT
73.43
Umbrella_tbm_25.tex.module.000084
depqbf
UNSAT
11.53
Umbrella_tbm_25.tex.module.000087
depqbf-pre
UNSAT
10.09
Umbrella_tbm_25.tex.module.000099
depqbf
UNSAT
0.36
Umbrella_tbm_25.tex.module.000106
AIGSolve
SAT
71.54
Umbrella_tbm_25.tex.module.000121
AIGSolve
SAT
43.52
Umbrella_tbm_25.tex.moduleQ3.2S.000052
depqbf
UNSAT
0.57
Umbrella_tbm_25.tex.moduleQ3.2S.000063
depqbf-pre
SAT
552.64
Umbrella_tbm_25.tex.moduleQ3.2S.000075
depqbf
UNSAT
0.76
Umbrella_tbm_25.tex.moduleQ3.2S.000120
depqbf
UNSAT
0.73
Umbrella_tbm_26.tex.module.000004
depqbf-pre
UNSAT
0.13
Umbrella_tbm_26.tex.module.000021
depqbf
SAT
104.66
Umbrella_tbm_26.tex.module.000041
depqbf-pre
SAT
106.22
Umbrella_tbm_26.tex.module.000061
depqbf
SAT
116.22
Umbrella_tbm_26.tex.moduleQ3.2S.000009
depqbf
UNSAT
0.27
Umbrella_tbm_26.tex.moduleQ3.2S.000014
depqbf
UNSAT
0.3
Umbrella_tbm_26.tex.moduleQ3.2S.000020
depqbf
UNSAT
0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000037
depqbf-pre
UNSAT
0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000041
depqbf
UNSAT
0.28
Umbrella_tbm_29.tex.module.000009
aqme-10
SAT
5.47
Umbrella_tbm_29.tex.module.000010
depqbf-pre
SAT
5.91
Umbrella_tbm_29.tex.module.000078
depqbf
SAT
5.02
Umbrella_tbm_29.tex.moduleQ2.2S.000001
depqbf-pre
SAT
15.25
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
depqbf
UNSAT
1.67
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
depqbf-pre
UNSAT
0.6
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
depqbf-pre
SAT
186.44
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
QuBE7
UNSAT
3.92
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
depqbf
UNSAT
0.44
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
depqbf-pre
SAT
204.85
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
depqbf-pre
SAT
325.82
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
depqbf-pre
SAT
208.58
Contact
|
Organization
|
Links
|
Citing QBFLIB