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
Sota solver results for family mqm
QBFEVAL'10 - Non-prenex Non-CNF Track.
Instance
Solver
Result
Time
Core1108_tbm_02.tex.moduleQ3.2S.000015
CirQit2.1
UNSAT
0.58
Core1108_tbm_02.tex.moduleQ3.2S.000026
CirQit2.1
UNSAT
0.55
Core1108_tbm_02.tex.moduleQ3.2S.000056
CirQit2.1
UNSAT
0.58
Core1108_tbm_02.tex.moduleQ3.2S.000095
CirQit2.1
UNSAT
0.58
Core1108_tbm_02.tex.moduleQ3.2S.000098
CirQit2.1
UNSAT
0.57
Core1108_tbm_02.tex.moduleQ3.2S.000099
CirQit2.1
UNSAT
0.59
Core1108_tbm_02.tex.moduleQ3.2S.000108
CirQit2.1
UNSAT
0.58
Core1108_tbm_03.tex.module.000003
qpro
UNSAT
2.68
Core1108_tbm_03.tex.module.000019
qpro
UNSAT
0.01
Core1108_tbm_03.tex.module.000021
qpro
UNSAT
0.01
Core1108_tbm_03.tex.module.000023
qpro
UNSAT
0.01
Core1108_tbm_03.tex.module.000031
qpro
SAT
25.35
Core1108_tbm_03.tex.module.000034
qpro
SAT
26.67
Core1108_tbm_03.tex.module.000037
qpro
SAT
26.67
Core1108_tbm_03.tex.module.000038
CirQit2.1
UNSAT
0.05
Core1108_tbm_03.tex.module.000039
qpro
UNSAT
0.02
Core1108_tbm_03.tex.module.000048
CirQit2.1
UNSAT
0.05
Core1108_tbm_03.tex.module.000056
qpro
SAT
24.91
Core1108_tbm_03.tex.module.000057
qpro
SAT
26.88
Core1108_tbm_03.tex.module.000058
qpro
SAT
25.17
Core1108_tbm_03.tex.module.000064
qpro
SAT
26.13
Core1108_tbm_03.tex.module.000065
qpro
SAT
26.41
Core1108_tbm_03.tex.module.000090
qpro
SAT
25.37
Core1108_tbm_03.tex.module.000092
qpro
SAT
24.83
Core1108_tbm_03.tex.moduleQ3.2S.000002
CirQit2.1
UNSAT
275.99
Core1108_tbm_03.tex.moduleQ3.2S.000003
CirQit2.1
UNSAT
275.98
Core1108_tbm_03.tex.moduleQ3.2S.000009
CirQit2.1
UNSAT
282.45
Core1108_tbm_03.tex.moduleQ3.2S.000018
CirQit2.1
UNSAT
276.71
Core1108_tbm_03.tex.moduleQ3.2S.000048
CirQit2.1
UNSAT
276.67
Core1108_tbm_09.tex.module.000008
qpro
SAT
29.15
Core1108_tbm_09.tex.module.000009
qpro
SAT
26.04
Core1108_tbm_09.tex.module.000010
qpro
SAT
27.49
Core1108_tbm_09.tex.module.000028
qpro
UNSAT
0.04
Core1108_tbm_09.tex.module.000033
qpro
UNSAT
0.01
Core1108_tbm_09.tex.moduleQ3.2S.000003
CirQit2.1
UNSAT
955.14
Core1108_tbm_09.tex.moduleQ3.2S.000005
CirQit2.1
UNSAT
867.8
Core1108_tbm_09.tex.moduleQ3.2S.000007
CirQit2.1
UNSAT
864.73
Core1108_tbm_09.tex.moduleQ3.2S.000010
CirQit2.1
UNSAT
11.5
Core1108_tbm_21.tex.module.000008
qpro
SAT
51.53
Core1108_tbm_21.tex.module.000009
qpro
SAT
48.82
Core1108_tbm_21.tex.module.000010
qpro
SAT
49.03
Core1108_tbm_21.tex.module.000014
qpro
UNSAT
0.02
Core1108_tbm_21.tex.module.000017
qpro
UNSAT
0
Core1108_tbm_21.tex.module.000023
qpro
UNSAT
0.02
Core1108_tbm_21.tex.module.000026
qpro
UNSAT
0.01
Core1108_tbm_21.tex.module.000027
qpro
UNSAT
0.02
Core1108_tbm_21.tex.module.000030
qpro
SAT
54.19
Core1108_tbm_21.tex.module.000091
qpro
UNSAT
0.01
Core1108_tbm_21.tex.moduleQ3.2S.000002
CirQit2.1
UNSAT
801.28
Core1108_tbm_21.tex.moduleQ3.2S.000007
qpro
SAT
896.71
Core1108_tbm_21.tex.moduleQ3.2S.000011
CirQit2.1
UNSAT
822.42
Core1108_tbm_21.tex.moduleQ3.2S.000014
qpro
SAT
885.8
Core1108_tbm_21.tex.moduleQ3.2S.000015
CirQit2.1
UNSAT
791.67
Core1108_tbm_21.tex.moduleQ3.2S.000019
CirQit2.1
UNSAT
798.28
Core1108_tbm_21.tex.moduleQ3.2S.000024
CirQit2.1
UNSAT
802.75
Core1108_tbm_21.tex.moduleQ3.2S.000027
qpro
SAT
899.08
Core1108_tbm_28.tex.moduleQ2.2S.000003
qpro
SAT
365.11
Umbrella_tbm_05.tex.module.000011
qpro
SAT
68.26
Umbrella_tbm_05.tex.module.000015
qpro
UNSAT
0.06
Umbrella_tbm_05.tex.module.000025
qpro
SAT
61.95
Umbrella_tbm_05.tex.module.000030
qpro
UNSAT
0.05
Umbrella_tbm_05.tex.module.000039
qpro
SAT
67.44
Umbrella_tbm_05.tex.module.000043
qpro
UNSAT
0.06
Umbrella_tbm_05.tex.module.000053
qpro
SAT
65.27
Umbrella_tbm_05.tex.module.000064
qpro
SAT
65.89
Umbrella_tbm_05.tex.module.000065
qpro
UNSAT
0.02
Umbrella_tbm_05.tex.module.000079
qpro
UNSAT
0.01
Umbrella_tbm_05.tex.module.000088
qpro
SAT
58.1
Umbrella_tbm_14.tex.moduleQ2.1S.000720
CirQit2.1
UNSAT
148.75
Umbrella_tbm_14.tex.moduleQ2.1S.000787
CirQit2.1
UNSAT
0.51
Umbrella_tbm_14.tex.moduleQ2.1S.000792
CirQit2.1
UNSAT
0.52
Umbrella_tbm_21.tex.module.000024
qpro
SAT
57.74
Umbrella_tbm_21.tex.module.000029
qpro
SAT
62.58
Umbrella_tbm_21.tex.module.000044
qpro
UNSAT
0.04
Umbrella_tbm_21.tex.module.000049
qpro
SAT
59.13
Umbrella_tbm_21.tex.module.000056
qpro
SAT
54.98
Umbrella_tbm_21.tex.module.000069
qpro
SAT
65.88
Umbrella_tbm_21.tex.module.000079
qpro
SAT
60.7
Umbrella_tbm_21.tex.module.000129
qpro
SAT
52.11
Umbrella_tbm_21.tex.module.000134
qpro
SAT
51.57
Umbrella_tbm_21.tex.module.000139
qpro
UNSAT
0.05
Umbrella_tbm_21.tex.module.000149
qpro
SAT
52.79
Umbrella_tbm_23.tex.moduleQ1.2S.000001
CirQit2.1
SAT
285.31
Umbrella_tbm_24.tex.module.000066
qpro
SAT
3.05
Umbrella_tbm_24.tex.module.000103
qpro
SAT
3.52
Umbrella_tbm_24.tex.module.000131
qpro
SAT
3.49
Umbrella_tbm_24.tex.moduleQ2.1S.000022
qpro
SAT
127.64
Umbrella_tbm_24.tex.moduleQ2.1S.000136
qpro
SAT
146.17
Umbrella_tbm_24.tex.moduleQ2.1S.000188
qpro
SAT
147.33
Umbrella_tbm_25.tex.module.000003
qpro
UNSAT
0.08
Umbrella_tbm_25.tex.module.000031
qpro
SAT
63.71
Umbrella_tbm_25.tex.module.000041
qpro
SAT
59.6
Umbrella_tbm_25.tex.module.000084
qpro
UNSAT
0.18
Umbrella_tbm_25.tex.module.000087
qpro
UNSAT
0.06
Umbrella_tbm_25.tex.module.000099
qpro
UNSAT
0.05
Umbrella_tbm_25.tex.module.000106
qpro
SAT
54.75
Umbrella_tbm_25.tex.module.000121
qpro
SAT
58.87
Umbrella_tbm_25.tex.moduleQ3.2S.000052
CirQit2.1
UNSAT
2.04
Umbrella_tbm_25.tex.moduleQ3.2S.000075
CirQit2.1
UNSAT
2.22
Umbrella_tbm_25.tex.moduleQ3.2S.000120
CirQit2.1
UNSAT
2.69
Umbrella_tbm_26.tex.module.000004
qpro
UNSAT
0.1
Umbrella_tbm_26.tex.module.000021
qpro
SAT
66.2
Umbrella_tbm_26.tex.module.000041
qpro
SAT
61.59
Umbrella_tbm_26.tex.module.000061
qpro
SAT
62.64
Umbrella_tbm_26.tex.moduleQ3.2S.000009
CirQit2.1
UNSAT
1.04
Umbrella_tbm_26.tex.moduleQ3.2S.000014
CirQit2.1
UNSAT
0.96
Umbrella_tbm_26.tex.moduleQ3.2S.000020
CirQit2.1
UNSAT
1.01
Umbrella_tbm_26.tex.moduleQ3.2S.000037
CirQit2.1
UNSAT
1.04
Umbrella_tbm_26.tex.moduleQ3.2S.000041
CirQit2.1
UNSAT
1.04
Umbrella_tbm_29.tex.module.000009
qpro
SAT
4.28
Umbrella_tbm_29.tex.module.000010
qpro
SAT
4
Umbrella_tbm_29.tex.module.000078
qpro
SAT
4.38
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
qpro
UNSAT
13.56
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
CirQit2.1
UNSAT
2.78
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
CirQit2.1
UNSAT
974.53
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
CirQit2.1
UNSAT
27.19
Contact
|
Organization
|
Links
|
Citing QBFLIB