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
quantor-3.1
QBFEVAL'10 - Competitive Track.
Instance
Result
Time
Umbrella_tbm_05.tex.module.000053
FAIL
43.27
Umbrella_tbm_05.tex.module.000088
FAIL
45.67
Umbrella_tbm_21.tex.module.000134
FAIL
45.98
Umbrella_tbm_21.tex.module.000129
FAIL
46.04
Umbrella_tbm_05.tex.module.000030
FAIL
46.53
Umbrella_tbm_05.tex.module.000079
FAIL
46.54
Umbrella_tbm_21.tex.module.000049
FAIL
46.84
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
FAIL
47.14
Core1108_tbm_03.tex.module.000092
FAIL
47.82
Core1108_tbm_03.tex.module.000090
FAIL
48.08
Umbrella_tbm_21.tex.module.000139
FAIL
48.22
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
FAIL
48.76
Umbrella_tbm_25.tex.module.000121
FAIL
49.67
Umbrella_tbm_05.tex.module.000015
FAIL
52.43
Umbrella_tbm_21.tex.module.000149
FAIL
53.28
Umbrella_tbm_05.tex.module.000011
FAIL
53.63
Core1108_tbm_21.tex.moduleQ3.2S.000015
FAIL
55.59
Umbrella_tbm_05.tex.module.000064
FAIL
56.52
Core1108_tbm_09.tex.moduleQ3.2S.000003
FAIL
62.02
Umbrella_tbm_21.tex.module.000024
FAIL
63.96
Core1108_tbm_09.tex.moduleQ3.2S.000010
FAIL
64.94
Umbrella_tbm_24.tex.module.000103
FAIL
65.64
Umbrella_tbm_29.tex.moduleQ2.2S.000001
FAIL
66.06
Umbrella_tbm_26.tex.moduleQ3.2S.000037
FAIL
66.12
Core1108_tbm_03.tex.module.000023
FAIL
67.18
Core1108_tbm_03.tex.module.000038
FAIL
67.92
Umbrella_tbm_14.tex.moduleQ2.2S.000002
FAIL
68.29
Core1108_tbm_02.tex.moduleQ3.2S.000015
FAIL
69.94
Umbrella_tbm_24.tex.module.000131
FAIL
70.69
Umbrella_tbm_24.tex.module.000066
FAIL
72.64
Umbrella_tbm_14.tex.moduleQ2.1S.000749
FAIL
73.16
Core1108_tbm_02.tex.moduleQ3.2S.000095
FAIL
74.47
Umbrella_tbm_14.tex.moduleQ2.1S.000808
FAIL
77.42
Core1108_tbm_21.tex.module.000009
FAIL
77.52
Core1108_tbm_21.tex.module.000026
FAIL
78.01
Umbrella_tbm_14.tex.moduleQ2.2S.000003
FAIL
78.27
Umbrella_tbm_25.tex.module.000084
FAIL
82.69
Umbrella_tbm_25.tex.module.000041
FAIL
84.9
Core1108_tbm_03.tex.moduleQ3.2S.000048
FAIL
85.75
Core1108_tbm_21.tex.module.000008
FAIL
86.4
Core1108_tbm_03.tex.moduleQ3.2S.000009
FAIL
87.15
Umbrella_tbm_14.tex.moduleQ2.1S.000757
FAIL
88.22
Core1108_tbm_21.tex.module.000010
FAIL
88.44
Umbrella_tbm_14.tex.moduleQ2.1S.000812
FAIL
89.1
Core1108_tbm_21.tex.moduleQ3.2S.000014
FAIL
89.42
Core1108_tbm_02.tex.moduleQ3.2S.000056
FAIL
91.31
Core1108_tbm_21.tex.moduleQ3.2S.000002
FAIL
91.81
Core1108_tbm_09.tex.module.000028
FAIL
92
Core1108_tbm_21.tex.moduleQ3.2S.000007
FAIL
93.3
Core1108_tbm_03.tex.module.000037
FAIL
95.78
Core1108_tbm_21.tex.moduleQ3.2S.000011
FAIL
97.89
Core1108_tbm_21.tex.module.000014
FAIL
100.94
Umbrella_tbm_24.tex.moduleQ2.1S.000022
FAIL
102.61
Core1108_tbm_21.tex.module.000030
FAIL
103.55
Umbrella_tbm_24.tex.moduleQ2.1S.000188
FAIL
104.17
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
FAIL
104.63
Core1108_tbm_02.tex.moduleQ3.2S.000077
FAIL
105.95
Core1108_tbm_02.tex.moduleQ3.2S.000007
FAIL
106.28
Umbrella_tbm_21.tex.module.000079
FAIL
107.46
Umbrella_tbm_21.tex.module.000069
FAIL
108.82
Core1108_tbm_03.tex.module.000039
FAIL
109.73
Core1108_tbm_02.tex.moduleQ3.2S.000098
FAIL
110.3
Core1108_tbm_03.tex.module.000019
FAIL
110.83
Umbrella_tbm_14.tex.moduleQ2.2S.000001
FAIL
111.79
Core1108_tbm_21.tex.moduleQ3.2S.000027
FAIL
113.72
Umbrella_tbm_14.tex.moduleQ2.1S.000773
FAIL
113.82
Umbrella_tbm_24.tex.moduleQ2.1S.000136
FAIL
116.26
Core1108_tbm_02.tex.moduleQ3.2S.000026
FAIL
117.17
Umbrella_tbm_21.tex.module.000044
FAIL
119.44
Core1108_tbm_09.tex.moduleQ3.2S.000011
FAIL
119.61
Core1108_tbm_09.tex.moduleQ3.9S.000001
FAIL
120.95
Core1108_tbm_03.tex.moduleQ3.2S.000002
FAIL
121.25
Core1108_tbm_09.tex.moduleQ3.10S.000001
FAIL
121.49
Core1108_tbm_09.tex.module.000010
FAIL
121.82
Core1108_tbm_09.tex.module.000009
FAIL
122.65
Core1108_tbm_09.tex.module.000008
FAIL
123.01
Core1108_tbm_03.tex.module.000021
FAIL
125.12
Core1108_tbm_21.tex.module.000091
FAIL
125.98
Core1108_tbm_21.tex.module.000023
FAIL
126.88
Umbrella_tbm_29.tex.module.000078
FAIL
127.86
Core1108_tbm_21.tex.moduleQ3.2S.000019
FAIL
128.24
Umbrella_tbm_26.tex.module.000004
FAIL
128.95
Umbrella_tbm_26.tex.module.000061
FAIL
129.84
Umbrella_tbm_05.tex.module.000043
FAIL
131.88
Umbrella_tbm_05.tex.module.000039
FAIL
133.5
Umbrella_tbm_05.tex.module.000025
FAIL
133.55
Core1108_tbm_03.tex.module.000057
FAIL
134.3
Core1108_tbm_09.tex.moduleQ3.2S.000005
FAIL
134.84
Core1108_tbm_21.tex.moduleQ3.2S.000024
FAIL
144.99
Core1108_tbm_03.tex.module.000034
FAIL
146.05
Core1108_tbm_21.tex.module.000027
FAIL
147.83
Core1108_tbm_02.tex.moduleQ3.2S.000108
FAIL
152.92
Core1108_tbm_02.tex.moduleQ3.2S.000099
FAIL
155.99
Umbrella_tbm_14.tex.moduleQ2.1S.000720
FAIL
156.59
Umbrella_tbm_26.tex.module.000021
FAIL
158.69
Umbrella_tbm_26.tex.module.000041
FAIL
159.58
Core1108_tbm_03.tex.module.000003
FAIL
164.59
Umbrella_tbm_21.tex.module.000029
FAIL
170
Core1108_tbm_21.tex.module.000017
FAIL
173.17
Umbrella_tbm_25.tex.moduleQ3.2S.000052
FAIL
173.34
Umbrella_tbm_26.tex.moduleQ3.2S.000041
FAIL
179.01
Umbrella_tbm_26.tex.moduleQ3.2S.000014
FAIL
181.53
Core1108_tbm_03.tex.moduleQ3.2S.000003
FAIL
181.85
Umbrella_tbm_25.tex.module.000099
FAIL
195.66
Umbrella_tbm_26.tex.moduleQ3.2S.000009
FAIL
197.21
Umbrella_tbm_26.tex.moduleQ3.2S.000020
FAIL
202.2
Core1108_tbm_03.tex.module.000048
FAIL
224.01
Core1108_tbm_03.tex.module.000056
FAIL
225.49
Core1108_tbm_03.tex.module.000065
FAIL
227.49
Core1108_tbm_03.tex.module.000058
FAIL
229.59
Umbrella_tbm_21.tex.module.000056
FAIL
229.63
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
FAIL
235.95
Core1108_tbm_03.tex.module.000031
FAIL
237.48
Core1108_tbm_28.tex.moduleQ2.2S.000003
FAIL
240.18
Core1108_tbm_03.tex.module.000064
FAIL
244.48
Core1108_tbm_03.tex.moduleQ3.2S.000018
FAIL
247.3
Core1108_tbm_09.tex.module.000033
FAIL
248.31
Umbrella_tbm_25.tex.module.000087
FAIL
256.46
Core1108_tbm_03.tex.moduleQ3.2S.000011
FAIL
275.89
Umbrella_tbm_25.tex.module.000003
FAIL
277.93
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
FAIL
286.38
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
FAIL
288.33
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
FAIL
294.59
Umbrella_tbm_25.tex.moduleQ3.2S.000120
FAIL
296.07
Umbrella_tbm_14.tex.moduleQ2.1S.000792
FAIL
307.12
Umbrella_tbm_29.tex.module.000010
FAIL
314.2
Core1108_tbm_09.tex.moduleQ3.2S.000007
FAIL
324.42
Umbrella_tbm_05.tex.module.000065
FAIL
349.51
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
FAIL
360.21
Umbrella_tbm_29.tex.module.000009
FAIL
363.43
Umbrella_tbm_25.tex.moduleQ3.2S.000075
FAIL
371.35
Umbrella_tbm_23.tex.moduleQ1.2S.000001
SAT
429.16
Umbrella_tbm_14.tex.moduleQ2.1S.000787
FAIL
443.06
Umbrella_tbm_25.tex.moduleQ3.2S.000063
FAIL
497.22
Umbrella_tbm_25.tex.module.000031
FAIL
556.19
Umbrella_tbm_25.tex.module.000106
FAIL
628.87
Contact
|
Organization
|
Links
|
Citing QBFLIB