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
QuBE7-m
QBFEVAL'10 - Competitive Track.
Instance
Result
Time
Core1108_tbm_21.tex.module.000091
UNSAT
0.08
Core1108_tbm_21.tex.module.000027
UNSAT
0.1
Core1108_tbm_21.tex.module.000023
UNSAT
0.1
Core1108_tbm_03.tex.module.000021
UNSAT
0.11
Core1108_tbm_21.tex.module.000026
UNSAT
0.12
Core1108_tbm_03.tex.module.000023
UNSAT
0.12
Core1108_tbm_03.tex.module.000048
UNSAT
0.14
Core1108_tbm_21.tex.module.000017
UNSAT
0.16
Core1108_tbm_03.tex.module.000019
UNSAT
0.18
Core1108_tbm_03.tex.module.000003
UNSAT
0.19
Core1108_tbm_09.tex.module.000028
UNSAT
0.24
Core1108_tbm_09.tex.module.000033
UNSAT
0.26
Umbrella_tbm_05.tex.module.000065
UNSAT
0.3
Umbrella_tbm_05.tex.module.000079
UNSAT
0.31
Umbrella_tbm_05.tex.module.000043
UNSAT
0.4
Umbrella_tbm_26.tex.module.000004
UNSAT
0.46
Umbrella_tbm_05.tex.module.000030
UNSAT
0.53
Umbrella_tbm_05.tex.module.000015
UNSAT
0.67
Umbrella_tbm_25.tex.module.000003
UNSAT
1.31
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
2.73
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
4.65
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
4.81
Umbrella_tbm_23.tex.moduleQ1.2S.000001
SAT
8.11
Umbrella_tbm_14.tex.moduleQ2.1S.000787
UNSAT
14.26
Umbrella_tbm_14.tex.moduleQ2.1S.000749
UNSAT
18.04
Umbrella_tbm_14.tex.moduleQ2.1S.000808
UNSAT
19.09
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
UNSAT
19.19
Umbrella_tbm_29.tex.module.000078
SAT
19.88
Umbrella_tbm_14.tex.moduleQ2.2S.000001
UNSAT
20.09
Umbrella_tbm_29.tex.module.000010
SAT
20.38
Umbrella_tbm_14.tex.moduleQ2.1S.000792
UNSAT
20.49
Umbrella_tbm_14.tex.moduleQ2.1S.000812
UNSAT
21.78
Umbrella_tbm_29.tex.module.000009
SAT
22.15
Umbrella_tbm_14.tex.moduleQ2.1S.000757
UNSAT
22.63
Umbrella_tbm_14.tex.moduleQ2.1S.000773
UNSAT
23.78
Umbrella_tbm_14.tex.moduleQ2.1S.000720
UNSAT
26.4
Umbrella_tbm_24.tex.module.000131
SAT
29.13
Umbrella_tbm_24.tex.module.000066
SAT
29.43
Umbrella_tbm_24.tex.module.000103
SAT
30.18
Umbrella_tbm_29.tex.moduleQ2.2S.000001
SAT
33.97
Umbrella_tbm_14.tex.moduleQ2.2S.000002
UNSAT
37.51
Core1108_tbm_21.tex.module.000014
UNSAT
51.42
Umbrella_tbm_24.tex.moduleQ2.1S.000188
SAT
56.54
Umbrella_tbm_24.tex.moduleQ2.1S.000136
SAT
58.02
Umbrella_tbm_14.tex.moduleQ2.2S.000003
SAT
60.87
Umbrella_tbm_24.tex.moduleQ2.1S.000022
SAT
61.45
Core1108_tbm_03.tex.module.000038
UNSAT
73.86
Core1108_tbm_09.tex.moduleQ3.2S.000007
UNSAT
84.11
Core1108_tbm_09.tex.moduleQ3.2S.000010
UNSAT
88.45
Core1108_tbm_09.tex.moduleQ3.2S.000005
UNSAT
103.45
Core1108_tbm_28.tex.moduleQ2.2S.000003
SAT
115.31
Core1108_tbm_09.tex.moduleQ3.2S.000003
UNSAT
120.16
Umbrella_tbm_25.tex.module.000099
UNSAT
129.26
Core1108_tbm_02.tex.moduleQ3.2S.000108
UNSAT
131.75
Umbrella_tbm_26.tex.moduleQ3.2S.000009
UNSAT
167.72
Umbrella_tbm_25.tex.module.000087
UNSAT
170.32
Umbrella_tbm_21.tex.module.000139
UNSAT
171.52
Core1108_tbm_02.tex.moduleQ3.2S.000095
UNSAT
187.88
Umbrella_tbm_25.tex.module.000084
UNSAT
189.57
Core1108_tbm_02.tex.moduleQ3.2S.000099
UNSAT
192.53
Umbrella_tbm_26.tex.moduleQ3.2S.000020
UNSAT
197.18
Umbrella_tbm_26.tex.moduleQ3.2S.000041
UNSAT
199.88
Core1108_tbm_02.tex.moduleQ3.2S.000026
UNSAT
208.86
Umbrella_tbm_26.tex.moduleQ3.2S.000037
UNSAT
212.67
Umbrella_tbm_21.tex.module.000044
UNSAT
232.93
Core1108_tbm_02.tex.moduleQ3.2S.000098
UNSAT
236.68
Umbrella_tbm_25.tex.moduleQ3.2S.000052
UNSAT
240.03
Umbrella_tbm_26.tex.moduleQ3.2S.000014
UNSAT
243.7
Core1108_tbm_21.tex.moduleQ3.2S.000015
UNSAT
243.95
Core1108_tbm_02.tex.moduleQ3.2S.000015
UNSAT
253.62
Core1108_tbm_21.tex.moduleQ3.2S.000002
UNSAT
254.52
Core1108_tbm_02.tex.moduleQ3.2S.000056
UNSAT
259.02
Core1108_tbm_21.tex.moduleQ3.2S.000019
UNSAT
279.76
Umbrella_tbm_25.tex.moduleQ3.2S.000120
UNSAT
283.43
Umbrella_tbm_25.tex.moduleQ3.2S.000075
UNSAT
373.69
Core1108_tbm_03.tex.module.000039
UNSAT
513
Core1108_tbm_21.tex.moduleQ3.2S.000024
UNSAT
626.62
Core1108_tbm_21.tex.moduleQ3.2S.000011
UNSAT
640.4
Core1108_tbm_03.tex.module.000058
SAT
750.82
Core1108_tbm_03.tex.module.000056
SAT
750.94
Core1108_tbm_03.tex.module.000065
SAT
752.5
Core1108_tbm_03.tex.module.000057
SAT
779.38
Core1108_tbm_03.tex.module.000034
SAT
790.9
Core1108_tbm_03.tex.module.000037
SAT
793.79
Core1108_tbm_03.tex.module.000090
SAT
813.21
Core1108_tbm_03.tex.module.000064
SAT
830.52
Core1108_tbm_03.tex.module.000092
SAT
841.28
Core1108_tbm_03.tex.module.000031
SAT
883.4
Core1108_tbm_03.tex.moduleQ3.2S.000002
UNSAT
936.13
Core1108_tbm_03.tex.moduleQ3.2S.000048
UNSAT
941.61
Core1108_tbm_03.tex.moduleQ3.2S.000009
UNSAT
947.5
Core1108_tbm_03.tex.moduleQ3.2S.000003
UNSAT
991.43
Umbrella_tbm_26.tex.module.000061
SAT
1107.25
Umbrella_tbm_26.tex.module.000041
SAT
1108.34
Core1108_tbm_03.tex.moduleQ3.2S.000018
UNSAT
1114.69
Umbrella_tbm_26.tex.module.000021
SAT
1131.95
Umbrella_tbm_21.tex.module.000134
FAIL
1200.01
Umbrella_tbm_25.tex.module.000121
FAIL
1200.01
Core1108_tbm_21.tex.module.000010
FAIL
1200.01
Umbrella_tbm_25.tex.module.000041
FAIL
1200.02
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
FAIL
1200.02
Umbrella_tbm_05.tex.module.000088
FAIL
1200.02
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
FAIL
1200.02
Umbrella_tbm_21.tex.module.000079
FAIL
1200.02
Core1108_tbm_02.tex.moduleQ3.2S.000077
FAIL
1200.02
Umbrella_tbm_05.tex.module.000039
FAIL
1200.02
Umbrella_tbm_05.tex.module.000025
FAIL
1200.02
Umbrella_tbm_21.tex.module.000024
FAIL
1200.02
Umbrella_tbm_21.tex.module.000056
FAIL
1200.02
Core1108_tbm_21.tex.moduleQ3.2S.000027
FAIL
1200.02
Core1108_tbm_09.tex.module.000009
FAIL
1200.02
Umbrella_tbm_25.tex.module.000031
FAIL
1200.02
Umbrella_tbm_25.tex.module.000106
FAIL
1200.02
Core1108_tbm_21.tex.module.000009
FAIL
1200.02
Core1108_tbm_03.tex.moduleQ3.2S.000011
FAIL
1200.02
Core1108_tbm_21.tex.module.000008
FAIL
1200.02
Core1108_tbm_09.tex.module.000010
FAIL
1200.02
Core1108_tbm_09.tex.module.000008
FAIL
1200.02
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
FAIL
1200.02
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
FAIL
1200.02
Umbrella_tbm_21.tex.module.000149
FAIL
1200.02
Core1108_tbm_21.tex.module.000030
FAIL
1200.02
Umbrella_tbm_21.tex.module.000029
FAIL
1200.02
Umbrella_tbm_05.tex.module.000064
FAIL
1200.03
Umbrella_tbm_25.tex.moduleQ3.2S.000063
FAIL
1200.03
Umbrella_tbm_21.tex.module.000129
FAIL
1200.03
Core1108_tbm_02.tex.moduleQ3.2S.000007
FAIL
1200.03
Umbrella_tbm_21.tex.module.000049
FAIL
1200.03
Umbrella_tbm_05.tex.module.000053
FAIL
1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000007
FAIL
1200.03
Core1108_tbm_09.tex.moduleQ3.9S.000001
FAIL
1200.03
Core1108_tbm_09.tex.moduleQ3.10S.000001
FAIL
1200.03
Umbrella_tbm_05.tex.module.000011
FAIL
1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000014
FAIL
1200.03
Core1108_tbm_09.tex.moduleQ3.2S.000011
FAIL
1200.04
Umbrella_tbm_21.tex.module.000069
FAIL
1200.06
Contact
|
Organization
|
Links
|
Citing QBFLIB