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
QBFEVAL'10 - Competitive Track.
Instance
Result
Time
Core1108_tbm_21.tex.module.000091
UNSAT
0.07
Core1108_tbm_21.tex.module.000026
UNSAT
0.1
Core1108_tbm_03.tex.module.000021
UNSAT
0.1
Core1108_tbm_03.tex.module.000023
UNSAT
0.1
Core1108_tbm_21.tex.module.000027
UNSAT
0.1
Core1108_tbm_21.tex.module.000023
UNSAT
0.11
Core1108_tbm_03.tex.module.000048
UNSAT
0.12
Core1108_tbm_21.tex.module.000017
UNSAT
0.13
Core1108_tbm_03.tex.module.000019
UNSAT
0.14
Core1108_tbm_03.tex.module.000003
UNSAT
0.16
Core1108_tbm_09.tex.module.000033
UNSAT
0.21
Core1108_tbm_09.tex.module.000028
UNSAT
0.23
Umbrella_tbm_05.tex.module.000065
UNSAT
0.27
Umbrella_tbm_05.tex.module.000079
UNSAT
0.27
Umbrella_tbm_26.tex.module.000004
UNSAT
0.36
Umbrella_tbm_05.tex.module.000043
UNSAT
0.4
Umbrella_tbm_05.tex.module.000030
UNSAT
0.48
Umbrella_tbm_05.tex.module.000015
UNSAT
0.62
Umbrella_tbm_25.tex.module.000003
UNSAT
1.21
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
1.37
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
3.92
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
4.36
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
UNSAT
5.45
Umbrella_tbm_29.tex.module.000009
SAT
7.56
Core1108_tbm_21.tex.module.000014
UNSAT
7.78
Umbrella_tbm_29.tex.module.000010
SAT
7.82
Umbrella_tbm_29.tex.module.000078
SAT
8.34
Umbrella_tbm_14.tex.moduleQ2.1S.000792
UNSAT
8.59
Umbrella_tbm_14.tex.moduleQ2.1S.000787
UNSAT
8.76
Umbrella_tbm_24.tex.module.000131
SAT
9.53
Umbrella_tbm_14.tex.moduleQ2.1S.000720
UNSAT
12.14
Umbrella_tbm_24.tex.module.000066
SAT
12.79
Umbrella_tbm_24.tex.module.000103
SAT
12.84
Umbrella_tbm_21.tex.module.000044
UNSAT
18.81
Umbrella_tbm_14.tex.moduleQ2.1S.000812
UNSAT
23.29
Umbrella_tbm_14.tex.moduleQ2.2S.000002
UNSAT
24
Core1108_tbm_03.tex.module.000038
UNSAT
25.52
Core1108_tbm_02.tex.moduleQ3.2S.000026
UNSAT
31.35
Core1108_tbm_02.tex.moduleQ3.2S.000056
UNSAT
31.76
Core1108_tbm_02.tex.moduleQ3.2S.000099
UNSAT
32.06
Core1108_tbm_02.tex.moduleQ3.2S.000095
UNSAT
33.24
Umbrella_tbm_14.tex.moduleQ2.1S.000749
UNSAT
34.96
Umbrella_tbm_23.tex.moduleQ1.2S.000001
SAT
35.47
Core1108_tbm_02.tex.moduleQ3.2S.000108
UNSAT
37.31
Core1108_tbm_02.tex.moduleQ3.2S.000015
UNSAT
38.57
Core1108_tbm_02.tex.moduleQ3.2S.000098
UNSAT
39.97
Core1108_tbm_03.tex.module.000039
UNSAT
42.72
Umbrella_tbm_14.tex.moduleQ2.2S.000001
UNSAT
42.94
Umbrella_tbm_14.tex.moduleQ2.1S.000757
UNSAT
46.14
Core1108_tbm_09.tex.moduleQ3.2S.000007
UNSAT
50.8
Core1108_tbm_09.tex.moduleQ3.2S.000003
UNSAT
50.93
Umbrella_tbm_14.tex.moduleQ2.1S.000808
UNSAT
50.98
Core1108_tbm_09.tex.moduleQ3.2S.000010
UNSAT
57.14
Core1108_tbm_09.tex.moduleQ3.2S.000005
UNSAT
58.5
Umbrella_tbm_14.tex.moduleQ2.1S.000773
UNSAT
72.38
Umbrella_tbm_24.tex.moduleQ2.1S.000136
SAT
82.51
Umbrella_tbm_21.tex.module.000139
UNSAT
86.64
Core1108_tbm_28.tex.moduleQ2.2S.000003
SAT
87.48
Umbrella_tbm_24.tex.moduleQ2.1S.000188
SAT
91.1
Umbrella_tbm_25.tex.module.000099
UNSAT
100.32
Umbrella_tbm_24.tex.moduleQ2.1S.000022
SAT
101.95
Umbrella_tbm_25.tex.moduleQ3.2S.000120
UNSAT
116.11
Umbrella_tbm_25.tex.module.000087
UNSAT
129.4
Core1108_tbm_03.tex.moduleQ3.2S.000003
UNSAT
139.96
Umbrella_tbm_29.tex.moduleQ2.2S.000001
SAT
144.04
Umbrella_tbm_25.tex.module.000084
UNSAT
155.49
Core1108_tbm_03.tex.moduleQ3.2S.000009
UNSAT
157.41
Core1108_tbm_03.tex.moduleQ3.2S.000002
UNSAT
184.75
Core1108_tbm_03.tex.moduleQ3.2S.000048
UNSAT
214.05
Core1108_tbm_03.tex.moduleQ3.2S.000018
UNSAT
235.65
Umbrella_tbm_25.tex.moduleQ3.2S.000052
UNSAT
267.39
Umbrella_tbm_26.tex.moduleQ3.2S.000014
UNSAT
338.59
Umbrella_tbm_26.tex.moduleQ3.2S.000020
UNSAT
376.91
Umbrella_tbm_26.tex.moduleQ3.2S.000037
UNSAT
382.64
Core1108_tbm_21.tex.module.000009
SAT
399.03
Core1108_tbm_09.tex.module.000008
SAT
399.81
Umbrella_tbm_14.tex.moduleQ2.2S.000003
SAT
404.77
Umbrella_tbm_26.tex.moduleQ3.2S.000009
UNSAT
410.51
Core1108_tbm_09.tex.module.000010
SAT
417.1
Core1108_tbm_21.tex.module.000008
SAT
426.84
Core1108_tbm_09.tex.module.000009
SAT
435.62
Umbrella_tbm_21.tex.module.000149
SAT
438.8
Core1108_tbm_21.tex.module.000010
SAT
441.94
Umbrella_tbm_26.tex.moduleQ3.2S.000041
UNSAT
448.43
Core1108_tbm_21.tex.module.000030
SAT
452.43
Umbrella_tbm_05.tex.module.000064
SAT
495.02
Umbrella_tbm_05.tex.module.000053
SAT
515.53
Umbrella_tbm_26.tex.module.000041
SAT
519.8
Umbrella_tbm_26.tex.module.000061
SAT
564.11
Umbrella_tbm_05.tex.module.000025
SAT
579.76
Umbrella_tbm_05.tex.module.000088
SAT
609.26
Umbrella_tbm_05.tex.module.000011
SAT
639.43
Umbrella_tbm_05.tex.module.000039
SAT
650.31
Umbrella_tbm_26.tex.module.000021
SAT
664.8
Umbrella_tbm_21.tex.module.000134
SAT
721.53
Umbrella_tbm_21.tex.module.000079
SAT
773.29
Umbrella_tbm_21.tex.module.000029
SAT
791.37
Umbrella_tbm_21.tex.module.000129
SAT
805.02
Umbrella_tbm_21.tex.module.000024
SAT
845.47
Core1108_tbm_21.tex.moduleQ3.2S.000015
UNSAT
873.23
Umbrella_tbm_21.tex.module.000069
SAT
876.79
Umbrella_tbm_21.tex.module.000049
SAT
894.12
Umbrella_tbm_21.tex.module.000056
SAT
895.57
Umbrella_tbm_25.tex.moduleQ3.2S.000075
UNSAT
923.84
Core1108_tbm_03.tex.module.000058
SAT
925.39
Core1108_tbm_03.tex.module.000064
SAT
962.04
Core1108_tbm_03.tex.module.000057
SAT
987.19
Core1108_tbm_21.tex.moduleQ3.2S.000019
UNSAT
998.37
Core1108_tbm_03.tex.module.000031
SAT
1007.67
Umbrella_tbm_25.tex.module.000121
SAT
1008.55
Core1108_tbm_21.tex.moduleQ3.2S.000024
UNSAT
1014.97
Core1108_tbm_21.tex.moduleQ3.2S.000002
UNSAT
1028.56
Core1108_tbm_03.tex.module.000034
SAT
1072.09
Core1108_tbm_03.tex.module.000065
SAT
1088.66
Core1108_tbm_03.tex.module.000056
SAT
1111.19
Core1108_tbm_03.tex.module.000037
SAT
1160.27
Core1108_tbm_03.tex.module.000090
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_25.tex.module.000041
FAIL
1200.02
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
FAIL
1200.02
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
FAIL
1200.02
Umbrella_tbm_25.tex.module.000031
FAIL
1200.02
Core1108_tbm_03.tex.module.000092
FAIL
1200.02
Umbrella_tbm_25.tex.module.000106
FAIL
1200.02
Core1108_tbm_03.tex.moduleQ3.2S.000011
FAIL
1200.02
Core1108_tbm_09.tex.moduleQ3.10S.000001
FAIL
1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000011
FAIL
1200.03
Core1108_tbm_09.tex.moduleQ3.2S.000011
FAIL
1200.03
Core1108_tbm_02.tex.moduleQ3.2S.000077
FAIL
1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000027
FAIL
1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000007
FAIL
1200.03
Core1108_tbm_02.tex.moduleQ3.2S.000007
FAIL
1200.04
Core1108_tbm_09.tex.moduleQ3.9S.000001
FAIL
1200.04
Core1108_tbm_21.tex.moduleQ3.2S.000014
FAIL
1200.05
Umbrella_tbm_25.tex.moduleQ3.2S.000063
FAIL
1200.05
Contact
|
Organization
|
Links
|
Citing QBFLIB