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
Instances of family mqm solved by
depqbf
QBFEVAL'10 - Competitive Track.
Instance
Result
Time
Core1108_tbm_21.tex.module.000091
UNSAT
0.02
Core1108_tbm_21.tex.module.000027
UNSAT
0.02
Core1108_tbm_21.tex.module.000026
UNSAT
0.03
Core1108_tbm_03.tex.module.000023
UNSAT
0.04
Core1108_tbm_03.tex.module.000021
UNSAT
0.05
Core1108_tbm_03.tex.module.000048
UNSAT
0.05
Core1108_tbm_03.tex.moduleQ3.2S.000003
UNSAT
0.05
Core1108_tbm_03.tex.moduleQ3.2S.000018
UNSAT
0.06
Core1108_tbm_21.tex.module.000023
UNSAT
0.06
Core1108_tbm_03.tex.moduleQ3.2S.000048
UNSAT
0.06
Umbrella_tbm_05.tex.module.000079
UNSAT
0.06
Core1108_tbm_03.tex.moduleQ3.2S.000009
UNSAT
0.06
Core1108_tbm_03.tex.module.000019
UNSAT
0.06
Core1108_tbm_03.tex.moduleQ3.2S.000002
UNSAT
0.07
Core1108_tbm_09.tex.module.000028
UNSAT
0.08
Core1108_tbm_03.tex.module.000003
UNSAT
0.08
Core1108_tbm_09.tex.module.000033
UNSAT
0.09
Core1108_tbm_21.tex.module.000017
UNSAT
0.1
Core1108_tbm_02.tex.moduleQ3.2S.000108
UNSAT
0.13
Core1108_tbm_02.tex.moduleQ3.2S.000095
UNSAT
0.13
Umbrella_tbm_26.tex.module.000004
UNSAT
0.13
Core1108_tbm_02.tex.moduleQ3.2S.000098
UNSAT
0.13
Core1108_tbm_02.tex.moduleQ3.2S.000099
UNSAT
0.13
Core1108_tbm_02.tex.moduleQ3.2S.000026
UNSAT
0.14
Umbrella_tbm_05.tex.module.000065
UNSAT
0.14
Umbrella_tbm_05.tex.module.000043
UNSAT
0.17
Core1108_tbm_02.tex.moduleQ3.2S.000015
UNSAT
0.18
Core1108_tbm_02.tex.moduleQ3.2S.000056
UNSAT
0.18
Umbrella_tbm_05.tex.module.000015
UNSAT
0.2
Umbrella_tbm_05.tex.module.000030
UNSAT
0.21
Umbrella_tbm_14.tex.moduleQ2.1S.000787
UNSAT
0.21
Umbrella_tbm_14.tex.moduleQ2.1S.000792
UNSAT
0.23
Umbrella_tbm_25.tex.module.000003
UNSAT
0.24
Umbrella_tbm_26.tex.moduleQ3.2S.000009
UNSAT
0.27
Umbrella_tbm_26.tex.moduleQ3.2S.000041
UNSAT
0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000020
UNSAT
0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000037
UNSAT
0.3
Umbrella_tbm_26.tex.moduleQ3.2S.000014
UNSAT
0.3
Umbrella_tbm_25.tex.module.000099
UNSAT
0.36
Umbrella_tbm_21.tex.module.000044
UNSAT
0.38
Umbrella_tbm_14.tex.moduleQ2.1S.000749
UNSAT
0.42
Umbrella_tbm_21.tex.module.000139
UNSAT
0.43
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
0.44
Umbrella_tbm_25.tex.moduleQ3.2S.000052
UNSAT
0.57
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
0.61
Umbrella_tbm_25.tex.moduleQ3.2S.000120
UNSAT
0.73
Umbrella_tbm_25.tex.moduleQ3.2S.000075
UNSAT
0.76
Umbrella_tbm_14.tex.moduleQ2.1S.000808
UNSAT
0.89
Umbrella_tbm_14.tex.moduleQ2.1S.000773
UNSAT
1
Core1108_tbm_21.tex.module.000014
UNSAT
1.28
Umbrella_tbm_14.tex.moduleQ2.1S.000757
UNSAT
1.32
Umbrella_tbm_14.tex.moduleQ2.2S.000002
UNSAT
1.4
Umbrella_tbm_14.tex.moduleQ2.1S.000812
UNSAT
1.46
Umbrella_tbm_14.tex.moduleQ2.2S.000001
UNSAT
1.64
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
UNSAT
1.67
Core1108_tbm_21.tex.moduleQ3.2S.000002
UNSAT
2.28
Core1108_tbm_21.tex.moduleQ3.2S.000011
UNSAT
2.64
Umbrella_tbm_14.tex.moduleQ2.1S.000720
UNSAT
2.73
Core1108_tbm_21.tex.moduleQ3.2S.000015
UNSAT
2.86
Core1108_tbm_09.tex.moduleQ3.2S.000010
UNSAT
2.88
Core1108_tbm_21.tex.moduleQ3.2S.000024
UNSAT
3.04
Core1108_tbm_21.tex.moduleQ3.2S.000019
UNSAT
3.68
Umbrella_tbm_23.tex.moduleQ1.2S.000001
SAT
3.75
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
4.36
Umbrella_tbm_29.tex.module.000078
SAT
5.02
Core1108_tbm_03.tex.module.000038
UNSAT
5.36
Umbrella_tbm_29.tex.module.000009
SAT
6.22
Umbrella_tbm_29.tex.module.000010
SAT
6.39
Umbrella_tbm_24.tex.module.000131
SAT
7.18
Umbrella_tbm_24.tex.module.000066
SAT
7.29
Umbrella_tbm_24.tex.module.000103
SAT
7.38
Core1108_tbm_09.tex.moduleQ3.2S.000005
UNSAT
8.63
Core1108_tbm_09.tex.moduleQ3.2S.000003
UNSAT
9.31
Umbrella_tbm_25.tex.module.000087
UNSAT
10.42
Umbrella_tbm_25.tex.module.000084
UNSAT
11.53
Core1108_tbm_28.tex.moduleQ2.2S.000003
SAT
16.63
Core1108_tbm_09.tex.moduleQ3.2S.000007
UNSAT
16.77
Core1108_tbm_03.tex.module.000039
UNSAT
18.07
Umbrella_tbm_29.tex.moduleQ2.2S.000001
SAT
22.29
Umbrella_tbm_24.tex.moduleQ2.1S.000022
SAT
24.49
Umbrella_tbm_24.tex.moduleQ2.1S.000188
SAT
25.85
Umbrella_tbm_24.tex.moduleQ2.1S.000136
SAT
28.39
Umbrella_tbm_14.tex.moduleQ2.2S.000003
SAT
34.01
Core1108_tbm_03.tex.module.000031
SAT
61.27
Core1108_tbm_03.tex.module.000056
SAT
61.88
Core1108_tbm_03.tex.module.000058
SAT
63.63
Core1108_tbm_03.tex.module.000065
SAT
65.49
Core1108_tbm_03.tex.module.000037
SAT
66.83
Core1108_tbm_03.tex.module.000090
SAT
69.19
Core1108_tbm_03.tex.module.000057
SAT
70.53
Core1108_tbm_03.tex.module.000064
SAT
72.8
Core1108_tbm_03.tex.module.000092
SAT
72.85
Core1108_tbm_03.tex.module.000034
SAT
73.41
Core1108_tbm_09.tex.module.000008
SAT
73.96
Core1108_tbm_09.tex.module.000009
SAT
79.14
Core1108_tbm_21.tex.module.000009
SAT
83.75
Core1108_tbm_09.tex.module.000010
SAT
84.57
Core1108_tbm_21.tex.module.000030
SAT
88.37
Umbrella_tbm_05.tex.module.000088
SAT
94.6
Core1108_tbm_21.tex.module.000008
SAT
96.3
Umbrella_tbm_26.tex.module.000021
SAT
104.66
Core1108_tbm_21.tex.module.000010
SAT
110.27
Umbrella_tbm_26.tex.module.000041
SAT
115.8
Umbrella_tbm_26.tex.module.000061
SAT
116.22
Umbrella_tbm_05.tex.module.000053
SAT
125.9
Umbrella_tbm_05.tex.module.000064
SAT
130.3
Umbrella_tbm_05.tex.module.000011
SAT
137.18
Core1108_tbm_03.tex.moduleQ3.2S.000011
SAT
138.58
Umbrella_tbm_21.tex.module.000134
SAT
140.95
Umbrella_tbm_21.tex.module.000069
SAT
141.71
Umbrella_tbm_21.tex.module.000079
SAT
144.67
Umbrella_tbm_05.tex.module.000039
SAT
145.74
Umbrella_tbm_21.tex.module.000129
SAT
149.7
Umbrella_tbm_21.tex.module.000029
SAT
154.47
Umbrella_tbm_21.tex.module.000049
SAT
155.95
Umbrella_tbm_21.tex.module.000149
SAT
162.47
Umbrella_tbm_21.tex.module.000056
SAT
172.7
Umbrella_tbm_21.tex.module.000024
SAT
173.9
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
SAT
186.48
Umbrella_tbm_25.tex.module.000121
SAT
186.86
Umbrella_tbm_05.tex.module.000025
SAT
191.32
Umbrella_tbm_25.tex.module.000106
SAT
192.77
Umbrella_tbm_25.tex.module.000041
SAT
215.09
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
SAT
215.18
Core1108_tbm_21.tex.moduleQ3.2S.000027
SAT
220.03
Core1108_tbm_21.tex.moduleQ3.2S.000014
SAT
224.91
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
SAT
229.57
Umbrella_tbm_25.tex.module.000031
SAT
230.81
Core1108_tbm_21.tex.moduleQ3.2S.000007
SAT
256.6
Core1108_tbm_02.tex.moduleQ3.2S.000077
SAT
304.51
Core1108_tbm_02.tex.moduleQ3.2S.000007
SAT
309.26
Core1108_tbm_09.tex.moduleQ3.10S.000001
SAT
345.75
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
SAT
399.31
Core1108_tbm_09.tex.moduleQ3.9S.000001
SAT
431.15
Core1108_tbm_09.tex.moduleQ3.2S.000011
SAT
470.82
Umbrella_tbm_25.tex.moduleQ3.2S.000063
SAT
770.04
Contact
|
Organization
|
Links
|
Citing QBFLIB