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