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-pre
QBFEVAL'10 - Competitive Track.
Instance
Result
Time
Core1108_tbm_21.tex.module.000091
UNSAT
0.03
Core1108_tbm_03.tex.module.000023
UNSAT
0.04
Core1108_tbm_21.tex.module.000027
UNSAT
0.04
Core1108_tbm_03.tex.module.000021
UNSAT
0.05
Core1108_tbm_21.tex.module.000026
UNSAT
0.05
Core1108_tbm_03.tex.module.000048
UNSAT
0.05
Core1108_tbm_21.tex.module.000023
UNSAT
0.06
Core1108_tbm_03.tex.module.000019
UNSAT
0.07
Umbrella_tbm_05.tex.module.000079
UNSAT
0.08
Core1108_tbm_03.tex.moduleQ3.2S.000002
UNSAT
0.09
Core1108_tbm_03.tex.module.000003
UNSAT
0.09
Core1108_tbm_03.tex.moduleQ3.2S.000048
UNSAT
0.09
Core1108_tbm_09.tex.module.000033
UNSAT
0.09
Core1108_tbm_09.tex.module.000028
UNSAT
0.09
Core1108_tbm_03.tex.moduleQ3.2S.000003
UNSAT
0.09
Core1108_tbm_21.tex.module.000017
UNSAT
0.1
Core1108_tbm_03.tex.moduleQ3.2S.000018
UNSAT
0.1
Core1108_tbm_03.tex.moduleQ3.2S.000009
UNSAT
0.1
Umbrella_tbm_26.tex.module.000004
UNSAT
0.13
Umbrella_tbm_05.tex.module.000065
UNSAT
0.14
Core1108_tbm_02.tex.moduleQ3.2S.000098
UNSAT
0.16
Core1108_tbm_02.tex.moduleQ3.2S.000108
UNSAT
0.16
Core1108_tbm_02.tex.moduleQ3.2S.000095
UNSAT
0.16
Core1108_tbm_02.tex.moduleQ3.2S.000099
UNSAT
0.17
Umbrella_tbm_05.tex.module.000043
UNSAT
0.18
Core1108_tbm_02.tex.moduleQ3.2S.000026
UNSAT
0.18
Core1108_tbm_02.tex.moduleQ3.2S.000056
UNSAT
0.2
Core1108_tbm_02.tex.moduleQ3.2S.000015
UNSAT
0.22
Umbrella_tbm_05.tex.module.000015
UNSAT
0.22
Umbrella_tbm_05.tex.module.000030
UNSAT
0.23
Umbrella_tbm_25.tex.module.000003
UNSAT
0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000037
UNSAT
0.28
Umbrella_tbm_26.tex.moduleQ3.2S.000041
UNSAT
0.33
Umbrella_tbm_26.tex.moduleQ3.2S.000009
UNSAT
0.34
Umbrella_tbm_14.tex.moduleQ2.1S.000787
UNSAT
0.36
Umbrella_tbm_26.tex.moduleQ3.2S.000014
UNSAT
0.36
Umbrella_tbm_26.tex.moduleQ3.2S.000020
UNSAT
0.36
Umbrella_tbm_25.tex.module.000099
UNSAT
0.38
Umbrella_tbm_14.tex.moduleQ2.1S.000792
UNSAT
0.38
Umbrella_tbm_21.tex.module.000044
UNSAT
0.39
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
0.45
Umbrella_tbm_21.tex.module.000139
UNSAT
0.47
Umbrella_tbm_14.tex.moduleQ2.1S.000749
UNSAT
0.51
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
0.6
Umbrella_tbm_25.tex.moduleQ3.2S.000052
UNSAT
0.8
Umbrella_tbm_25.tex.moduleQ3.2S.000075
UNSAT
0.89
Umbrella_tbm_25.tex.moduleQ3.2S.000120
UNSAT
1.03
Core1108_tbm_21.tex.module.000014
UNSAT
1.14
Umbrella_tbm_14.tex.moduleQ2.1S.000808
UNSAT
1.2
Umbrella_tbm_14.tex.moduleQ2.1S.000773
UNSAT
1.23
Umbrella_tbm_14.tex.moduleQ2.1S.000757
UNSAT
1.44
Umbrella_tbm_14.tex.moduleQ2.2S.000002
UNSAT
1.49
Umbrella_tbm_14.tex.moduleQ2.2S.000001
UNSAT
1.52
Umbrella_tbm_14.tex.moduleQ2.1S.000812
UNSAT
1.79
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
UNSAT
1.85
Core1108_tbm_21.tex.moduleQ3.2S.000002
UNSAT
2.55
Umbrella_tbm_14.tex.moduleQ2.1S.000720
UNSAT
2.58
Core1108_tbm_21.tex.moduleQ3.2S.000011
UNSAT
2.94
Core1108_tbm_09.tex.moduleQ3.2S.000010
UNSAT
2.96
Core1108_tbm_21.tex.moduleQ3.2S.000024
UNSAT
3.22
Core1108_tbm_21.tex.moduleQ3.2S.000015
UNSAT
3.36
Umbrella_tbm_23.tex.moduleQ1.2S.000001
SAT
3.55
Core1108_tbm_21.tex.moduleQ3.2S.000019
UNSAT
3.61
Umbrella_tbm_29.tex.module.000078
SAT
5.28
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
5.31
Core1108_tbm_03.tex.module.000038
UNSAT
5.33
Umbrella_tbm_29.tex.module.000010
SAT
5.91
Umbrella_tbm_24.tex.module.000131
SAT
6.4
Umbrella_tbm_29.tex.module.000009
SAT
6.69
Umbrella_tbm_24.tex.module.000066
SAT
7.19
Umbrella_tbm_24.tex.module.000103
SAT
7.34
Core1108_tbm_09.tex.moduleQ3.2S.000005
UNSAT
9.81
Umbrella_tbm_25.tex.module.000087
UNSAT
10.09
Core1108_tbm_09.tex.moduleQ3.2S.000003
UNSAT
10.95
Core1108_tbm_09.tex.moduleQ3.2S.000007
UNSAT
11.18
Core1108_tbm_28.tex.moduleQ2.2S.000003
SAT
11.63
Umbrella_tbm_25.tex.module.000084
UNSAT
12.05
Umbrella_tbm_29.tex.moduleQ2.2S.000001
SAT
15.25
Umbrella_tbm_24.tex.moduleQ2.1S.000136
SAT
19.31
Umbrella_tbm_24.tex.moduleQ2.1S.000188
SAT
19.7
Core1108_tbm_03.tex.module.000039
UNSAT
20.17
Umbrella_tbm_24.tex.moduleQ2.1S.000022
SAT
25.39
Umbrella_tbm_14.tex.moduleQ2.2S.000003
SAT
33.86
Core1108_tbm_03.tex.module.000065
SAT
65.59
Core1108_tbm_09.tex.module.000010
SAT
66.62
Core1108_tbm_03.tex.module.000034
SAT
67.76
Core1108_tbm_03.tex.module.000037
SAT
68.01
Core1108_tbm_03.tex.module.000092
SAT
68.62
Core1108_tbm_03.tex.module.000058
SAT
70.08
Core1108_tbm_03.tex.module.000031
SAT
70.08
Core1108_tbm_03.tex.module.000056
SAT
71.43
Core1108_tbm_03.tex.module.000064
SAT
72.69
Core1108_tbm_03.tex.module.000090
SAT
75.69
Core1108_tbm_03.tex.module.000057
SAT
77.04
Core1108_tbm_09.tex.module.000008
SAT
86.6
Core1108_tbm_09.tex.module.000009
SAT
87.07
Core1108_tbm_21.tex.module.000030
SAT
92.87
Core1108_tbm_21.tex.module.000009
SAT
95.55
Umbrella_tbm_05.tex.module.000088
SAT
97.14
Core1108_tbm_21.tex.module.000008
SAT
106.01
Umbrella_tbm_26.tex.module.000041
SAT
106.22
Core1108_tbm_21.tex.module.000010
SAT
109.27
Core1108_tbm_03.tex.moduleQ3.2S.000011
SAT
110.28
Umbrella_tbm_26.tex.module.000061
SAT
118.65
Umbrella_tbm_26.tex.module.000021
SAT
126.41
Umbrella_tbm_05.tex.module.000064
SAT
135.88
Umbrella_tbm_05.tex.module.000053
SAT
139.96
Umbrella_tbm_05.tex.module.000011
SAT
146.66
Umbrella_tbm_21.tex.module.000069
SAT
148.34
Umbrella_tbm_21.tex.module.000134
SAT
151.57
Umbrella_tbm_21.tex.module.000129
SAT
159.12
Umbrella_tbm_21.tex.module.000056
SAT
161.7
Umbrella_tbm_05.tex.module.000039
SAT
165.03
Umbrella_tbm_21.tex.module.000079
SAT
165.21
Umbrella_tbm_21.tex.module.000029
SAT
167.36
Core1108_tbm_21.tex.moduleQ3.2S.000007
SAT
167.93
Umbrella_tbm_21.tex.module.000024
SAT
171.09
Umbrella_tbm_21.tex.module.000149
SAT
172.46
Umbrella_tbm_25.tex.module.000106
SAT
174.89
Umbrella_tbm_21.tex.module.000049
SAT
176.51
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
SAT
186.44
Umbrella_tbm_25.tex.module.000121
SAT
196.24
Core1108_tbm_02.tex.moduleQ3.2S.000077
SAT
203.1
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
SAT
204.85
Umbrella_tbm_05.tex.module.000025
SAT
205.5
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
SAT
208.58
Core1108_tbm_21.tex.moduleQ3.2S.000014
SAT
221.78
Umbrella_tbm_25.tex.module.000041
SAT
227.55
Umbrella_tbm_25.tex.module.000031
SAT
232.19
Core1108_tbm_21.tex.moduleQ3.2S.000027
SAT
236.87
Core1108_tbm_02.tex.moduleQ3.2S.000007
SAT
241.97
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
SAT
325.82
Core1108_tbm_09.tex.moduleQ3.9S.000001
SAT
386.22
Core1108_tbm_09.tex.moduleQ3.10S.000001
SAT
420.44
Core1108_tbm_09.tex.moduleQ3.2S.000011
SAT
435.21
Umbrella_tbm_25.tex.moduleQ3.2S.000063
SAT
552.64
Contact
|
Organization
|
Links
|
Citing QBFLIB