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
struqs-10
QBFEVAL'10 - Competitive Track.
Instance
Result
Time
Core1108_tbm_03.tex.module.000021
UNSAT
0.73
Core1108_tbm_03.tex.module.000003
UNSAT
1.26
Umbrella_tbm_26.tex.module.000004
UNSAT
7.48
Core1108_tbm_21.tex.module.000091
UNSAT
8.2
Core1108_tbm_21.tex.module.000023
UNSAT
15.87
Umbrella_tbm_05.tex.module.000079
UNSAT
20.71
Umbrella_tbm_25.tex.module.000003
UNSAT
28.05
Core1108_tbm_21.tex.module.000026
UNSAT
28.79
Core1108_tbm_21.tex.module.000027
UNSAT
41.68
Core1108_tbm_21.tex.module.000017
UNSAT
48.27
Core1108_tbm_03.tex.module.000019
UNSAT
68.56
Core1108_tbm_09.tex.module.000028
UNSAT
72.69
Core1108_tbm_09.tex.module.000033
UNSAT
94.82
Umbrella_tbm_05.tex.module.000065
UNSAT
96.75
Core1108_tbm_03.tex.module.000023
UNSAT
104.95
Umbrella_tbm_05.tex.module.000043
UNSAT
139.54
Umbrella_tbm_05.tex.module.000030
UNSAT
150.26
Umbrella_tbm_05.tex.module.000015
UNSAT
219.92
Core1108_tbm_03.tex.module.000048
UNSAT
239.48
Umbrella_tbm_26.tex.moduleQ3.2S.000014
FAIL
1200.07
Core1108_tbm_03.tex.module.000090
FAIL
1200.07
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
FAIL
1200.07
Umbrella_tbm_24.tex.moduleQ2.1S.000022
FAIL
1200.07
Umbrella_tbm_26.tex.module.000041
FAIL
1200.07
Core1108_tbm_03.tex.module.000058
FAIL
1200.07
Core1108_tbm_21.tex.moduleQ3.2S.000011
FAIL
1200.07
Core1108_tbm_21.tex.module.000010
FAIL
1200.07
Core1108_tbm_03.tex.module.000037
FAIL
1200.07
Umbrella_tbm_26.tex.moduleQ3.2S.000037
FAIL
1200.07
Core1108_tbm_03.tex.moduleQ3.2S.000003
FAIL
1200.07
Umbrella_tbm_21.tex.module.000149
FAIL
1200.07
Umbrella_tbm_26.tex.moduleQ3.2S.000009
FAIL
1200.07
Umbrella_tbm_05.tex.module.000064
FAIL
1200.07
Umbrella_tbm_14.tex.moduleQ2.2S.000002
FAIL
1200.07
Umbrella_tbm_29.tex.module.000078
FAIL
1200.07
Umbrella_tbm_25.tex.module.000121
FAIL
1200.07
Core1108_tbm_03.tex.module.000031
FAIL
1200.07
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
FAIL
1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000098
FAIL
1200.07
Core1108_tbm_03.tex.module.000056
FAIL
1200.07
Umbrella_tbm_24.tex.module.000066
FAIL
1200.07
Umbrella_tbm_05.tex.module.000025
FAIL
1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000099
FAIL
1200.07
Umbrella_tbm_21.tex.module.000024
FAIL
1200.07
Core1108_tbm_03.tex.module.000064
FAIL
1200.07
Umbrella_tbm_21.tex.module.000129
FAIL
1200.07
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
FAIL
1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000007
FAIL
1200.07
Umbrella_tbm_21.tex.module.000044
FAIL
1200.07
Umbrella_tbm_25.tex.module.000099
FAIL
1200.07
Umbrella_tbm_14.tex.moduleQ2.1S.000757
FAIL
1200.07
Umbrella_tbm_14.tex.moduleQ2.1S.000808
FAIL
1200.07
Umbrella_tbm_24.tex.module.000103
FAIL
1200.07
Core1108_tbm_02.tex.moduleQ3.2S.000026
FAIL
1200.07
Umbrella_tbm_14.tex.moduleQ2.1S.000720
FAIL
1200.07
Core1108_tbm_03.tex.moduleQ3.2S.000009
FAIL
1200.07
Umbrella_tbm_21.tex.module.000049
FAIL
1200.07
Umbrella_tbm_25.tex.module.000031
FAIL
1200.07
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
FAIL
1200.07
Umbrella_tbm_21.tex.module.000069
FAIL
1200.07
Core1108_tbm_03.tex.moduleQ3.2S.000002
FAIL
1200.07
Umbrella_tbm_29.tex.moduleQ2.2S.000001
FAIL
1200.07
Core1108_tbm_03.tex.module.000092
FAIL
1200.07
Umbrella_tbm_25.tex.module.000106
FAIL
1200.07
Umbrella_tbm_26.tex.module.000061
FAIL
1200.07
Umbrella_tbm_14.tex.moduleQ2.1S.000792
FAIL
1200.08
Core1108_tbm_09.tex.moduleQ3.10S.000001
FAIL
1200.08
Umbrella_tbm_25.tex.module.000087
FAIL
1200.08
Core1108_tbm_21.tex.module.000008
FAIL
1200.08
Umbrella_tbm_05.tex.module.000011
FAIL
1200.08
Umbrella_tbm_21.tex.module.000139
FAIL
1200.08
Umbrella_tbm_14.tex.moduleQ2.2S.000003
FAIL
1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000056
FAIL
1200.08
Core1108_tbm_03.tex.module.000039
FAIL
1200.08
Core1108_tbm_21.tex.module.000014
FAIL
1200.08
Core1108_tbm_09.tex.module.000008
FAIL
1200.08
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
FAIL
1200.08
Core1108_tbm_03.tex.moduleQ3.2S.000018
FAIL
1200.08
Core1108_tbm_03.tex.module.000065
FAIL
1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000787
FAIL
1200.08
Core1108_tbm_03.tex.module.000034
FAIL
1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000010
FAIL
1200.08
Umbrella_tbm_29.tex.module.000010
FAIL
1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000024
FAIL
1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000003
FAIL
1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000014
FAIL
1200.08
Umbrella_tbm_26.tex.moduleQ3.2S.000020
FAIL
1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000011
FAIL
1200.08
Core1108_tbm_03.tex.module.000057
FAIL
1200.08
Core1108_tbm_21.tex.module.000030
FAIL
1200.08
Umbrella_tbm_21.tex.module.000029
FAIL
1200.08
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
FAIL
1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000015
FAIL
1200.08
Umbrella_tbm_24.tex.module.000131
FAIL
1200.08
Umbrella_tbm_25.tex.module.000041
FAIL
1200.08
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
FAIL
1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000002
FAIL
1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000095
FAIL
1200.08
Core1108_tbm_28.tex.moduleQ2.2S.000003
FAIL
1200.08
Umbrella_tbm_05.tex.module.000088
FAIL
1200.08
Umbrella_tbm_14.tex.moduleQ2.1S.000773
FAIL
1200.08
Umbrella_tbm_24.tex.moduleQ2.1S.000136
FAIL
1200.08
Umbrella_tbm_21.tex.module.000134
FAIL
1200.08
Umbrella_tbm_25.tex.moduleQ3.2S.000063
FAIL
1200.08
Umbrella_tbm_21.tex.module.000079
FAIL
1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000005
FAIL
1200.08
Umbrella_tbm_25.tex.moduleQ3.2S.000052
FAIL
1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000077
FAIL
1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000015
FAIL
1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000019
FAIL
1200.08
Umbrella_tbm_21.tex.module.000056
FAIL
1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000027
FAIL
1200.08
Umbrella_tbm_05.tex.module.000039
FAIL
1200.08
Core1108_tbm_03.tex.moduleQ3.2S.000048
FAIL
1200.08
Umbrella_tbm_29.tex.module.000009
FAIL
1200.08
Umbrella_tbm_26.tex.module.000021
FAIL
1200.08
Core1108_tbm_09.tex.moduleQ3.2S.000007
FAIL
1200.08
Umbrella_tbm_26.tex.moduleQ3.2S.000041
FAIL
1200.08
Core1108_tbm_02.tex.moduleQ3.2S.000108
FAIL
1200.08
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
FAIL
1200.08
Umbrella_tbm_05.tex.module.000053
FAIL
1200.08
Umbrella_tbm_25.tex.module.000084
FAIL
1200.08
Umbrella_tbm_14.tex.moduleQ2.2S.000001
FAIL
1200.08
Umbrella_tbm_25.tex.moduleQ3.2S.000120
FAIL
1200.08
Core1108_tbm_21.tex.module.000009
FAIL
1200.08
Core1108_tbm_03.tex.moduleQ3.2S.000011
FAIL
1200.08
Core1108_tbm_21.tex.moduleQ3.2S.000007
FAIL
1200.08
Core1108_tbm_09.tex.moduleQ3.9S.000001
FAIL
1200.08
Core1108_tbm_09.tex.module.000010
FAIL
1200.09
Umbrella_tbm_14.tex.moduleQ2.1S.000812
FAIL
1200.09
Umbrella_tbm_14.tex.moduleQ2.1S.000749
FAIL
1200.09
Umbrella_tbm_23.tex.moduleQ1.2S.000001
FAIL
1200.09
Umbrella_tbm_25.tex.moduleQ3.2S.000075
FAIL
1200.09
Umbrella_tbm_24.tex.moduleQ2.1S.000188
FAIL
1200.09
Core1108_tbm_09.tex.module.000009
FAIL
1200.09
Core1108_tbm_03.tex.module.000038
FAIL
1200.09
Contact
|
Organization
|
Links
|
Citing QBFLIB