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
qsts
QBFEVAL'16 - Prenex non-CNF Track.
Instance
Result
Time
Core1108_tbm_03.tex.module.000048
UNSAT
0.01
Umbrella_tbm_24.tex.module.000131
SAT
0.01
Core1108_tbm_21.tex.module.000017
UNSAT
0.01
Core1108_tbm_21.tex.module.000027
SAT
0.01
Umbrella_tbm_24.tex.module.000103
UNSAT
0.02
Core1108_tbm_03.tex.module.000019
UNSAT
0.02
Umbrella_tbm_05.tex.module.000065
UNSAT
0.02
Core1108_tbm_21.tex.module.000008
UNSAT
0.02
Core1108_tbm_03.tex.module.000023
UNSAT
0.02
Core1108_tbm_21.tex.module.000010
UNSAT
0.02
Core1108_tbm_03.tex.module.000037
UNSAT
0.02
Core1108_tbm_03.tex.module.000034
UNSAT
0.02
Core1108_tbm_21.tex.module.000023
UNSAT
0.02
Core1108_tbm_21.tex.module.000030
UNSAT
0.02
Umbrella_tbm_05.tex.module.000079
UNSAT
0.02
Core1108_tbm_21.tex.module.000026
UNSAT
0.02
Umbrella_tbm_05.tex.module.000039
SAT
0.02
Umbrella_tbm_29.tex.module.000009
UNSAT
0.03
Umbrella_tbm_26.tex.module.000021
UNSAT
0.03
Core1108_tbm_03.tex.module.000038
UNSAT
0.03
Umbrella_tbm_21.tex.module.000049
UNSAT
0.03
Core1108_tbm_21.tex.module.000009
UNSAT
0.03
Core1108_tbm_21.tex.module.000091
UNSAT
0.03
Core1108_tbm_03.tex.module.000090
UNSAT
0.03
Core1108_tbm_03.tex.module.000058
UNSAT
0.03
Core1108_tbm_03.tex.module.000039
UNSAT
0.03
Core1108_tbm_21.tex.module.000014
UNSAT
0.03
Umbrella_tbm_05.tex.module.000043
UNSAT
0.03
Umbrella_tbm_25.tex.module.000121
UNSAT
0.03
Umbrella_tbm_26.tex.module.000004
UNSAT
0.03
Core1108_tbm_03.tex.module.000056
UNSAT
0.03
Umbrella_tbm_24.tex.module.000066
UNSAT
0.03
Core1108_tbm_03.tex.module.000064
UNSAT
0.03
Umbrella_tbm_21.tex.module.000056
UNSAT
0.03
Core1108_tbm_09.tex.module.000009
UNSAT
0.03
Umbrella_tbm_05.tex.module.000053
UNSAT
0.04
Umbrella_tbm_25.tex.module.000084
UNSAT
0.04
Umbrella_tbm_21.tex.module.000069
UNSAT
0.04
Core1108_tbm_03.tex.module.000092
UNSAT
0.04
Umbrella_tbm_25.tex.module.000087
UNSAT
0.04
Core1108_tbm_09.tex.module.000028
UNSAT
0.04
Umbrella_tbm_05.tex.module.000011
UNSAT
0.04
Umbrella_tbm_26.tex.module.000041
UNSAT
0.04
Core1108_tbm_03.tex.module.000065
UNSAT
0.04
Umbrella_tbm_21.tex.module.000149
UNSAT
0.04
Core1108_tbm_03.tex.module.000057
UNSAT
0.04
Umbrella_tbm_21.tex.module.000029
UNSAT
0.04
Umbrella_tbm_05.tex.module.000064
UNSAT
0.04
Umbrella_tbm_29.tex.module.000078
UNSAT
0.04
Umbrella_tbm_05.tex.module.000015
UNSAT
0.04
Core1108_tbm_02.tex.moduleQ3.2S.000015
SAT
0.04
Umbrella_tbm_21.tex.module.000024
UNSAT
0.04
Umbrella_tbm_05.tex.module.000030
UNSAT
0.05
Umbrella_tbm_26.tex.module.000061
UNSAT
0.05
Core1108_tbm_09.tex.module.000033
UNSAT
0.05
Core1108_tbm_09.tex.module.000008
UNSAT
0.05
Umbrella_tbm_29.tex.module.000010
UNSAT
0.05
Core1108_tbm_09.tex.module.000010
UNSAT
0.05
Umbrella_tbm_25.tex.module.000041
UNSAT
0.05
Umbrella_tbm_05.tex.module.000088
UNSAT
0.05
Core1108_tbm_03.tex.module.000031
UNSAT
0.05
Umbrella_tbm_21.tex.module.000079
UNSAT
0.05
Core1108_tbm_03.tex.module.000021
UNSAT
0.05
Umbrella_tbm_05.tex.module.000025
UNSAT
0.05
Umbrella_tbm_25.tex.module.000099
UNSAT
0.05
Core1108_tbm_21.tex.moduleQ3.2S.000007
UNSAT
0.06
Core1108_tbm_03.tex.module.000003
UNSAT
0.06
Core1108_tbm_21.tex.moduleQ3.2S.000014
UNSAT
0.06
Core1108_tbm_21.tex.moduleQ3.2S.000027
UNSAT
0.06
Umbrella_tbm_25.tex.module.000106
UNSAT
0.07
Core1108_tbm_03.tex.moduleQ3.2S.000011
UNSAT
0.07
Umbrella_tbm_21.tex.module.000139
UNSAT
0.07
Umbrella_tbm_21.tex.module.000134
UNSAT
0.07
Umbrella_tbm_21.tex.module.000129
UNSAT
0.07
Umbrella_tbm_21.tex.module.000044
UNSAT
0.07
Umbrella_tbm_26.tex.moduleQ3.2S.000037
UNSAT
0.08
Umbrella_tbm_26.tex.moduleQ3.2S.000020
UNSAT
0.08
Umbrella_tbm_26.tex.moduleQ3.2S.000014
UNSAT
0.09
Umbrella_tbm_26.tex.moduleQ3.2S.000009
UNSAT
0.09
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
UNSAT
0.09
Umbrella_tbm_25.tex.module.000003
UNSAT
0.1
Umbrella_tbm_24.tex.moduleQ2.1S.000022
UNSAT
0.1
Umbrella_tbm_24.tex.moduleQ2.1S.000188
UNSAT
0.1
Umbrella_tbm_14.tex.moduleQ2.2S.000001
UNSAT
0.11
Umbrella_tbm_14.tex.moduleQ2.1S.000792
UNSAT
0.11
Umbrella_tbm_14.tex.moduleQ2.1S.000749
UNSAT
0.11
Umbrella_tbm_14.tex.moduleQ2.2S.000002
UNSAT
0.11
Umbrella_tbm_14.tex.moduleQ2.1S.000773
UNSAT
0.11
Umbrella_tbm_24.tex.moduleQ2.1S.000136
UNSAT
0.11
Umbrella_tbm_14.tex.moduleQ2.1S.000757
UNSAT
0.11
Umbrella_tbm_14.tex.moduleQ2.1S.000808
UNSAT
0.11
Umbrella_tbm_14.tex.moduleQ2.2S.000003
UNSAT
0.12
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
UNSAT
0.12
Umbrella_tbm_29.tex.moduleQ2.2S.000001
UNSAT
0.13
Core1108_tbm_21.tex.moduleQ3.2S.000015
UNSAT
0.13
Umbrella_tbm_25.tex.moduleQ3.2S.000075
SAT
0.13
Umbrella_tbm_14.tex.moduleQ2.1S.000812
UNSAT
0.17
Core1108_tbm_21.tex.moduleQ3.2S.000002
UNSAT
0.17
Umbrella_tbm_25.tex.moduleQ3.2S.000052
UNSAT
0.17
Core1108_tbm_21.tex.moduleQ3.2S.000019
UNSAT
0.17
Umbrella_tbm_14.tex.moduleQ2.1S.000720
UNSAT
0.18
Umbrella_tbm_14.tex.moduleQ2.1S.000787
UNSAT
0.18
Umbrella_tbm_25.tex.moduleQ3.2S.000063
UNSAT
0.18
Umbrella_tbm_25.tex.module.000031
UNSAT
0.19
Umbrella_tbm_26.tex.moduleQ3.2S.000041
UNSAT
0.2
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
0.2
Core1108_tbm_21.tex.moduleQ3.2S.000024
UNSAT
0.2
Core1108_tbm_09.tex.moduleQ3.2S.000007
UNSAT
0.24
Core1108_tbm_09.tex.moduleQ3.2S.000003
UNSAT
0.24
Core1108_tbm_03.tex.moduleQ3.2S.000002
UNSAT
0.26
Core1108_tbm_09.tex.moduleQ3.2S.000005
UNSAT
0.26
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
0.27
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
UNSAT
0.28
Core1108_tbm_03.tex.moduleQ3.2S.000018
UNSAT
0.3
Core1108_tbm_03.tex.moduleQ3.2S.000009
UNSAT
0.32
Core1108_tbm_09.tex.moduleQ3.2S.000010
UNSAT
0.34
Core1108_tbm_02.tex.moduleQ3.2S.000108
UNSAT
0.35
Core1108_tbm_02.tex.moduleQ3.2S.000098
UNSAT
0.35
Core1108_tbm_02.tex.moduleQ3.2S.000077
UNSAT
0.41
Core1108_tbm_02.tex.moduleQ3.2S.000026
UNSAT
0.43
Core1108_tbm_03.tex.moduleQ3.2S.000003
UNSAT
0.44
Core1108_tbm_02.tex.moduleQ3.2S.000095
UNSAT
0.44
Core1108_tbm_28.tex.moduleQ2.2S.000003
UNSAT
0.45
Core1108_tbm_02.tex.moduleQ3.2S.000056
UNSAT
0.47
Core1108_tbm_02.tex.moduleQ3.2S.000099
UNSAT
0.47
Core1108_tbm_03.tex.moduleQ3.2S.000048
UNSAT
0.48
Core1108_tbm_09.tex.moduleQ3.9S.000001
UNSAT
0.59
Core1108_tbm_09.tex.moduleQ3.10S.000001
UNSAT
0.59
Core1108_tbm_09.tex.moduleQ3.2S.000011
UNSAT
0.59
Core1108_tbm_02.tex.moduleQ3.2S.000007
UNSAT
0.6
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
UNSAT
0.65
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
0.77
Umbrella_tbm_23.tex.moduleQ1.2S.000001
UNSAT
1.03
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
UNSAT
1.1
Core1108_tbm_21.tex.moduleQ3.2S.000011
UNSAT
1.19
Umbrella_tbm_25.tex.moduleQ3.2S.000120
UNSAT
10.39
Contact
|
Organization
|
Links
|
Citing QBFLIB