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
aqme-10
QBFEVAL'10 - Competitive Track.
Instance
Result
Time
Core1108_tbm_21.tex.module.000091
UNSAT
1.26
Core1108_tbm_21.tex.module.000026
UNSAT
1.3
Core1108_tbm_03.tex.module.000019
UNSAT
1.31
Core1108_tbm_03.tex.module.000023
UNSAT
1.32
Core1108_tbm_21.tex.module.000027
UNSAT
1.34
Core1108_tbm_03.tex.module.000048
UNSAT
1.36
Core1108_tbm_21.tex.module.000023
UNSAT
1.38
Core1108_tbm_21.tex.module.000017
UNSAT
1.44
Core1108_tbm_03.tex.module.000003
UNSAT
1.59
Core1108_tbm_09.tex.module.000033
UNSAT
1.6
Umbrella_tbm_05.tex.module.000065
UNSAT
1.6
Core1108_tbm_09.tex.module.000028
UNSAT
1.7
Umbrella_tbm_05.tex.module.000043
UNSAT
1.89
Umbrella_tbm_05.tex.module.000015
UNSAT
2.87
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
3.84
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
4.08
Umbrella_tbm_29.tex.module.000009
SAT
5.47
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
UNSAT
6.21
Core1108_tbm_21.tex.module.000014
UNSAT
9.05
Umbrella_tbm_24.tex.module.000066
SAT
13.14
Umbrella_tbm_29.tex.module.000078
SAT
14.35
Umbrella_tbm_24.tex.module.000131
SAT
15.69
Umbrella_tbm_29.tex.module.000010
SAT
15.93
Umbrella_tbm_24.tex.module.000103
SAT
19.37
Umbrella_tbm_21.tex.module.000044
UNSAT
19.42
Core1108_tbm_03.tex.module.000038
UNSAT
25.29
Umbrella_tbm_14.tex.moduleQ2.1S.000787
UNSAT
27.97
Core1108_tbm_02.tex.moduleQ3.2S.000098
UNSAT
28.95
Umbrella_tbm_23.tex.moduleQ1.2S.000001
SAT
30.75
Umbrella_tbm_26.tex.moduleQ3.2S.000014
UNSAT
32.93
Core1108_tbm_02.tex.moduleQ3.2S.000095
UNSAT
33.48
Core1108_tbm_02.tex.moduleQ3.2S.000015
UNSAT
35.01
Core1108_tbm_02.tex.moduleQ3.2S.000056
UNSAT
35.23
Core1108_tbm_03.tex.module.000039
UNSAT
37.1
Core1108_tbm_02.tex.moduleQ3.2S.000099
UNSAT
47.5
Core1108_tbm_02.tex.moduleQ3.2S.000026
UNSAT
47.79
Core1108_tbm_03.tex.moduleQ3.2S.000002
UNSAT
49.02
Core1108_tbm_03.tex.moduleQ3.2S.000009
UNSAT
52.11
Core1108_tbm_03.tex.moduleQ3.2S.000003
UNSAT
52.71
Umbrella_tbm_26.tex.moduleQ3.2S.000037
UNSAT
52.83
Core1108_tbm_03.tex.moduleQ3.2S.000048
UNSAT
53.21
Core1108_tbm_03.tex.moduleQ3.2S.000018
UNSAT
53.22
Umbrella_tbm_26.tex.moduleQ3.2S.000020
UNSAT
55.36
Umbrella_tbm_26.tex.moduleQ3.2S.000009
UNSAT
58.19
Core1108_tbm_09.tex.moduleQ3.2S.000007
UNSAT
62.49
Core1108_tbm_09.tex.moduleQ3.2S.000003
UNSAT
69.85
Core1108_tbm_09.tex.moduleQ3.2S.000010
UNSAT
77.77
Core1108_tbm_21.tex.moduleQ3.2S.000019
UNSAT
90.22
Umbrella_tbm_25.tex.module.000084
UNSAT
90.78
Umbrella_tbm_14.tex.moduleQ2.1S.000792
UNSAT
92.64
Umbrella_tbm_25.tex.module.000099
UNSAT
92.87
Umbrella_tbm_25.tex.module.000087
UNSAT
96.05
Umbrella_tbm_14.tex.moduleQ2.2S.000002
UNSAT
98.74
Umbrella_tbm_14.tex.moduleQ2.1S.000757
UNSAT
99.53
Umbrella_tbm_14.tex.moduleQ2.1S.000773
UNSAT
100.45
Umbrella_tbm_14.tex.moduleQ2.1S.000720
UNSAT
102.35
Umbrella_tbm_14.tex.moduleQ2.2S.000001
UNSAT
106.3
Core1108_tbm_21.tex.moduleQ3.2S.000024
UNSAT
119.92
Core1108_tbm_21.tex.moduleQ3.2S.000002
UNSAT
119.96
Core1108_tbm_03.tex.module.000021
UNSAT
122.24
Umbrella_tbm_05.tex.module.000079
UNSAT
122.55
Umbrella_tbm_26.tex.module.000004
UNSAT
122.65
Umbrella_tbm_05.tex.module.000030
UNSAT
122.88
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
123.56
Umbrella_tbm_25.tex.module.000003
UNSAT
124.2
Umbrella_tbm_21.tex.module.000139
UNSAT
139.15
Core1108_tbm_21.tex.moduleQ3.2S.000015
UNSAT
152.21
Core1108_tbm_02.tex.moduleQ3.2S.000108
UNSAT
167.65
Umbrella_tbm_14.tex.moduleQ2.1S.000808
UNSAT
170.91
Umbrella_tbm_21.tex.module.000079
SAT
180.72
Core1108_tbm_09.tex.moduleQ3.2S.000005
UNSAT
202.35
Umbrella_tbm_14.tex.moduleQ2.1S.000812
UNSAT
220.95
Core1108_tbm_03.tex.module.000031
SAT
223.11
Umbrella_tbm_14.tex.moduleQ2.1S.000749
UNSAT
227.8
Core1108_tbm_09.tex.module.000009
SAT
236.02
Umbrella_tbm_26.tex.moduleQ3.2S.000041
UNSAT
375.9
Core1108_tbm_03.tex.module.000092
SAT
690.4
Core1108_tbm_03.tex.module.000090
SAT
702.51
Core1108_tbm_09.tex.module.000010
SAT
715.23
Core1108_tbm_09.tex.module.000008
SAT
716.21
Umbrella_tbm_24.tex.moduleQ2.1S.000022
SAT
739.25
Umbrella_tbm_24.tex.moduleQ2.1S.000188
SAT
766.41
Umbrella_tbm_24.tex.moduleQ2.1S.000136
SAT
775.02
Core1108_tbm_28.tex.moduleQ2.2S.000003
SAT
786.95
Umbrella_tbm_25.tex.moduleQ3.2S.000052
UNSAT
829.86
Core1108_tbm_21.tex.moduleQ3.2S.000011
UNSAT
937.43
Umbrella_tbm_21.tex.module.000129
SAT
965.41
Umbrella_tbm_21.tex.module.000049
SAT
1048.83
Umbrella_tbm_05.tex.module.000053
SAT
1057.66
Core1108_tbm_03.tex.module.000057
FAIL
1106.01
Core1108_tbm_03.tex.module.000064
FAIL
1135.24
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
FAIL
1142.05
Umbrella_tbm_26.tex.module.000021
FAIL
1142.09
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
FAIL
1142.1
Umbrella_tbm_05.tex.module.000025
FAIL
1143.1
Umbrella_tbm_25.tex.module.000031
FAIL
1143.23
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
FAIL
1143.28
Umbrella_tbm_21.tex.module.000024
FAIL
1143.32
Umbrella_tbm_25.tex.moduleQ3.2S.000063
FAIL
1143.54
Umbrella_tbm_25.tex.moduleQ3.2S.000075
FAIL
1143.59
Umbrella_tbm_29.tex.moduleQ2.2S.000001
FAIL
1146.28
Core1108_tbm_21.tex.module.000009
FAIL
1155.72
Umbrella_tbm_14.tex.moduleQ2.2S.000003
FAIL
1155.97
Core1108_tbm_21.tex.module.000008
FAIL
1162.47
Core1108_tbm_21.tex.moduleQ3.2S.000014
FAIL
1163.5
Core1108_tbm_21.tex.moduleQ3.2S.000007
FAIL
1165.25
Umbrella_tbm_25.tex.module.000041
FAIL
1166.15
Core1108_tbm_21.tex.module.000010
FAIL
1166.18
Core1108_tbm_03.tex.module.000037
FAIL
1172.82
Umbrella_tbm_25.tex.moduleQ3.2S.000120
UNSAT
1173.84
Core1108_tbm_21.tex.module.000030
FAIL
1180.67
Core1108_tbm_02.tex.moduleQ3.2S.000077
FAIL
1186.15
Core1108_tbm_02.tex.moduleQ3.2S.000007
FAIL
1187.09
Core1108_tbm_21.tex.moduleQ3.2S.000027
FAIL
1187.85
Core1108_tbm_09.tex.moduleQ3.9S.000001
FAIL
1197.38
Core1108_tbm_09.tex.moduleQ3.2S.000011
FAIL
1199.53
Umbrella_tbm_21.tex.module.000056
FAIL
1200
Umbrella_tbm_05.tex.module.000039
FAIL
1200
Umbrella_tbm_25.tex.module.000106
FAIL
1200
Umbrella_tbm_26.tex.module.000061
FAIL
1200
Core1108_tbm_03.tex.moduleQ3.2S.000011
FAIL
1200
Umbrella_tbm_21.tex.module.000069
FAIL
1200
Umbrella_tbm_05.tex.module.000011
FAIL
1200
Umbrella_tbm_26.tex.module.000041
FAIL
1200
Core1108_tbm_03.tex.module.000058
FAIL
1200
Core1108_tbm_03.tex.module.000065
FAIL
1200
Core1108_tbm_03.tex.module.000034
FAIL
1200
Umbrella_tbm_21.tex.module.000149
FAIL
1200
Umbrella_tbm_21.tex.module.000029
FAIL
1200
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
FAIL
1200
Umbrella_tbm_05.tex.module.000064
FAIL
1200
Umbrella_tbm_05.tex.module.000088
FAIL
1200
Umbrella_tbm_21.tex.module.000134
FAIL
1200
Core1108_tbm_03.tex.module.000056
FAIL
1200
Umbrella_tbm_25.tex.module.000121
FAIL
1200
Core1108_tbm_09.tex.moduleQ3.10S.000001
FAIL
1200.61
Contact
|
Organization
|
Links
|
Citing QBFLIB