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
Unique instances for caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.
Instance
Time
Result
arbiter-06-comp-error01-qbf-hardness-depth-15
37.79
UNSAT
arbiter-08-comp-error02-qbf-hardness-depth-9
9.04
SAT
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
0.72
SAT
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
1.33
SAT
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
1.42
SAT
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
0.62
SAT
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
0.82
SAT
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
0.72
SAT
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
2.23
SAT
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005
4.63
SAT
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
2.32
SAT
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003
0.72
SAT
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
115.21
UNSAT
C880.blif_0.10_1.00_0_1_out_exact
0.42
SAT
cache-coherence-2-fixpoint-1
1.12
UNSAT
cache-coherence-3-fixpoint-3
9.44
UNSAT
ev-pr-4x4-11-3-0-0-1-s
6.13
SAT
ev-pr-4x4-13-3-0-0-1-s
8.34
SAT
ev-pr-4x4-17-3-0-0-1-lg
2.83
SAT
ev-pr-4x4-17-3-0-0-1-s
13.54
SAT
k_branch_n-10
2.53
SAT
k_branch_n-11
3.42
SAT
k_branch_n-12
4.53
SAT
k_branch_n-16
6.53
SAT
k_branch_n-8
1.52
SAT
k_branch_n-9
1.92
SAT
k_d4_n-15
1.02
SAT
k_d4_n-16
1.12
SAT
k_d4_n-20
1.52
SAT
k_ph_n-11
0.42
SAT
k_ph_n-14
1.32
SAT
k_ph_n-16
3.43
SAT
k_ph_n-21
84.56
SAT
k_ph_p-10
173.08
UNSAT
query11_query21_1344
3.83
UNSAT
query31_reachqu_1344n
8.34
SAT
rankfunc13_signed_32
0.24
SAT
rankfunc13_unsigned_64
0.52
SAT
rankfunc17_unsigned_16
0.22
SAT
rankfunc22_signed_64
0.72
SAT
s05378_PR_1_75
2.82
UNSAT
s1196_d2_s
2.73
SAT
s1196_d3_u
152.77
UNSAT
s1196_d4_u
128.15
UNSAT
s1196_d5_u
180.32
UNSAT
s1196_d7_u
298.33
UNSAT
s1269_d3_s
21.06
SAT
s1269_d4_s
66.14
SAT
s1269_d5_s
124.95
SAT
s298_d10_s
20.95
SAT
s298_d12_s
30.58
SAT
s298_d14_s
73.35
SAT
s298_d17_s
109.12
SAT
s3330_d2_s
7.83
SAT
s3330_d3_s
131.56
SAT
s386_d10_u
189.65
UNSAT
s386_d11_u
105.91
UNSAT
s386_d12_u
105.02
UNSAT
s386_d3_s
69.32
SAT
s386_d4_s
4.13
SAT
s386_d6_s
13.94
SAT
s386_d7_s
21.46
SAT
s386_d8_u
27.37
UNSAT
s386_d9_u
70.04
UNSAT
s499_d12_s
67.44
SAT
s499_d15_s
121.54
SAT
s499_d17_s
203.4
SAT
s499_d18_s
202.59
SAT
s499_d7_s
33.48
SAT
s499_d9_s
21.96
SAT
s510_d11_s
92.99
SAT
s510_d3_s
1.53
SAT
s510_d6_s
18.55
SAT
s641_d10_u
221.14
UNSAT
s641_d3_s
4.63
SAT
s641_d4_s
15.85
SAT
s641_d5_s
28.97
SAT
s641_d6_s
51.81
SAT
s641_d7_u
89.5
UNSAT
s641_d8_u
147.67
UNSAT
s713_d10_u
270.9
UNSAT
s713_d3_s
5.93
SAT
s713_d4_s
27.27
SAT
s713_d5_s
38.8
SAT
s713_d6_s
71.54
SAT
s713_d7_u
141.16
UNSAT
s713_d8_u
218.89
UNSAT
s820_d10_s
266.07
SAT
s820_d3_s
5.53
SAT
s820_d7_s
188.79
SAT
s820_d8_s
131.35
SAT
small-swap1-fixpoint-3
0.42
SAT
small-swap2-fixpoint-4
3.73
SAT
small-synabs-fixpoint-9
0.82
UNSAT
sortnetsort9.AE.stepl.012
288.92
UNSAT
stmt16_950_951
0.32
SAT
stmt19_3_214
36.28
UNSAT
stmt24_765_766
0.22
SAT
stmt25_52_53
0.62
SAT
stmt27_16_97
0.82
UNSAT
stmt41_738_749
0.43
SAT
stmt44_916_917
0.22
SAT
term1.blif_0.10_0.20_0_0_inp_exact
41.8
UNSAT
term1.blif_0.10_0.20_0_0_out_exact
154.39
UNSAT
test3_quant_squaring2
84.26
UNSAT
test5_quant_squaring4
57.22
SAT
test5_quant_squaring5
12.34
SAT
texas.PI_main^08.E-f3
4.73
SAT
texas.PI_main^16.E-f2
1.02
SAT
Umbrella_tbm_25.tex.moduleQ3.2S.000075
29.17
UNSAT
Contact
|
Organization
|
Links
|
Citing QBFLIB