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
xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.
Instance
Result
Time
Umbrella_tbm_24.tex.module.000066
SAT
0.05
Umbrella_tbm_05.tex.module.000025
SAT
0.05
Core1108_tbm_02.tex.moduleQ3.2S.000099
SAT
0.05
Umbrella_tbm_21.tex.module.000024
SAT
0.05
Core1108_tbm_21.tex.moduleQ3.2S.000019
SAT
0.05
Core1108_tbm_03.tex.module.000064
SAT
0.05
Umbrella_tbm_21.tex.module.000129
SAT
0.05
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
SAT
0.05
Umbrella_tbm_21.tex.module.000056
SAT
0.05
Core1108_tbm_21.tex.moduleQ3.2S.000027
SAT
0.05
Core1108_tbm_02.tex.moduleQ3.2S.000007
SAT
0.05
Umbrella_tbm_21.tex.module.000044
SAT
0.05
Umbrella_tbm_25.tex.module.000099
SAT
0.05
Core1108_tbm_09.tex.module.000009
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000757
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000808
SAT
0.05
Umbrella_tbm_24.tex.module.000103
SAT
0.05
Core1108_tbm_02.tex.moduleQ3.2S.000026
SAT
0.05
Core1108_tbm_03.tex.moduleQ3.2S.000048
SAT
0.05
Umbrella_tbm_05.tex.module.000030
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000720
SAT
0.05
Umbrella_tbm_29.tex.module.000009
SAT
0.05
Umbrella_tbm_26.tex.module.000021
SAT
0.05
Core1108_tbm_03.tex.moduleQ3.2S.000009
SAT
0.05
Core1108_tbm_03.tex.module.000038
SAT
0.05
Core1108_tbm_09.tex.moduleQ3.2S.000007
SAT
0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000041
SAT
0.05
Core1108_tbm_03.tex.module.000019
SAT
0.05
Core1108_tbm_02.tex.moduleQ3.2S.000108
SAT
0.05
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
SAT
0.05
Umbrella_tbm_21.tex.module.000049
SAT
0.05
Umbrella_tbm_25.tex.module.000031
SAT
0.05
Umbrella_tbm_05.tex.module.000053
SAT
0.05
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
SAT
0.05
Umbrella_tbm_21.tex.module.000069
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.2S.000001
SAT
0.05
Umbrella_tbm_25.tex.moduleQ3.2S.000120
SAT
0.05
Core1108_tbm_03.tex.moduleQ3.2S.000002
SAT
0.05
Umbrella_tbm_29.tex.moduleQ2.2S.000001
SAT
0.05
Core1108_tbm_03.tex.module.000092
SAT
0.05
Umbrella_tbm_25.tex.module.000106
SAT
0.05
Core1108_tbm_21.tex.module.000009
SAT
0.05
Umbrella_tbm_26.tex.module.000061
SAT
0.05
Core1108_tbm_09.tex.module.000033
SAT
0.05
Core1108_tbm_21.tex.module.000091
SAT
0.05
Core1108_tbm_03.tex.moduleQ3.2S.000011
SAT
0.05
Core1108_tbm_21.tex.moduleQ3.2S.000007
SAT
0.05
Core1108_tbm_09.tex.moduleQ3.9S.000001
SAT
0.05
Umbrella_tbm_25.tex.module.000003
SAT
0.05
Umbrella_tbm_05.tex.module.000065
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000792
SAT
0.05
Core1108_tbm_09.tex.moduleQ3.10S.000001
SAT
0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000014
SAT
0.05
Core1108_tbm_03.tex.module.000090
SAT
0.05
Umbrella_tbm_25.tex.module.000087
SAT
0.05
Core1108_tbm_09.tex.module.000028
SAT
0.05
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
SAT
0.05
Core1108_tbm_21.tex.module.000008
SAT
0.05
Umbrella_tbm_05.tex.module.000011
SAT
0.05
Core1108_tbm_03.tex.module.000023
SAT
0.05
Umbrella_tbm_21.tex.module.000139
SAT
0.05
Umbrella_tbm_24.tex.moduleQ2.1S.000022
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.2S.000003
SAT
0.05
Core1108_tbm_02.tex.moduleQ3.2S.000056
SAT
0.05
Umbrella_tbm_26.tex.module.000041
SAT
0.05
Core1108_tbm_03.tex.module.000058
SAT
0.05
Core1108_tbm_03.tex.module.000039
SAT
0.05
Core1108_tbm_03.tex.module.000003
SAT
0.05
Core1108_tbm_21.tex.module.000014
SAT
0.05
Core1108_tbm_09.tex.module.000008
SAT
0.05
Core1108_tbm_21.tex.moduleQ3.2S.000011
SAT
0.05
Umbrella_tbm_05.tex.module.000043
SAT
0.05
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
SAT
0.05
Core1108_tbm_21.tex.module.000010
SAT
0.05
Core1108_tbm_03.tex.module.000037
SAT
0.05
Core1108_tbm_03.tex.moduleQ3.2S.000018
SAT
0.05
Core1108_tbm_03.tex.module.000065
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000787
SAT
0.05
Core1108_tbm_03.tex.module.000034
SAT
0.05
Core1108_tbm_09.tex.moduleQ3.2S.000010
SAT
0.05
Core1108_tbm_03.tex.module.000048
SAT
0.05
Umbrella_tbm_29.tex.module.000010
SAT
0.05
Core1108_tbm_09.tex.module.000010
SAT
0.05
Core1108_tbm_21.tex.moduleQ3.2S.000024
SAT
0.05
Core1108_tbm_09.tex.moduleQ3.2S.000003
SAT
0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000037
SAT
0.05
Core1108_tbm_21.tex.moduleQ3.2S.000014
SAT
0.05
Core1108_tbm_03.tex.moduleQ3.2S.000003
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000812
SAT
0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000020
SAT
0.05
Core1108_tbm_09.tex.moduleQ3.2S.000011
SAT
0.05
Core1108_tbm_21.tex.module.000023
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000749
SAT
0.05
Umbrella_tbm_21.tex.module.000149
SAT
0.05
Core1108_tbm_03.tex.module.000057
SAT
0.05
Core1108_tbm_21.tex.module.000030
SAT
0.05
Umbrella_tbm_21.tex.module.000029
SAT
0.05
Umbrella_tbm_23.tex.moduleQ1.2S.000001
SAT
0.05
Umbrella_tbm_26.tex.moduleQ3.2S.000009
SAT
0.05
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
SAT
0.05
Core1108_tbm_21.tex.moduleQ3.2S.000015
SAT
0.05
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
SAT
0.05
Umbrella_tbm_05.tex.module.000079
SAT
0.05
Core1108_tbm_21.tex.moduleQ3.2S.000002
SAT
0.05
Core1108_tbm_02.tex.moduleQ3.2S.000095
SAT
0.05
Umbrella_tbm_24.tex.moduleQ2.1S.000188
SAT
0.05
Umbrella_tbm_05.tex.module.000064
SAT
0.05
Core1108_tbm_28.tex.moduleQ2.2S.000003
SAT
0.05
Umbrella_tbm_05.tex.module.000088
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.2S.000002
SAT
0.05
Umbrella_tbm_14.tex.moduleQ2.1S.000773
SAT
0.05
Umbrella_tbm_29.tex.module.000078
SAT
0.05
Umbrella_tbm_24.tex.moduleQ2.1S.000136
SAT
0.05
Umbrella_tbm_21.tex.module.000134
SAT
0.05
Umbrella_tbm_25.tex.module.000121
SAT
0.05
Core1108_tbm_03.tex.module.000031
SAT
0.05
Umbrella_tbm_25.tex.moduleQ3.2S.000063
SAT
0.05
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
SAT
0.05
Umbrella_tbm_05.tex.module.000015
SAT
0.05
Umbrella_tbm_21.tex.module.000079
SAT
0.05
Umbrella_tbm_26.tex.module.000004
SAT
0.05
Core1108_tbm_09.tex.moduleQ3.2S.000005
SAT
0.05
Umbrella_tbm_25.tex.moduleQ3.2S.000052
SAT
0.05
Core1108_tbm_21.tex.module.000017
SAT
0.05
Core1108_tbm_21.tex.module.000026
SAT
0.05
Core1108_tbm_02.tex.moduleQ3.2S.000077
SAT
0.05
Core1108_tbm_03.tex.module.000021
SAT
0.05
Core1108_tbm_02.tex.moduleQ3.2S.000098
SAT
0.05
Core1108_tbm_03.tex.module.000056
SAT
0.05
Umbrella_tbm_25.tex.module.000084
SAT
0.06
Umbrella_tbm_25.tex.module.000041
SAT
0.06
Core1108_tbm_21.tex.module.000027
UNSAT
39
Core1108_tbm_02.tex.moduleQ3.2S.000015
UNSAT
60.01
Umbrella_tbm_24.tex.module.000131
SAT
68.21
Umbrella_tbm_25.tex.moduleQ3.2S.000075
UNSAT
112.85
Umbrella_tbm_05.tex.module.000039
SAT
147.34
Contact
|
Organization
|
Links
|
Citing QBFLIB